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

Formal Language: 



Term 1: Term 2:

(subclass GuidedMissile Missile) MilitaryDevices.kif 1015-1015 GuidedMissile ist eine teilkategorie von Missile
(subclass InfraRedGMissile GuidedMissile) MilitaryDevices.kif 1065-1065 InfraRedGMissile ist eine teilkategorie von GuidedMissile
(subclass BeamRidingGMissile GuidedMissile) MilitaryDevices.kif 1090-1090 BeamRidingGMissile ist eine teilkategorie von GuidedMissile
(subclass AAM GuidedMissile) MilitaryDevices.kif 1171-1171 AAM ist eine teilkategorie von GuidedMissile


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