TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2034-2034
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 405-405
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 407-407
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1450-1450
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 411-411
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 399-399
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 409-409
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 410-410
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 401-401
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 403-403
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 398-398
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 404-404
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 402-402
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 406-406
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 400-400
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 412-412
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 408-408
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 413-413
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2033-2033	Rail vehicle is a subclass of land vehicle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2095-2095	Rolling stock is a subclass of rail vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2047-2047	Train is a subclass of rail vehicle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48668-48668
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48667-48667
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48666-48666

antecedent

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

Transportation.kif 2036-2045

If a physical is an instance of rail vehicle,
then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of railway and the entity is an instance of transportation and the physical meets the other entity holds during the time of existence of the entity

consequent

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

naics.kif 8034-8059

If a collection is an instance of organization and rail transportation 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, another entity 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 other entity and the other entity is an instance of rail vehicle

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: