| 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 2184-2185 | |
| 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 2182-2182 | Asymmetric relation is a subclass of antisymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2181-2181 | 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 3388-3388 | 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 21143-21143 | 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 12756-12756 | atomic number is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1619-1619 | attribute is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14301-14301 | 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 7406-7406 | barometric pressure is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20830-20830 | benefits is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 348-348 | canRunOn 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 20781-20781 | cargo is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3636-3636 | causes is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3680-3680 | causes proposition is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3659-3659 | 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 15572-15572 | citizen is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3449-3449 | 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 9422-9422 | 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 2187-2191 | 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 |
|
|
|