TreeView Knowledge Base Browser - LandVehicle

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LandVehicle

LandVehicle

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3466-3470
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1439-1439
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3465-3465	LandVehicle e' uma sub-classe de Vehicle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2129-2129	AMEV e' uma sub-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1573-1573	APC e' uma sub-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4761-4761	AllTerrainVehicle e' uma sub-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2019-2019	AmphibiousVehicle e' uma sub-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1923-1923	Cycle e' uma sub-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4583-4583	FourWheelDriveVehicle e' uma sub-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2033-2033	RailVehicle e' uma sub-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3508-3508	RoadVehicle e' uma sub-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1944-1944	Scooter e' uma sub-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4606-4606	TwoWheelDriveVehicle e' uma sub-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1846-1846	Wagon e' uma sub-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33301-33301
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33300-33300
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33299-33299

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17780-17782	Objeto e' uma instancia de LandVehicle Objeto e' capaz de fazer LandTransportation no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3377-3382	Objeto e' uma instancia de LandVehicle Objeto Objeto e' uma instancia de Wheel Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3472-3481	Fisico e' uma instancia de LandVehicle Fisico tem por fim Entidade Entidade Entidade e' uma superficie de Area Geografica Entidade e' uma instancia de Transporte Fisico encontra Entidade vale durante tempo de existencia de Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 8344-8364	Colecao e' uma instancia de Organizacao TransitAndGroundPassengerTransportation e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade Entidade e' uma instancia de Transporte Agente Cognitivo e' um patient de Entidade Colecao possui Entidade Entidade e' uma instancia de LandVehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8253-8275	Colecao e' uma instancia de Organizacao TruckTransportation e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade and Entidade Entidade e' uma instancia de Transporte Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Objeto Colecao possui Entidade Entidade e' uma instancia de LandVehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17771-17778	Processo e' uma instancia de LandTransportation Objeto Objeto Objeto e' uma instancia de LandVehicle Objeto e' uma instancia de Area terrestre Objeto e' um instrumento para Processo Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3372-3379	Processo e' uma instancia de LandTransportationService Processo Objeto Processo e' uma instancia de LandTransportation Objeto e' uma instancia de LandVehicle Objeto e' um instrumento para Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22222-22230	Fisico e' uma instancia de Road Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Transporte eventLocated Entidade and Fisico Entidade e' uma instancia de LandVehicle Entidade e' um instrumento para 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