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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShipBerth

Sigma KEE - ShipBerth
ShipBerth(船泊位)

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2939-2940
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9652-9652
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8705-8705
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2937-2937 船泊位水域subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52611-52611
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52610-52610
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52609-52609

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2942-2947


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