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

s__documentation(s__buys__m,s__EnglishLanguage,'(buys ?CUST ?AGENT ?ENT) means that Agent ?CUST performs Buying of Entity ?ENT from Agent ?AGENT')	Mid-level-ontology.kif 27680-27681
s__domain(s__buys__m,1,s__CognitiveAgent)	Mid-level-ontology.kif 27684-27684	The number 1 argument of buys is an instance of cognitive agent
s__domain(s__buys__m,2,s__CognitiveAgent)	Mid-level-ontology.kif 27685-27685	The number 2 argument of buys is an instance of cognitive agent
s__domain(s__buys__m,3,s__Entity)	Mid-level-ontology.kif 27686-27686	The number 3 argument of buys is an instance of entity
s__instance(s__buys__m,s__TernaryPredicate) s__instance(s__TernaryPredicate,s__SetOrClass)	Mid-level-ontology.kif 27679-27679	buys is an instance of ternary predicate

appearance as argument number 2

s__format(s__EnglishLanguage,s__buys__m,'%1 buys %3 from %2')	domainEnglishFormat.kif 745-745
s__termFormat(s__EnglishLanguage,s__buys__m,'buys')	Mid-level-ontology.kif 27682-27682	"buys" is the printable form of buys in english language

antecedent

( ! [V__CUST,V__AGENT,V__ITEM] : ((s__buys(V__CUST,V__AGENT,V__ITEM) & s__instance(V__ITEM,s__Physical)) => (? [V__TRANS] : (s__instance(V__TRANS,s__Buying) & s__patient(V__TRANS,V__ITEM) & s__agent(V__TRANS,V__CUST) & s__origin(V__TRANS,V__AGENT)))) )	Mid-level-ontology.kif 27688-27697	If ?CUST buys ?ITEM from ?AGENT and ?ITEM is an instance of physical, then there exists ?TRANS such that ?TRANS is an instance of buying and ?ITEM is a patient of ?TRANS and ?CUST is an agent of ?TRANS and ?TRANS originates at ?AGENT
( ! [V__CUST,V__AGENT,V__ITEM] : ((s__buys(V__CUST,V__AGENT,V__ITEM) & s__instance(V__ITEM,s__Proposition)) => (? [V__TRANS,V__PROC] : (s__realization(V__PROC,V__ITEM) & s__instance(V__TRANS,s__Buying) & s__patient(V__TRANS,V__PROC) & s__origin(V__TRANS,V__AGENT)))) )	Mid-level-ontology.kif 27699-27708	If ?CUST buys ?ITEM from ?AGENT and ?ITEM is an instance of proposition, then there exist ?TRANS and ?PROC such that ?PROC expresses the content of ?ITEM and ?TRANS is an instance of buying and ?PROC is a patient of ?TRANS and ?TRANS originates at ?AGENT
( ! [V__HOTEL,V__MP,V__ATTR,V__GUEST] : ((s__offers(V__HOTEL,V__MP) & s__instance(V__MP,s__MealPlan) & s__includedMeal(V__MP,V__ATTR) & s__attribute(V__HOTEL,s__TravelerAccommodation) & s__guest(V__GUEST,V__HOTEL) & s__buys(V__GUEST,V__HOTEL,V__MP)) => s__holdsDuring(s__WhenFn('s__guest(V__GUEST,V__HOTEL)') ,'(? [V__TI] : s__holdsDuring(V__TI,(? [V__MEAL] : (s__attribute(V__MEAL,V__ATTR) & s__hasPurpose(V__MEAL,(? [V__E] : (s__instance(V__E,s__Eating) & s__agent(V__E,V__GUEST) & s__patient(V__E,V__MEAL))))))))')) )	Hotel.kif 1502-1522	If ?HOTEL offers items for sale in ?MP and ?MP is an instance of meal plan and meals of type ?ATTR are includes in ?MP and traveler accommodation is an attribute of ?HOTEL and ?GUEST is a guest at ?HOTEL and ?GUEST buys ?MP from ?HOTEL, then there exists ?TI such that there exists ?MEAL such that ?ATTR is an attribute of ?MEAL and ?MEAL has purpose there exists ?E such that ?E is an instance of eating and ?GUEST is an agent of ?E and ?MEAL is a patient of ?E holds during ?TI holds during the time of existence of ?GUEST is a guest at ?HOTEL
( ! [V__HP,V__AGENT,V__HOTEL,V__NUM,V__ROOM,V__CUST] : ((s__propositionOwner(V__HP,V__AGENT) & s__instance(V__HP,s__HotelPackage) & s__accommodationProvider(V__HP,V__HOTEL) & s__roomStay(V__HP,V__NUM,V__ROOM) & s__buys(V__CUST,V__AGENT,V__HP)) => (? [V__TI] : ((V__TI = s__MeasureFn(V__NUM,s__DayDuration)) & s__holdsDuring(V__TI,'s__guest(V__CUST,V__HOTEL)')))) )	Hotel.kif 2682-2693	If ?HP authored ?AGENT and ?HP is an instance of hotel package and ?HOTEL provides ?HP and ?HP specifies ?NUM days stay at ?ROOM and ?CUST buys ?HP from ?AGENT, then there exists ?TI such that ?TI is equal to ?NUM day duration(s) and ?CUST is a guest at ?HOTEL holds during ?TI

consequent

( ! [V__AN] : (s__instance(V__AN,s__PurchaseOrderNumber) => (? [V__PO,V__BUYER,V__NUMBER,V__SELLER,V__ENT] : (s__instance(V__PO,s__PurchaseOrder) & s__buys(V__BUYER,V__SELLER,V__ENT) & s__instance(V__NUMBER,s__SymbolicString) & s__uniqueIdWithRespectTo(V__PO,V__BUYER,V__NUMBER)))) )	Mid-level-ontology.kif 27734-27741	If ?AN is an instance of PurchaseOrderNumber, then there exist ?PO, ?BUYER,, , ?NUMBER,, , ?SELLER and ?ENT such that ?PO is an instance of PurchaseOrder and ?BUYER buys ?ENT from ?SELLER and ?NUMBER is an instance of symbolic string and ?NUMBER is a unique ID for ?BUYER with respect to ?PO
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27601-27621	If ?INVOICE is an instance of Invoice, then there exist ?NUMBER, ?BUYER,, , ?SELLER and ?ENT such that the unique identifier of ?NUMBER is ?INVOICE and ?BUYER buys ?ENT from ?SELLER and ?SELLER allows ?BUYER to perform task of the type there exists ?SELLING such that the beginning of the time of existence of ?INVOICE happens before the beginning of the time of existence of ?SELLING and ?SELLING is an instance of selling and ?PRODUCT is an instance of product and the object transferred in ?SELLING is ?PRODUCT and ?INVOICE includes a reference to ?PRODUCT and ?SELLER is an agent of ?SELLING and ?BUYER is a patient of ?SELLING
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27626-27646	If ?PO is an instance of PurchaseOrder, then there exist ?NUMBER, ?BUYER and ?SELLER such that the unique identifier of ?NUMBER is ?PO and ?BUYER buys ?ENT from ?SELLER and ?BUYER obligates ?SELLER to perform task of the type there exists ?BUYING such that the beginning of the time of existence of ?PO happens before the beginning of the time of existence of ?BUYING and ?BUYING is an instance of buying and ?PRODUCT is an instance of product and the object transferred in ?BUYING is ?PRODUCT and ?PO includes a reference to ?PRODUCT and ?BUYER is an agent of ?BUYING and ?SELLER is a patient of ?BUYING

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners