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	industryProductType AircraftManufacturing and Aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2582-2582	Airplane est une sous-classe de Aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2593-2593	GliderPlane est une sous-classe de Aircraft
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17826-17826	Helicopter est une sous-classe de Aircraft
No TPTP formula. May not be expressible in strict first order.	Military.kif 155-155	MilitaryAircraft est une sous-classe de Aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2592-2592	Rocket est une sous-classe de 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

Le nombre 1 argument de absoluteHeight est une instance de Aircraft

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1462-1467	Le altitude de Aircraft est objet en une partie objet en une partie est une surface de PlanetEarth Aircraft est une instance de Aircraft absoluteHeight Aircraft and AltitudeMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17822-17824	Objet est une instance de Aircraft objet est capable de faire AirTransportation dans le r�le instrument

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 7953-7978	Collection est une instance de organisation AirTransportationIndustry est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif AutonomousAgent est une instance de vendre agent cognitif est une instance de humain agent cognitif est un patient de AutonomousAgent processus autorise agent cognitif � ex�cut� des t�ches du type entit� agent cognitifLANE and entit� entit� est une instance de transporter agent cognitif est un patient de entit� agent cognitif poss�de entit� entit� est un patient de entit� entit� est une instance de objet collection poss�de agent cognitifLANE agent cognitifLANE est une instance de Aircraft
No TPTP formula. May not be expressible in strict first order.	Biography.kif 436-465	AeronauticalEngineer est un attribut de AutonomousAgent processus AutonomousAgent a la capacit� de faire processus processus processus est une instance de processus processus entit� and processusT processus est une instance de faire entit� est une instance de Aircraft entit� est une instance de processusT typicalPart processusT and Aircraft entit� est le resultat de processus processus est un sous-processus de processus processus processusLAN, entit� and processusT processus est une instance de Designing entit� est une instance de Aircraft entit� est une instance de processusT typicalPart processusT and Aircraft processusLAN est le resultat de processus processusLAN d�finie entit� processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3323-3330	AutonomousAgent est une instance de Airline collection physique collection est une instance de Fleet AutonomousAgent poss�de collection physique est une instance de Aircraft physique est un membre de collection
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 736-741	Processus est une instance de AirReconnaissance objet objet est une instance de Aircraft objet est un instrument pour processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17802-17807	Processus est une instance de FlyingAircraft entit� entit� est une instance de Aircraft entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3359-3366	Processus est une instance de AirTransportationService objet processus processus est une instance de AirTransportation processus est un sous-processus de processus objet est un instrument pour processus objet est une instance de Aircraft
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17689-17696	Processus est une instance de AirTransportation objet objet objet est une instance de Aircraft objet est une instance de AtmosphericRegion objet est un instrument pour processus eventLocated processus and objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1516-1521	Objet est une instance de WingDevice objet objet est une instance de Aircraft objet est une partie de objet

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: