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

Formal Language: 



Term 1: Term 2:

(subclass StockpilingWeaponOfMassDestruction Manufacture) WMD.kif 696-696 Stockpiling weapon of mass destruction is a subclass of manufacture
(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