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 11390-11391
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 11388-11388	Carrying est une sous-classe de transf�re

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

Processus est une instance de Carrying
objet objet est une instance de animal objet est un instrument pour processus

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20600-20622	Waiter est un attribut de agent cognitif agent cognitif est une instance de humain AutonomousAgent emploie agent cognitif AutonomousAgent est une instance de Restaurant customer agent cognitif and AutonomousAgent agent cognitif est situ� � objet objet est une instance de Table objet entit�, entit� and objet AutonomousAgent poss�de objet objet est une instance de KitchenArea objet est une instance de DiningArea objet est situ� � objet agent cognitif a pour but entit� est une instance de Carrying entit� est un agent de agent cognitif entit� a pour origine objet entit� aboutit � objet entit� est un patient de entit� entit� est une instance de FoodForFn humain
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2392-2407	customer agent cognitif and AutonomousAgent AutonomousAgent emploie agent cognitif TravelerAccommodation est un attribut de AutonomousAgent Porter est un attribut de agent cognitif agent cognitif poss�de objet objet est une instance de TravelContainer objet processus objet est une instance de HotelUnit processus est une instance de Carrying processus est un agent de agent cognitif processus aboutit � objet processus a pour origine objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2383-2390	Porter est un attribut de objet objet a pour but entit� entit� entit� est une instance de TravelContainer entit� est une instance de Carrying entit� est un agent de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4345-4354	Processus est une instance de AnimalGuiding AutonomousAgent transf�re and AutonomousAgent AutonomousAgent est une instance de animal processus est un agent de AutonomousAgent transf�re est une instance de Carrying transf�re est un agent de AutonomousAgent objectTransferred transf�re and AutonomousAgent AutonomousAgent est un instrument pour processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25489-25494	Entit� est une instance de FireExtinguisher objet objet est une instance de humain objet est capable de faire Carrying dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4484-4486	Objet est une instance de HandTool objet est capable de faire Carrying dans le r�le objectTransferred
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29522-29530	Physique est une instance de PortableComputer physique a pour but entit� entit� entit� est une instance de Carrying entit� est une instance de humain physique est un patient de entit� entit� est un agent de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4326-4337	Objet est une instance de Saddle cha�ne sympbolique objet est capable de faire la classe d�crite par cha�ne sympbolique dans le r�le 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