| 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 2247-2248 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 455-456 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8550-8550 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9356-9356 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2245-2245 | 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 16507-16507 | ancestor is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25831-25831 | ancestor organization is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12009-12009 | antagonist muscles is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1711-1711 | attribute is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8195-8195 | before is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16660-16660 | brother is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18216-18216 | classmate is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18237-18237 | colleague is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7447-7447 | conjugate is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16254-16254 | connected engineering components is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8897-8897 | customer is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2611-2611 | decreases likelihood is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4505-4505 | diplomatic relations is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 403-403 | disjoint relation is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8405-8405 | during is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8467-8467 | earlier is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2610-2610 | export partner is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8137-8137 | finishes is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8172-8172 | finishes during is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5897-5897 | graph part is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1840-1840 | greater than is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4320-4320 | hinders subclass is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9646-9646 | hostile forces is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16730-16730 | husband is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2995-2995 | import partner 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 2282-2286 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2250-2254 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2276-2280 |
|
|
|
|