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 256-257
(externalImage MilitaryShip "http://upload.wikimedia.org/wikipedia/commons/ 5/ 56/ USS_Lassen_030615-N-0905V-006.jpg") pictureList.kif 2256-2256
(subclass MilitaryShip MilitaryWaterVehicle) Military.kif 255-255 Military ship is a subclass of military water vehicle
(subclass MilitaryShip Ship) Military.kif 254-254 Military ship is a subclass of ship

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


(subclass AircraftCarrier MilitaryShip) Transportation.kif 2632-2632 Aircraft carrier is a subclass of military ship
(termFormat ChineseLanguage MilitaryShip "军舰") domainEnglishFormat.kif 37753-37753 Aircraft carrier is a subclass of military ship
(termFormat ChineseTraditionalLanguage MilitaryShip "軍艦") domainEnglishFormat.kif 37752-37752 Aircraft carrier is a subclass of military ship
(termFormat EnglishLanguage MilitaryShip "military ship") domainEnglishFormat.kif 37751-37751 Aircraft carrier is a subclass of military ship


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