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 30063-30066
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 30062-30062	子類貨船 and 船

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2316-2316	名 "freighter" and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2325-2325	子類駁船運輸船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2371-2371	子類化學品船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2395-2395	子類組合散裝批貨船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2332-2332	子類集裝箱船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2418-2418	子類乾散貨船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2315-2315	子類普通貨船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2382-2382	子類液化氣罐船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2327-2327	子類牲畜運輸船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2359-2359	子類多功能大型承載船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2483-2483	子類遠洋班輪 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.	Transportation.kif 2363-2363	子類石油油輪船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2337-2337	子類冷藏貨船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2340-2340	子類滾上滾下貨船 and 貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2427-2427	子類專業油輪 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 30068-30077

例 Physical and 貨船
Entity Entity 例 Entity and Transportation 例 Entity and Object 有目的 Physical and agent 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