| IrreflexiveRelation(irreflexive relation)
| | 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 2124-2125 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8554-8554 | "http://upload.wikimedia.org/wikipedia/en/0/0b/GreaterThanOrEqualTo.png" is a URL depicting irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9362-9362 | "http://upload.wikimedia.org/wikipedia/en/5/59/GreaterThan.png" is a URL depicting irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2122-2122 | 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 859-859 | Back is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 837-837 | Front is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15025-15025 | ancestor is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21834-21834 | ancestor organization is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1590-1590 | attribute is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7506-7506 | before is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15175-15175 | brother is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6177-6177 | conjugate is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14777-14777 | connected engineering components is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7417-7417 | customer is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2483-2483 | 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 7634-7634 | during is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7679-7679 | 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 7486-7486 | finishes is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5411-5411 | graph part is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1719-1719 | greater than is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4059-4059 | hinders is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3977-3977 | hindersSubclass is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8143-8143 | hostile forces is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15244-15244 | 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 2959-2959 | in list 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 2127-2131 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2153-2157 | 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 |
|
|
|