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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MerchantMarine
MerchantMarine(商船)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 958-961
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7317-7317
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7318-7318
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7327-7327
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7319-7319
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7320-7320
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7321-7321
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7328-7328
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7322-7322
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7323-7323
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7324-7324
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6699-6699
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7325-7325
No TPTP formula. May not be expressible in strict first order. Transportation.kif 957-957 商船 是 群体 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 966-966 商船 的 range 是 商船 的实例
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37157-37157
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37156-37156
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37155-37155

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1054-1054 fOC按原产地出货 的 1 数量 是 商船 的 instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1048-1048 海运库存 的 1 数量 是 商船 的 instance

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 978-982


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