TreeView Knowledge Base Browser - ShortSeaPassengerShip

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ShortSeaPassengerShip

Sigma KEE - ShortSeaPassengerShip

ShortSeaPassengerShip

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1985-1985
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2434-2434	ShortSeaPassengerShip e' uma sub-classe de PassengerShip

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2495-2495	FerryBoat e' uma instancia de ShortSeaPassengerShip
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52833-52833
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52832-52832
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52831-52831

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 8207-8225	ServiceProcess e' uma instancia de WaterTransportationService serviceProvider ServiceProcess and Agente Cognitivo CoastalAndGreatLakesPassengerTransportation e' um atributo de Agente Cognitivo Processo Objeto and Area Geografica Processo e' um sub-processo de ServiceProcess Processo e' uma instancia de WaterTransportation Objeto e' um instrumento para Processo Objeto e' uma instancia de PassengerShip eventLocated Processo and Area Geografica Area Geografica e' uma instancia de Area Aquatica geographicSubregion Area Geografica and UnitedStates Entidade Entidade e' uma instancia de ShortSeaPassengerShip Objeto e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	naics.kif 8159-8175	ServiceProcess e' uma instancia de WaterTransportationService serviceProvider ServiceProcess and Agente Cognitivo DeepSeaPassengerTransportation e' um atributo de Agente Cognitivo Processo Objeto Processo e' um sub-processo de ServiceProcess Processo e' uma instancia de WaterTransportation Objeto e' um instrumento para Processo Objeto e' uma instancia de PassengerShip eventLocated Processo and WorldOcean Entidade Entidade e' uma instancia de ShortSeaPassengerShip Objeto e' igual a Entidade

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