PassengerShip - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PassengerShip

PassengerShip

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2313-2314
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2287-2287
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2315-2315	PassengerShip e' uma sub-classe de Ship

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2489-2489	CruiseShip e' uma sub-classe de PassengerShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2504-2504	OceanLiner e' uma sub-classe de PassengerShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2438-2438	PassengerAndCargoShip e' uma sub-classe de PassengerShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2440-2440	ShortSeaPassengerShip e' uma sub-classe de PassengerShip
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44702-44702
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44701-44701
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44700-44700

antecedent

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

Transportation.kif 2317-2319

Veiculo de Transporte e' uma instancia de PassengerShip
cargoType Veiculo de Transporte and Humano

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 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