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

Formal Language: 



Term 1: Term 2:

(subclass GSeriesNerveAgent NerveAgent) WMD.kif 567-567 GSeriesNerveAgent ist eine teilkategorie von NerveAgent
(subclass Tabun GSeriesNerveAgent) WMD.kif 575-575 Tabun ist eine teilkategorie von GSeriesNerveAgent
(subclass Soman GSeriesNerveAgent) WMD.kif 580-580 Soman ist eine teilkategorie von GSeriesNerveAgent
(subclass Sarin GSeriesNerveAgent) WMD.kif 585-585 Sarin ist eine teilkategorie von GSeriesNerveAgent
(subclass GF GSeriesNerveAgent) WMD.kif 589-589 GF ist eine teilkategorie von GSeriesNerveAgent


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