TreeView Knowledge Base Browser - ScenicAndSightseeingTransportation

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

ScenicAndSightseeingTransportation

Sigma KEE - ScenicAndSightseeingTransportation

ScenicAndSightseeingTransportation(scenic and sightseeing transportation)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 8524-8526
No TPTP formula. May not be expressible in strict first order.	naics.kif 8522-8522	Scenic and sightseeing transportation is an instance of industry attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 8551-8551	Scenic and sightseeing transportation land is a subattribute of scenic and sightseeing transportation
No TPTP formula. May not be expressible in strict first order.	naics.kif 8563-8563	Scenic and sightseeing transportation other is a subattribute of scenic and sightseeing transportation
No TPTP formula. May not be expressible in strict first order.	naics.kif 8557-8557	Scenic and sightseeing transportation water is a subattribute of scenic and sightseeing transportation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51495-51495
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51494-51494
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51493-51493

antecedent

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

naics.kif 8528-8549

If a collection is an instance of organization and scenic and sightseeing 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 and another entity such that the entity is an instance of transportation and the entity is an instance of recreation or exercise and the cognitive agent is a patient of the entity and the collection possesses the other entity and the other entity is an instance of 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