Aircraft - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19386-19388
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 286-286
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 298-298
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 261-261
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 285-285
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 275-275
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 292-292
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 278-278
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 297-297
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 280-280
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 289-289
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 288-288
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 294-294
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1619-1619
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 295-295
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 150-150
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 276-276
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 267-267
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 302-302
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 272-272
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 291-291
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 279-279
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 266-266
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 271-271
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 270-270

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1823-1823	Aircraft is an industry product type of aircraft manufacturing
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3113-3113	Airplane is a subclass of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3124-3124	Glider plane is a subclass of aircraft
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19394-19394	Helicopter is a subclass of aircraft
No TPTP formula. May not be expressible in strict first order.	Military.kif 222-222	Military aircraft is a subclass of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3123-3123	Rocket is a subclass of aircraft
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6129-6129	Rocket is a subclass of aircraft
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6128-6128	Rocket is a subclass of aircraft
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6127-6127	Rocket is a subclass of aircraft

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

MilitaryDevices.kif 1456-1456

The number 1 argument of absolute height is an instance of aircraft

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1462-1467	The altitude of an aircraft relative to a self connected object is an altitude measure and the self connected object is a surface of planet earth and the aircraft is an instance of aircraft if and only if the altitude measure is the absolute height of the aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3616-3630	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of aircraft and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of rail vehicle or the other object is an instance of water vehicle or the other object is an instance of road vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3550-3561	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of aircraft and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3945-3957	If a transitway can handle a nonnegative integer number of vehicles during a time interval and the transitway is an instance of air transitway and a collection is an instance of collection and aircraft is a member type of the collection and the nonnegative integer2 is a member count of the collection and an object is a member of the collection and a motion is an instance of transportation and the object is an instrument for the motion and the time of existence of the motion takes place during the time interval and the transitway is path along which the motion occurs, then the nonnegative integer is greater than or equal to the nonnegative integer2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19390-19392	If an object is an instance of aircraft, then the object is capable of doing air transportation as a instrument

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 7953-7978	If a collection is an instance of organization and air transportation industry is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity, the cognitive agentLANE and a third entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses the third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the cognitive agentLANE and the cognitive agentLANE is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3584-3598	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of rail vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of road vehicle or the other object is an instance of water vehicle or the other object is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3568-3582	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of road vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of rail vehicle or the other object is an instance of water vehicle or the other object is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3600-3614	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of water vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of rail vehicle or the other object is an instance of road vehicle or the other object is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3550-3561	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of aircraft and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	Biography.kif 444-473	If aeronautical engineer is an attribute of an agent, then there exists a kind of process such that the agent has the skill to do a kind of process and for all another process if the other process is an instance of the kind of process, then there exist a third process, an entity and the other processT such that the third process is an instance of making and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the entity is a result of the third process and the other process is a subprocess of the third process or there exist a fourth process, the other processLAN,, , the entity and the other processT such that the fourth process is an instance of designing and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the other processLAN is a result of the fourth process and the other processLAN expresses the entity and the other process is a subprocess of the fourth process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4464-4471	If an agent is an instance of Airline, then there exist a collection and a physical such that the collection is an instance of Fleet and the agent possesses the collection and the physical is an instance of aircraft and the physical is a member of the collection
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 736-741	If a process is an instance of air reconnaissance, then there exists an object such that the object is an instance of aircraft and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2639-2653	If a physical is an instance of aircraft carrier, then the physical has the purpose there exist an entity, another entity and the physicalLASS such that the entity is an instance of aircraft and the entity is a patient of the other entity and the other entity is an instance of the physicalLASS and the physical is capable of doing the physicalLASS as a origin and the physicalLASS is a subclass of taking off or the physical is capable of doing the physicalLASS as a destination and the physicalLASS is a subclass of landing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19370-19375	If a process is an instance of flying, then there exists an entity such that the entity is an instance of aircraft and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4500-4507	If a process is an instance of Air Transportation Service, then there exist an object and another process such that the other process is an instance of air transportation and the other process is a subprocess of the process and the object is an instrument for the other process and the object is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19257-19264	If a process is an instance of air transportation, then there exist an object and another object such that the object is an instance of aircraft and the other object is an instance of atmospheric region and the object is an instrument for the process and the process is located at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1732-1737	If an object is an instance of wing device, then there exists another object such that the other object is an instance of aircraft and the object is a part of the other object

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

KB Term:			Term intersection

English Word: