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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShipBerthing

Sigma KEE - ShipBerthing
ShipBerthing(ship berthing)

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 3019-3021
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9654-9654
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9655-9655
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8706-8706
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9653-9653
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3017-3017 Ship berthing is a subclass of translocation

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 3025-3025 The values returned by ship berthing are subclasses of ship berthing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52617-52617
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52616-52616
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52615-52615

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2949-2957

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


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


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