Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryShip
MilitaryShip(military ship)
Constitution, Old_Ironsides, sloop_of_war

appearance as argument number 1
-------------------------


(documentation MilitaryShip EnglishLanguage "Any Ship which is made for a MilitaryOrganization. This includes aircraft carriers, destroyers, etc.") Military.kif 189-190
(externalImage MilitaryShip "http://upload.wikimedia.org/wikipedia/commons/ 5/ 56/ USS_Lassen_030615-N-0905V-006.jpg") pictureList.kif 2257-2257
(subclass MilitaryShip MilitaryWaterVehicle) Military.kif 188-188 Military ship is a subclass of military water vehicle
(subclass MilitaryShip Ship) Military.kif 187-187 Military ship is a subclass of ship

appearance as argument number 2
-------------------------


(subclass AircraftCarrier MilitaryShip) Transportation.kif 2457-2457 Aircraft carrier is a subclass of military ship
(termFormat ChineseLanguage MilitaryShip "军舰") domainEnglishFormat.kif 37727-37727
(termFormat ChineseTraditionalLanguage MilitaryShip "軍艦") domainEnglishFormat.kif 37726-37726
(termFormat EnglishLanguage MilitaryShip "military ship") domainEnglishFormat.kif 37725-37725


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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