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 2288-2289 | |
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 2286-2286 | Asymmetric relation is a subclass of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2285-2285 | 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 29141-29141 | 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 24846-24846 | 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 1725-1725 | attribute is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7899-7899 | barometric pressure is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24552-24552 | 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 24505-24505 | cargo is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3792-3792 | causes is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3834-3834 | causes proposition is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3815-3815 | 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 16926-16926 | citizen is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3588-3588 | closed on is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10139-10139 | completely fills is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1025-1025 | contains is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1365-1365 | contains information is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4223-4223 | crosses is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8880-8880 | customer is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24961-24961 | 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 14472-14472 | developmental form is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26541-26541 | device telecom number is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3719-3719 | 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 2291-2295 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2297-2301 |
|
![]() |
![]() |