TreeView Knowledge Base Browser - buys

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

(documentation buys EnglishLanguage "(buys ?CUST ?AGENT ?ENT) means that AutonomousAgent ?CUST performs Buying of Entity ?ENT from AutonomousAgent ?AGENT")	Mid-level-ontology.kif 29975-29976
(domain buys 1 CognitiveAgent)	Mid-level-ontology.kif 29983-29983	Die Zahl 1 Argument von buys ist ein fall von CognitiveAgent %n{nicht}
(domain buys 2 AutonomousAgent)	Mid-level-ontology.kif 29984-29984	Die Zahl 2 Argument von buys ist ein fall von AutonomousAgent %n{nicht}
(domain buys 3 Entity)	Mid-level-ontology.kif 29985-29985	Die Zahl 3 Argument von buys ist ein fall von Entity %n{nicht}
(instance buys TernaryPredicate)	Mid-level-ontology.kif 29974-29974	buys ist ein fall von TernaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage buys "%1 buys %3 从 %2")	domainEnglishFormat.kif 2946-2946
(format ChineseTraditionalLanguage buys "%1 buys %3 從 %2")	domainEnglishFormat.kif 2945-2945
(format EnglishLanguage buys "%1 buys %3 from %2")	domainEnglishFormat.kif 2944-2944
(termFormat EnglishLanguage buys "buys")	Mid-level-ontology.kif 29977-29977

antecedent

(=> (and (buys ?CUST ?AGENT ?ITEM) (instance ?ITEM Physical)) (exists (?TRANS) (and (instance ?TRANS Buying) (patient ?TRANS ?ITEM) (agent ?TRANS ?CUST) (origin ?TRANS ?AGENT))))	Mid-level-ontology.kif 29987-29996	Wenn buys CognitiveAgent, AutonomousAgent and Entity und Entity ist ein fall von Physical %n{nicht}, dann es gibt Process um Process ist ein fall von Buying %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Process beginnet an AutonomousAgent %n{nicht}
(=> (and (buys ?CUST ?AGENT ?ITEM) (instance ?ITEM Proposition)) (exists (?TRANS ?PROC) (and (agent ?TRANS ?CUST) (realization ?PROC ?ITEM) (instance ?TRANS Buying) (patient ?TRANS ?PROC) (origin ?TRANS ?AGENT))))	Mid-level-ontology.kif 29998-30008	Wenn buys CognitiveAgent, AutonomousAgent and Proposition und Proposition ist ein fall von Proposition %n{nicht}, dann es gibt Process und Process um Process ist der agent von CognitiveAgent %n{nicht} und Process druekt den Inhalt von Proposition aus und Process ist ein fall von Buying %n{nicht} und Process ist ein patient von Process %n{nicht} und Process beginnet an ** AutonomousAgent %n{nicht}
(=> (and (offers ?HOTEL ?MP) (instance ?MP MealPlan) (includedMeal ?MP ?ATTR) (attribute ?HOTEL TravelerAccommodation) (guest ?GUEST ?HOTEL) (buys ?GUEST ?HOTEL ?MP)) (holdsDuring (WhenFn (guest ?GUEST ?HOTEL)) (exists (?TI) (holdsDuring ?TI (exists (?MEAL) (and (attribute ?MEAL ?ATTR) (hasPurpose ?MEAL (exists (?E) (and (instance ?E Eating) (agent ?E ?GUEST) (patient ?E ?MEAL))))))))))	Hotel.kif 1558-1578	Wenn offers AutonomousAgent and MealPlan und MealPlan ist ein fall von MealPlan %n{nicht} und includedMeal MealPlan and RelationalAttribute und TravelerAccommodation ist ein attribut von AutonomousAgent %n{nicht} und guest CognitiveAgent and AutonomousAgent und buys CognitiveAgent, AutonomousAgent and MealPlan, dann es gibt entity um es gibt entity um RelationalAttribute ist ein attribut von entity %n{nicht} und entity hat Zweck von es gibt entity um entity ist ein fall von Eating %n{nicht} und entity ist der agent von CognitiveAgent %n{nicht} und entity ist ein patient von entity %n{nicht} %n{nicht} haelt waehrend entity %n{nicht} haelt waehrend die zeit des Bestehens von guest CognitiveAgent and AutonomousAgent %n{nicht}
(=> (and (propositionOwner ?AGENT ?HP) (instance ?HP HotelPackage) (accommodationProvider ?HP ?HOTEL) (roomStay ?HP ?NUM ?ROOM) (instance ?R ?ROOM) (element ?R (PropertyFn ?HOTEL)) (buys ?CUST ?AGENT ?HP)) (exists (?TI) (and (equal ?TI (MeasureFn ?NUM DayDuration)) (holdsDuring ?TI (guest ?CUST ?HOTEL)))))	Hotel.kif 2744-2757	Wenn propositionOwner CognitiveAgent and HotelPackage und HotelPackage ist ein fall von HotelPackage %n{nicht} und accommodationProvider HotelPackage and Organization und roomStay HotelPackage, Integer and HotelUnit und Entity ist ein fall von HotelUnit %n{nicht} und Entity ist ein element von eigentum von Organization %n{nicht} und buys CognitiveAgent, CognitiveAgent and HotelPackage, dann es gibt TimePosition um TimePosition ist gleich Integer DayDuration(s) %n{nicht} und guest CognitiveAgent and Organization haelt waehrend TimePosition %n{nicht}

