TreeView Knowledge Base Browser - CargoShip

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CargoShip

CargoShip(貨船)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30087-30090
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 323-323
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1690-1690
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30086-30086	子類貨船 and 船

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2322-2322	名 "freighter" and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2331-2331	子類駁船運輸船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2377-2377	子類化學品船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2401-2401	子類組合散裝批貨船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2338-2338	子類集裝箱船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2424-2424	子類乾散貨船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2321-2321	子類普通貨船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2388-2388	子類液化氣罐船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2333-2333	子類牲畜運輸船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2365-2365	子類多功能大型承載船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2505-2505	子類遠洋班輪 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2439-2439	子類客貨船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2369-2369	子類石油油輪船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2343-2343	子類冷藏貨船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2346-2346	子類滾上滾下貨船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2433-2433	子類專業油輪 and 貨船
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13236-13236
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13235-13235
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13234-13234

antecedent

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

Mid-level-ontology.kif 30092-30101

例 Physical and 貨船
Entity Entity 例 Entity and 運輸例 Entity and Object 有目的 Physical and 儀器 Entity and Physical 患者 Entity and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 8184-8197	例服務 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 次要地區
No TPTP formula. May not be expressible in strict first order.	naics.kif 8139-8150	例服務 and WaterTransportationService 服務提供者服務 and CognitiveAgent attribute CognitiveAgent and 深海貨運 Process Object 子過程 Process and 服務例 Process and 水運儀器 Process and Object 例 Object and 貨船 Process 是 located 在世界海洋

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