ShortSeaPassengerShip - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ShortSeaPassengerShip

ShortSeaPassengerShip(近海客船)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1985-1985
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2434-2434	子類近海客船 and 客船

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2495-2495	例渡船 and 近海客船
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52833-52833
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52832-52832
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52831-52831

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 8207-8225	例服務 and WaterTransportationService 服務提供者服務 and CognitiveAgent attribute CognitiveAgent and 沿海和大湖泊客運 Process Object and GeographicArea 子過程 Process and 服務例 Process and 水運儀器 Process and Object 例 Object and 客船 Process 是 located 在 GeographicArea 例 GeographicArea and WaterArea GeographicArea 是美國的 geographic 次要地區 Entity 例 Entity and 近海客船等於 Object and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 8159-8175	例服務 and WaterTransportationService 服務提供者服務 and CognitiveAgent attribute CognitiveAgent and 深海客運 Process Object 子過程 Process and 服務例 Process and 水運儀器 Process and Object 例 Object and 客船 Process 是 located 在世界海洋 Entity 例 Entity and 近海客船等於 Object and Entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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