consequent

(=> (instance ?AN PurchaseOrderNumber) (exists (?PO ?BUYER ?SELLER ?ENT) (and (instance ?PO PurchaseOrder) (buys ?BUYER ?SELLER ?ENT) (uniqueIdWithRespectTo ?PO ?BUYER ?AN))))	Mid-level-ontology.kif 30038-30044	Wenn SymbolicString ist ein fall von PurchaseOrderNumber %n{nicht}, dann es gibt Physical, CognitiveAgent,, , AutonomousAgent, and und Entity um Physical ist ein fall von PurchaseOrder %n{nicht} und buys CognitiveAgent, AutonomousAgent and Entity und uniqueIdWithRespectTo Physical, CognitiveAgent and ** SymbolicString
(=> (instance ?INVOICE Invoice) (exists (?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT) (and (uniqueIdentifier ?NUMBER ?INVOICE) (buys ?BUYER ?SELLER ?ENT) (confersRight (exists (?SELLING) (and (before (BeginFn (WhenFn ?INVOICE)) (BeginFn (WhenFn ?SELLING))) (instance ?SELLING Selling) (instance ?PRODUCT Product) (objectTransferred ?SELLING ?PRODUCT) (refers ?INVOICE ?PRODUCT) (agent ?SELLING ?SELLER) (patient ?SELLING ?BUYER))) ?SELLER ?BUYER))))	Mid-level-ontology.kif 29892-29912	Wenn Entity ist ein fall von Invoice %n{nicht}, dann es gibt SymbolicString, CognitiveAgent,, , AutonomousAgent,, , Entity, and und entity um der einzigartige bezeichner von SymbolicString ist Entity und buys CognitiveAgent, AutonomousAgent and Entity und AutonomousAgent erlaubt CognitiveAgent, die Aufgabe der Art von es gibt entity um der anfang von die zeit des Bestehens von Entity geschieht vor der anfang von die zeit des Bestehens von entity %n{nicht} und entity ist ein fall von Selling %n{nicht} und entity ist ein fall von Product %n{nicht} und objectTransferred entity and entity und Entity umfasst einen hinweis auf entity und entity ist der agent von AutonomousAgent %n{nicht} und CognitiveAgent ist ein patient von ** entity %n{nicht} durchzuf�hren %n{nicht}
(=> (instance ?PO PurchaseOrder) (exists (?NUMBER ?BUYER ?SELLER ?PRODUCT) (and (uniqueIdentifier ?NUMBER ?PO) (buys ?BUYER ?SELLER ?PRODUCT) (confersObligation (exists (?BUYING) (and (before (BeginFn (WhenFn ?PO)) (BeginFn (WhenFn ?BUYING))) (instance ?BUYING Buying) (instance ?PRODUCT Product) (objectTransferred ?BUYING ?PRODUCT) (refers ?PO ?PRODUCT) (agent ?BUYING ?BUYER) (patient ?BUYING ?SELLER))) ?BUYER ?SELLER))))	Mid-level-ontology.kif 29919-29939	Wenn Entity ist ein fall von PurchaseOrder %n{nicht}, dann es gibt SymbolicString, CognitiveAgent,, , CognitiveAgent, and und Entity um der einzigartige bezeichner von SymbolicString ist Entity und buys CognitiveAgent, CognitiveAgent and Entity und CognitiveAgent zwingt CognitiveAgent, die Aufgabe der Art von es gibt entity um der anfang von die zeit des Bestehens von Entity geschieht vor der anfang von die zeit des Bestehens von entity %n{nicht} und entity ist ein fall von Buying %n{nicht} und Entity ist ein fall von Product %n{nicht} und objectTransferred entity and Entity und Entity umfasst einen hinweis auf Entity und entity ist der agent von CognitiveAgent %n{nicht} und CognitiveAgent ist ein patient von entity %n{nicht} durchzuf�hren %n{nicht}

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