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 13368-13368 ViolentContest e' uma sub-classe de Contest
No TPTP formula. May not be expressible in strict first order. Sports.kif 584-584 Boxing e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 325-325 DirectAction e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 389-389 DirectActionActivity e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 421-421 MilitaryAssault e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2092-2092 Terrorism e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13904-13904 PoliticalRevolution e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21901-21901 ChemicalAttack e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21987-21987 IncendiaryDeviceAttack e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22029-22029 KnifeAttack e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22128-22128 Stoning e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22187-22187 VehicleAttack e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. Merge.kif 13372-13372 Guerra e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. Merge.kif 13397-13397 Batalha e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. emotion.kif 1644-1644 PhysicalViolence e' uma sub-classe de ViolentContest


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