| 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 2188-2189 | |
| 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 2186-2186 | Asymmetric relation is a subclass of antisymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2185-2185 | 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 3376-3376 | 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 19642-19642 | 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 12791-12791 | atomic number is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1623-1623 | attribute is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14336-14336 | authors is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3828-3828 | bank account is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7432-7432 | barometric pressure is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19348-19348 | 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 19301-19301 | cargo is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3646-3646 | causes is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3690-3690 | causes proposition is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3669-3669 | causes subclass is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2043-2043 | chamber of legislature is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3393-3393 | check number is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15621-15621 | citizen is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3459-3459 | closed on is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1627-1627 | cold season in area is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9457-9457 | 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 2191-2195 | 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 |
|
|
|