TreeView Knowledge Base Browser - PassengerShip

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 2307-2308
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 2309-2309	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 2467-2467	CruiseShip e' uma sub-classe de PassengerShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2482-2482	OceanLiner e' uma sub-classe de PassengerShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2432-2432	PassengerAndCargoShip e' uma sub-classe de PassengerShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2434-2434	ShortSeaPassengerShip e' uma sub-classe de PassengerShip
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44700-44700
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44699-44699
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44698-44698

antecedent

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

Transportation.kif 2311-2313

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