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 13344-13344 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 13876-13876 PoliticalRevolution e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21848-21848 ChemicalAttack e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21934-21934 IncendiaryDeviceAttack e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21976-21976 KnifeAttack e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22075-22075 Stoning e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22134-22134 VehicleAttack e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. Merge.kif 13348-13348 Guerra e' uma sub-classe de ViolentContest
No TPTP formula. May not be expressible in strict first order. Merge.kif 13373-13373 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