| IrreflexiveRelation(relation irr�flexive)
|
| 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 2251-2252 | |
| 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 8551-8551 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9357-9357 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2249-2249 | Relation irr�flexive est une sous-classe de relation binaire |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16369-16369 | ancestor est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24165-24165 | ancestorOrganization est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10659-10659 | antagonistMuscles est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1716-1716 | attribute est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8119-8119 | before est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16522-16522 | brother est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16808-16808 | classmate est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16829-16829 | colleague est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6490-6490 | conjugate est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16115-16115 | connectedEngineeringComponents est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7710-7710 | customer est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2615-2615 | decreasesLikelihood est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4544-4544 | diplomaticRelations est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 410-410 | disjointRelation est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8329-8329 | during est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8391-8391 | earlier est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2370-2370 | exportPartner est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8089-8089 | finishes est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5887-5887 | graphPart est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1845-1845 | greaterThan est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4389-4389 | hinders est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4307-4307 | hindersSubclass est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8421-8421 | hostileForces est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16592-16592 | husband est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2658-2658 | importPartner est une instance de relation irr�flexive |
| 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 2286-2290 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2254-2258 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2280-2284 |
|
|
|
|