ShipBerthing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ShipBerthing

ShipBerthing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3071-3073
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 3069-3069	ShipBerthing e' uma sub-classe de Translocation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3077-3077	Os valores retornados por ShipBerthingFn sao as sub-classes de ShipBerthing
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52619-52619
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52618-52618
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52617-52617

antecedent

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

Transportation.kif 3001-3009

Objeto e' uma instancia de PortFacility Objeto e' capaz de fazer ShipBerthing no role patient
Objeto Objeto e' uma instancia de Harbor Objeto e' conectado com Objeto Objeto e' capaz de fazer ShipBerthing no role path

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2994-2999	Objeto e' uma instancia de Harbor equipmentCount Objeto, ShipBerth and Numero Real Numero Real e' maior que 0 Objeto e' capaz de fazer ShipBerthing no role path
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3001-3009	Objeto e' uma instancia de PortFacility Objeto e' capaz de fazer ShipBerthing no role patient Objeto Objeto e' uma instancia de Harbor Objeto e' conectado com Objeto Objeto e' capaz de fazer ShipBerthing no role path

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