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
( ! [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
( ! [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
( ! [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

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


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