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

Formal Language: 


Term 1: Term 2:

(subclass Missile Projectile) Mid-level-ontology.kif 19274-19274 Missile is a subclass of projectile
(subclass Missile SelfPoweredDevice) Mid-level-ontology.kif 19275-19275 Missile is a subclass of self powered device
(subclass DragonWeapon Missile) MilitaryDevices.kif 827-827 Dragon weapon is a subclass of missile
(subclass JavelinWeapon Missile) MilitaryDevices.kif 877-877 Javelin weapon is a subclass of missile
(subclass SMAWBunkerBuster Missile) MilitaryDevices.kif 937-937 SMAW bunker buster is a subclass of missile
(subclass AntiTankMissile Missile) MilitaryDevices.kif 1042-1042 Anti tank missile is a subclass of missile
(subclass AirLaunchMissile Missile) MilitaryDevices.kif 1096-1096 Air launch missile is a subclass of missile
(subclass GroundLaunchMissile Missile) MilitaryDevices.kif 1114-1114 Ground launch missile is a subclass of missile
(subclass AirAttackMissile Missile) MilitaryDevices.kif 1126-1126 Air attack missile is a subclass of missile
(subclass GroundAttackMissile Missile) MilitaryDevices.kif 1149-1149 Ground attack missile is a subclass of missile
(subclass GuidedMissile Missile) MilitaryDevices.kif 1172-1172 Guided missile is a subclass of missile
(subclass BallisticMissile Missile) Mid-level-ontology.kif 19286-19286 Ballistic missile is a subclass of missile


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