Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Medicine.kif 698-715
No TPTP formula. May not be expressible in strict first order. Merge.kif 13322-13322 Affrontement violent est une sous-classe de affrontement
No TPTP formula. May not be expressible in strict first order. Sports.kif 584-584 Boxing est une sous-classe de affrontement violent
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 325-325 DirectAction est une sous-classe de affrontement violent
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 389-389 DirectActionActivity est une sous-classe de affrontement violent
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 421-421 MilitaryAssault est une sous-classe de affrontement violent
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2092-2092 Terrorism est une sous-classe de affrontement violent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13877-13877 PoliticalRevolution est une sous-classe de affrontement violent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21849-21849 ChemicalAttack est une sous-classe de affrontement violent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21935-21935 IncendiaryDeviceAttack est une sous-classe de affrontement violent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21977-21977 KnifeAttack est une sous-classe de affrontement violent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22076-22076 Stoning est une sous-classe de affrontement violent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22135-22135 VehicleAttack est une sous-classe de affrontement violent
No TPTP formula. May not be expressible in strict first order. Merge.kif 13326-13326 Guerre est une sous-classe de affrontement violent
No TPTP formula. May not be expressible in strict first order. Merge.kif 13351-13351 Bataille est une sous-classe de affrontement violent
No TPTP formula. May not be expressible in strict first order. emotion.kif 1644-1644 PhysicalViolence est une sous-classe de affrontement violent


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