Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CargoShip

 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 货船 是 船 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2316-2316 货船 的名 是 "freighter"
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2325-2325 驳船运输船 是 货船 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2371-2371 化学品船 是 货船 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2395-2395 组合散装批货船 是 货船 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2332-2332 集装箱船 是 货船 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2418-2418 干散货船 是 货船 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2315-2315 普通货船 是 货船 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2382-2382 液化气罐船 是 货船 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2327-2327 牲畜运输船 是 货船 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2359-2359 多功能大型承载船 是 货船 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2483-2483 远洋班轮 是 货船 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2433-2433 客货船 是 货船 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2363-2363 石油油轮船 是 货船 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2337-2337 冷藏货船 是 货船 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2340-2340 滚上滚下货船 是 货船 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2427-2427 专业油轮 是 货船 的 subclass
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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 8184-8197
No TPTP formula. May not be expressible in strict first order. naics.kif 8139-8150


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