|
|
   IrreflexiveRelation
|
|
|
| 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 | Relacao Irreflexiva e' uma sub-classe de Relacao Binaria |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16418-16418 | ancestor e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24223-24223 | ancestorOrganization e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10687-10687 | antagonistMuscles e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1716-1716 | attribute e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8133-8133 | before e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16571-16571 | brother e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16836-16836 | classmate e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16857-16857 | colleague e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6485-6485 | conjugate e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16165-16165 | connectedEngineeringComponents e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7738-7738 | customer e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2615-2615 | decreasesLikelihood e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4508-4508 | diplomaticRelations e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 410-410 | disjointRelation e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8343-8343 | during e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8405-8405 | earlier e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2370-2370 | exportPartner e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8103-8103 | finishes e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5888-5888 | graphPart e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1845-1845 | greaterThan e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4390-4390 | hinders e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4308-4308 | hindersSubclass e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8449-8449 | hostileForces e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16641-16641 | husband e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2658-2658 | importPartner e' uma instancia de Relacao Irreflexiva |
| 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 |
|
|
|
|
