buys - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - buys

buys

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29939-29940
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29947-29947	Le nombre 1 argument de buys est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29948-29948	Le nombre 2 argument de buys est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29949-29949	Le nombre 3 argument de buys est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29938-29938	buys est une instance de pr�dicat ternaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2946-2946
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2945-2945
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2944-2944
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29941-29941

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29951-29960	buys agent cognitif, AutonomousAgent and entit� entit� est une instance de physique processus processus est une instance de acheter entit� est un patient de processus processus est un agent de agent cognitif processus a pour origine AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29962-29972	buys agent cognitif, AutonomousAgent and proposition proposition est une instance de proposition processus processus processus est un agent de agent cognitif processus exprime le contenu de proposition processus est une instance de acheter processus est un patient de processus processus a pour origine AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1558-1578	offers AutonomousAgent and MealPlan MealPlan est une instance de MealPlan includedMeal MealPlan and attribut relationnel TravelerAccommodation est un attribut de AutonomousAgent guest agent cognitif and AutonomousAgent buys agent cognitif, AutonomousAgent and MealPlan entit� entit� attribut relationnel est un attribut de entit� entit� a pour but entit� entit� est une instance de manger entit� est un agent de agent cognitif entit� est un patient de entit� pendant entit� pendant temps d'existence de guest agent cognitif and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2744-2757	propositionOwner agent cognitif and HotelPackage HotelPackage est une instance de HotelPackage accommodationProvider HotelPackage and organisation roomStay HotelPackage, nombre entier and HotelUnit entit� est une instance de HotelUnit entit� est un appartenir � organisation buys agent cognitif, agent cognitif and HotelPackage position temporel position temporel est nombre entier DayDuration(s) guest agent cognitif and organisation pendant position temporel

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30002-30008	Cha�ne sympbolique est une instance de PurchaseOrderNumber physique agent cognitif, AutonomousAgent and entit� physique est une instance de PurchaseOrder buys agent cognitif, AutonomousAgent and entit� uniqueIdWithRespectTo physique, agent cognitif and cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29856-29876	Entit� est une instance de Invoice cha�ne sympbolique agent cognitif, AutonomousAgent, entit� and entit� l' unique identifier de cha�ne sympbolique est entit� buys agent cognitif, AutonomousAgent and entit� AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type entit� le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit� entit� est une instance de vendre entit� est une instance de produit objectTransferred entit� and entit� entit� inclut une r�f�rence � entit� entit� est un agent de AutonomousAgent agent cognitif est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29883-29903	Entit� est une instance de PurchaseOrder cha�ne sympbolique agent cognitif, agent cognitif and entit� l' unique identifier de cha�ne sympbolique est entit� buys agent cognitif, agent cognitif and entit� agent cognitif oblige agent cognitif � ex�cut� des t�ches du type entit� le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit� entit� est une instance de acheter entit� est une instance de produit objectTransferred entit� and entit� entit� inclut une r�f�rence � entit� entit� est un agent de agent cognitif agent cognitif est un patient de entit�

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