TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17818-17820
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 1698-1698	Aircraft is an industry product type of aircraft manufacturing
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2582-2582	Airplane is a subclass of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2593-2593	Glider plane is a subclass of aircraft
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17826-17826	Helicopter is a subclass of aircraft
No TPTP formula. May not be expressible in strict first order.	Military.kif 155-155	Military aircraft is a subclass of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2592-2592	Rocket is a subclass of aircraft
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6120-6120
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6119-6119
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6118-6118

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 is a self connected object and the self connected object is a surface of planet earth and the aircraft is an instance of aircraft if and only if an altitude measure is the absolute height of the aircraft
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17822-17824	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.	Biography.kif 436-465	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 3323-3330	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.	Mid-level-ontology.kif 17802-17807	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 3359-3366	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 17689-17696	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 1516-1521	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: