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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ship
Ship(船)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2310-2311
No TPTP formula. May not be expressible in strict first order. pictureList.kif 726-726
No TPTP formula. May not be expressible in strict first order. pictureList.kif 167-167
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2309-2309 子類 船 and 排水型船體水車

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2460-2460 子類 電纜船 and 船
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30086-30086 子類 貨船 and 船
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2459-2459 子類 起重船 and 船
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2455-2455 子類 挖泥船 and 船
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2452-2452 子類 鑽井船 and 船
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2461-2461 子類 破冰船 and 船
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1019-1019 子類 商船海運 and 船
No TPTP formula. May not be expressible in strict first order. Military.kif 187-187 子類 軍艦 and 船
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2457-2457 子類 電動料斗 and 船
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2449-2449 子類 海外供應船 and 船
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2450-2450 子類 海外支援船 and 船
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2451-2451 子類 海外井生產船 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 2453-2453 子類 研究船 and 船
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2458-2458 子類 污泥處理船 and 船
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52601-52601
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52600-52600
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52599-52599

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 3205-3205 域 船靠泊, 1 and 船

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1097-1104
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1157-1166


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