Carrying - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Carrying

Carrying

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3029-3030
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11414-11415
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1797-1798
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11412-11412	Carrying e' uma sub-classe de Transferencia

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13350-13350
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13349-13349
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13348-13348

antecedent

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

Merge.kif 11417-11422

Processo e' uma instancia de Carrying
Objeto Objeto e' uma instancia de Animal Objeto e' um instrumento para Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20628-20650	Waiter e' um atributo de Agente Cognitivo Agente Cognitivo e' uma instancia de Humano AutonomousAgent emprega Agente Cognitivo AutonomousAgent e' uma instancia de Restaurant customer Agente Cognitivo and AutonomousAgent Agente Cognitivo e' situado em Objeto Objeto e' uma instancia de Table Objeto Entidade, Entidade and Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de KitchenArea Objeto e' uma instancia de DiningArea Objeto e' situado em Objeto Agente Cognitivo tem por fim Entidade e' uma instancia de Carrying Entidade e' um agente de Agente Cognitivo Entidade tem como origem Objeto Entidade termina em Objeto Entidade e' um patient de Entidade Entidade e' uma instancia de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2392-2407	customer Agente Cognitivo and AutonomousAgent AutonomousAgent emprega Agente Cognitivo TravelerAccommodation e' um atributo de AutonomousAgent Porter e' um atributo de Agente Cognitivo Agente Cognitivo possui Objeto Objeto e' uma instancia de TravelContainer Objeto Processo Objeto e' uma instancia de HotelUnit Processo e' uma instancia de Carrying Processo e' um agente de Agente Cognitivo Processo termina em Objeto Processo tem como origem Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2383-2390	Porter e' um atributo de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de TravelContainer Entidade e' uma instancia de Carrying Entidade e' um agente de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4338-4347	Processo e' uma instancia de AnimalGuiding AutonomousAgent Transferencia and AutonomousAgent AutonomousAgent e' uma instancia de Animal Processo e' um agente de AutonomousAgent Transferencia e' uma instancia de Carrying Transferencia e' um agente de AutonomousAgent objectTransferred Transferencia and AutonomousAgent AutonomousAgent e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25547-25552	Entidade e' uma instancia de FireExtinguisher Objeto Objeto e' uma instancia de Humano Objeto e' capaz de fazer Carrying no role instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4461-4463	Objeto e' uma instancia de HandTool Objeto e' capaz de fazer Carrying no role objectTransferred
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29585-29593	Fisico e' uma instancia de PortableComputer Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Carrying Entidade e' uma instancia de Humano Fisico e' um patient de Entidade Entidade e' um agente de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4319-4330	Objeto e' uma instancia de Saddle Sequencia Simbolica Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument

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