| IrreflexiveRelation(irreflexive relation)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1835-1836 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2158-2159 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8554-8554 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9362-9362 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2156-2156 | Irreflexive relation is a subclass of binary relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15160-15160 | ancestor is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21994-21994 | ancestor organization is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1620-1620 | attribute is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7640-7640 | before is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15312-15312 | brother is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6185-6185 | conjugate is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14911-14911 | connected engineering components is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7427-7427 | customer is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2516-2516 | decreases likelihood is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4475-4475 | diplomatic relations is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 409-409 | disjoint relation is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7768-7768 | during is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7813-7813 | earlier is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2374-2374 | export partner is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7620-7620 | finishes is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5540-5540 | graph part is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1753-1753 | greater than is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4192-4192 | hinders is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4110-4110 | hindersSubclass is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8154-8154 | hostile forces is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15381-15381 | husband is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2661-2661 | import partner is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2991-2991 | in list is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2496-2496 | increases likelihood is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 106-106 | inverse is an instance of irreflexive 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 2161-2165 |
|
| consequent |
|
|
| 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 |
|
|
|