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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AircraftCarrier
AircraftCarrier(aircraft carrier)
aircraft_carrier, attack_aircraft_carrier, carrier, flattop

appearance as argument number 1

(documentation AircraftCarrier EnglishLanguage "A MilitaryShip on which MilitaryAircraft can land and take off.") Transportation.kif 2458-2459
(externalImage AircraftCarrier " armed_services/ Navy/ aircraft_carrier_3.png") pictureList.kif 212-212
(externalImage AircraftCarrier " b/ bd/ INS_Viraat_%28R22%29_Malabar_07.jpg") pictureList.kif 2072-2072
(subclass AircraftCarrier MilitaryShip) Transportation.kif 2457-2457 Aircraft carrier is a subclass of military ship

appearance as argument number 2

(termFormat ChineseLanguage AircraftCarrier "航空母舰") domainEnglishFormat.kif 6126-6126
(termFormat ChineseTraditionalLanguage AircraftCarrier "航空母艦") domainEnglishFormat.kif 6125-6125
(termFormat EnglishLanguage AircraftCarrier "aircraft carrier") domainEnglishFormat.kif 6124-6124

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