TreeView Knowledge Base Browser - ShipBerth

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ShipBerth

ShipBerth(ship berth)

Charlestown_Navy_Yard

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2991-2992
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 2989-2989	Ship berth is a subclass of port facility
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2988-2988	Ship berth is a subclass of water area

appearance as argument number 2

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

antecedent

No TPTP formula. May not be expressible in strict first order.

Transportation.kif 2994-2999

If an object is an instance of harbor and the object equipment count ship berth for a real number and the real number is greater than 0,
then the object is capable of doing ship berthing as a path

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