TreeView Knowledge Base Browser - SelfPoweredRoadVehicle

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

SelfPoweredRoadVehicle

Sigma KEE - SelfPoweredRoadVehicle

SelfPoweredRoadVehicle

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1805-1809
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1804-1804	SelfPoweredRoadVehicle e' uma sub-classe de PoweredVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1803-1803	SelfPoweredRoadVehicle e' uma sub-classe de RoadVehicle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1947-1947	Automobile e' uma sub-classe de SelfPoweredRoadVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1966-1966	Bus e' uma sub-classe de SelfPoweredRoadVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1876-1876	Motorcycle e' uma sub-classe de SelfPoweredRoadVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2009-2009	Truck e' uma sub-classe de SelfPoweredRoadVehicle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52011-52011
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52010-52010
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52009-52009
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3709-3709	typicalPart CarAlarm and SelfPoweredRoadVehicle

antecedent

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

Cars.kif 3710-3751

Objeto e' uma instancia de CarAlarm Objeto e' uma instancia de SelfPoweredRoadVehicle Objeto e' uma &parte de Objeto
Entidade Entidade, Entidade and Entidade Objeto tem por fim
- Entidade e' uma instancia de Stealing Entidade e' uma instancia de Causar Dano Entidade e' uma instancia de Humano Entidade e' um agente de Entidade Objeto e' um patient de Entidade tempo de existencia de Entidade e' igual a Entidade eventPartlyLocated Entidade and Entidade
- Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um agente de Objeto Entidade causa Entidade Entidade tem por fim Entidade Entidade e' uma instancia de Humano Entidade e' Near em relacao a Entidade vale durante Entidade aumenta a probabilidade de Entidade sabe Entidade Entidade e' uma instancia de Stealing Entidade e' uma instancia de Causar Dano eventPartlyLocated Entidade and Entidade Objeto e' um patient de Entidade vale durante Entidade tempo de existencia de Entidade termina em tempo de existencia de 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