| AsymmetricRelation(asymmetric relation)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1839-1840 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2189-2190 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9911-9911 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2187-2187 | Asymmetric relation is a subclass of antisymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2186-2186 | Asymmetric relation is a subclass of irreflexive relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3334-3334 | account number is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3000-3000 | acronym is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3390-3390 | agentName is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 683-683 | agreement adoption date is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 743-743 | agreement effective during is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21149-21149 | alias is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1311-1311 | area of operation is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12788-12788 | atomic number is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1624-1624 | attribute is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14333-14333 | authors is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3780-3780 | bank account is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7431-7431 | barometric pressure is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20836-20836 | benefits is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 348-348 | can run on is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 424-424 | cardinality is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20787-20787 | cargo is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3647-3647 | causes is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3691-3691 | causes proposition is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3670-3670 | causes subclass is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2011-2011 | chamber of legislature is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3351-3351 | check number is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15618-15618 | citizen is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3460-3460 | closed on is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1609-1609 | cold season in area is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9454-9454 | completely fills is an instance of asymmetric relation |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2192-2196 | An entity is an instance of asymmetric relation if and only if the entity is an instance of antisymmetric relation and the entity is an instance of irreflexive relation |
|
|
|