Deductions
- object is for example ORCID, Inc. ⇐ (ORCID, Inc. is a object), (is a is inverse of is for example)
- spatio-temporal entity is for example ORCID, Inc. ⇐ (ORCID, Inc. is a spatio-temporal entity), (is a is inverse of is for example)
- ORCID, Inc. is a spatio-temporal entity ⇐ (independent continuant is subclass of spatio-temporal entity), (ORCID, Inc. is a independent continuant)
- ORCID, Inc. is a object ⇐ (independent continuant is subclass of object), (ORCID, Inc. is a independent continuant)
- continuant is for example ORCID, Inc. ⇐ (ORCID, Inc. is a continuant), (is a is inverse of is for example)
- independent continuant is for example ORCID, Inc. ⇐ (ORCID, Inc. is a independent continuant), (is a is inverse of is for example)
- ORCID, Inc. is a independent continuant ⇐ (nonprofit organization is subclass of independent continuant), (ORCID, Inc. is a nonprofit organization)
- ORCID, Inc. is a continuant ⇐ (nonprofit organization is subclass of continuant), (ORCID, Inc. is a nonprofit organization)
- nonprofit organization is for example ORCID, Inc. ⇐ (ORCID, Inc. is a nonprofit organization), (is a is inverse of is for example)