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 234-236
(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 232-232	Military aircraft is a subclass of aircraft
(subclass MilitaryAircraft MilitaryVehicle)	Military.kif 233-233	Military aircraft is a subclass of military vehicle

appearance as argument number 2

(subclass Bomber MilitaryAircraft)	Military.kif 251-251	Bomber is a subclass of military aircraft
(subclass Fighter MilitaryAircraft)	Military.kif 238-238	Fighter is a subclass of military aircraft
(termFormat ChineseLanguage MilitaryAircraft "军用飞机")	domainEnglishFormat.kif 37550-37550	Fighter is a subclass of military aircraft
(termFormat ChineseTraditionalLanguage MilitaryAircraft "軍用飛機")	domainEnglishFormat.kif 37549-37549	Fighter is a subclass of military aircraft
(termFormat EnglishLanguage MilitaryAircraft "military aircraft")	domainEnglishFormat.kif 37548-37548	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 241-249	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