Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IrreflexiveRelation
IrreflexiveRelation(Relacao Irreflexiva)

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners