Driving - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Driving

Driving(Dirigir)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3068-3069
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11661-11663
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1836-1837
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5968-5968
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6402-6402
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11658-11658	Dirigir e' uma sub-classe de Guiar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11659-11659	Dirigir e' uma sub-classe de Transporte

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17824-17824	FlyingAircraft e' uma sub-classe de Dirigir
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1131-1131
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1479-1479
No TPTP formula. May not be expressible in strict first order.	french_format.kif 809-809
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2493-2493
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 761-761
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 830-830

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23617-23625	Processo e' uma instancia de Dirigir Entidade e' um patient de Processo Entidade e' uma instancia de RoadVehicle Processo Processo e' uma instancia de TransportViaRoadVehicle Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23627-23633	Processo e' uma instancia de Dirigir Transporte e' um sub-processo de Processo Transporte e' uma instancia de Transporte Processo e' um agente de AutonomousAgent transported Transporte and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23635-23641	Processo e' uma instancia de Dirigir Processo e' um sub-processo de Processo Processo e' uma instancia de Transporte Processo termina em Entidade Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23643-23650	Processo e' uma instancia de Dirigir Transporte e' um sub-processo de Processo Transporte e' uma instancia de Transporte Veiculo de Transporte e' uma instancia de Vehicle Veiculo de Transporte e' um patient de Processo conveyance Transporte and Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23608-23615	Processo e' uma instancia de Transporte Processo e' um sub-processo de Processo Processo e' uma instancia de Dirigir Objeto e' um instrumento para Processo Objeto e' uma instancia de Veiculo de Transporte Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 106-125	Agente Cognitivo possui Objeto Agente Cognitivo e' uma instancia de CommercialAgent Objeto e' uma instancia de ParkingLot Objeto e' uma instancia de Predio Agente Cognitivo e' situado em Objeto customer Agente Cognitivo and AutonomousAgent AutonomousAgent e' situado em Objeto vale durante Posicao Temporal Processo e' uma instancia de Dirigir Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo termina em Objeto Agente Cognitivo autoriza AutonomousAgent a executar tarefas de tipo Entidade e' uma instancia de Manter Entidade termina em Objeto Entidade e' um patient de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11665-11670	Processo e' uma instancia de Dirigir Entidade Entidade e' uma instancia de Vehicle Entidade e' um patient de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22400-22408	Colecao e' uma instancia de Convoy Fisico e' membro de Colecao Processo Processo e' uma instancia de Dirigir tempo de existencia de Colecao engloba tempo de existencia de Processo Fisico e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16909-16920	Objeto e' uma instancia de DriversLicense AutonomousAgent possui Objeto confersNorm Objeto, Entidade Entidade Entidade e' uma instancia de Dirigir Entidade e' um agente de AutonomousAgent Entidade e' um patient de Entidade Entidade e' uma instancia de RoadVehicle and Permission
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 132-134	Valet e' um atributo de Humano occupation Humano and OccupationFn Dirigir
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3389-3395	Fisico e' uma instancia de VehicleController Fisico tem por fim Entidade Entidade e' uma instancia de Dirigir Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21949-21954	Processo e' uma instancia de Hijacking Processo Processo e' um sub-processo de Processo Processo e' uma instancia de Dirigir
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4734-4744	Fisico e' uma instancia de MotorcycleGlove Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Dirigir Entidade e' um agente de Entidade Entidade e' um instrumento para Entidade Entidade e' uma instancia de Motorcycle Entidade usa Fisico vale durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4354-4365	Fisico e' uma instancia de MotorcycleHelmet Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Dirigir Entidade e' um agente de Entidade Entidade e' uma instancia de Motorcycle Entidade e' um patient de Entidade Entidade e' uma instancia de Humano Entidade usa Fisico vale durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23601-23606	Processo e' uma instancia de TransportViaRoadVehicle Processo Processo e' uma instancia de Dirigir Processo e' um sub-processo de Processo

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