|
|
   AsymmetricRelation
|
|
|
| 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 2277-2278 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 459-460 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9893-9893 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2275-2275 | Asymmetric relation is a subclass of antisymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2274-2274 | Asymmetric relation is a subclass of irreflexive relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27273-27273 | acronym is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3402-3402 | agent name is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 660-660 | agreement adoption date is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 720-720 | agreement effective during is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23257-23257 | alias is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1312-1312 | area of operation is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13816-13816 | atomic number is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1715-1715 | attribute is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15501-15501 | authors is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7850-7850 | barometric pressure is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22963-22963 | benefits is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 350-350 | can run on is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22916-22916 | cargo is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3778-3778 | causes is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3822-3822 | causes proposition is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3801-3801 | causes subclass is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2021-2021 | chamber of legislature is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16822-16822 | citizen is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3574-3574 | closed on is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1656-1656 | cold season in area is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10037-10037 | completely fills is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1015-1015 | contains is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1355-1355 | contains information is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1635-1635 | cool season in area is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4199-4199 | crosses 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 2280-2284 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2286-2290 |
|
|
|
|
