| 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 2262-2263 | |
| 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 2260-2260 | 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 16522-16522 | ancestor is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25812-25812 | ancestor organization is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11991-11991 | antagonist muscles is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1726-1726 | attribute is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8210-8210 | before is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16675-16675 | brother is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18196-18196 | classmate is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18217-18217 | colleague is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7428-7428 | conjugate is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16269-16269 | connected engineering components is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8878-8878 | customer is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2626-2626 | 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 8420-8420 | during is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8482-8482 | 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 8152-8152 | finishes is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8187-8187 | finishes during is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5912-5912 | graph part is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1855-1855 | greater than is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4335-4335 | hinders subclass is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9628-9628 | hostile forces is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16745-16745 | 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 2297-2301 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2265-2269 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2291-2295 |
|
|
|
|