TreeView Knowledge Base Browser - DeepSeaPassengerTransportation

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

DeepSeaPassengerTransportation

Sigma KEE - DeepSeaPassengerTransportation

DeepSeaPassengerTransportation(deep sea passenger transportation)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 8154-8157
No TPTP formula. May not be expressible in strict first order.	naics.kif 8152-8152	Deep sea passenger transportation is a subattribute of deep sea coastal and great lakes water transportation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18870-18870
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18869-18869
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18868-18868

antecedent

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

naics.kif 8159-8175

If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and deep sea passenger transportation is an attribute of the cognitive agent,
then there exist a process and an object such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of passenger ship and the process is located at world ocean and there doesn't exist an entity such that the entity is an instance of short sea passenger ship and the object is equal to the entity

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