MilitaryAircraft - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - MilitaryAircraft

MilitaryAircraft(military aircraft)

military_plane, warplane

appearance as argument number 1

(documentation MilitaryAircraft EnglishLanguage "Any Aircraft which is made for a MilitaryOrganization. This includes fighters, Bombers, attack helicopters, etc.")	Military.kif 224-226
(externalImage MilitaryAircraft "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 19/ F-14A_Tomcat_over_Iraq_during_Southern_Watch.jpg/ 250px_F-14A_Tomcat_over_Iraq_during_Southern_Watch.jpg")	pictureList.kif 1181-1181
(subclass MilitaryAircraft Aircraft)	Military.kif 222-222	Military aircraft is a subclass of aircraft
(subclass MilitaryAircraft MilitaryVehicle)	Military.kif 223-223	Military aircraft is a subclass of military vehicle

appearance as argument number 2

(subclass Bomber MilitaryAircraft)	Military.kif 241-241	Bomber is a subclass of military aircraft
(subclass Fighter MilitaryAircraft)	Military.kif 228-228	Fighter is a subclass of military aircraft
(termFormat ChineseLanguage MilitaryAircraft "军用飞机")	domainEnglishFormat.kif 37567-37567	Fighter is a subclass of military aircraft
(termFormat ChineseTraditionalLanguage MilitaryAircraft "軍用飛機")	domainEnglishFormat.kif 37566-37566	Fighter is a subclass of military aircraft
(termFormat EnglishLanguage MilitaryAircraft "military aircraft")	domainEnglishFormat.kif 37565-37565	Fighter is a subclass of military aircraft

consequent

(=> (instance ?A MilitaryAirport) (hasPurpose ?A (exists (?M) (and (instance ?M MilitaryAircraft) (or (capableAtLocation TakingOff origin ?M ?A) (capableAtLocation Landing destination ?M ?A))))))	MilitaryProcesses.kif 2773-2781	If a physical is an instance of military airport, then the physical has the purpose there exists an entity such that the entity is an instance of military aircraft and taking off capable at location origin for the entity with the physical or landing capable at location destination for the entity with the physical
(=> (instance ?F Fighter) (hasPurpose ?F (exists (?A ?MA) (and (instance ?A Attack) (instrument ?A ?F) (patient ?A ?MA) (instance ?MA MilitaryAircraft)))))	Military.kif 231-239	If a physical is an instance of fighter, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of attack and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of military aircraft

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