| 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 2273-2274 | |
| 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 9892-9892 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2271-2271 | Asymmetric relation is a subclass of antisymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2270-2270 | 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 28900-28900 | acronym is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3404-3404 | agent name is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24865-24865 | 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 1710-1710 | attribute is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7884-7884 | barometric pressure is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24571-24571 | benefits is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 351-351 | can run on is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24524-24524 | cargo is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3777-3777 | causes is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3819-3819 | causes proposition is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3800-3800 | causes subclass is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2019-2019 | chamber of legislature is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16911-16911 | citizen is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3573-3573 | closed on is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10124-10124 | completely fills is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1010-1010 | contains is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1350-1350 | contains information is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4208-4208 | crosses is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8899-8899 | customer is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24980-24980 | deceptive identifier is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 420-420 | dependent geopolitical area is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14457-14457 | developmental form is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26560-26560 | device telecom number is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3704-3704 | equivalence relation on 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 2276-2280 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2282-2286 |
|
|
|
|