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

Formal Language: 



Term 1: Term 2:

(subclass DevelopingWeaponOfMassDestruction Making) WMD.kif 686-686 Developing weapon of mass destruction is a subclass of making
(subclass StockpilingWeaponOfMassDestruction DevelopingWeaponOfMassDestruction) WMD.kif 697-697 Stockpiling weapon of mass destruction is a subclass of developing weapon of mass destruction


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