| 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 31589-31590 | |
| (domain buys 1 CognitiveAgent) | Mid-level-ontology.kif 31597-31597 | |
| (domain buys 2 AutonomousAgent) | Mid-level-ontology.kif 31598-31598 | |
| (domain buys 3 Entity) | Mid-level-ontology.kif 31599-31599 | |
| (instance buys TernaryPredicate) | Mid-level-ontology.kif 31588-31588 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage buys "%1 buys %3 从 %2") | domainEnglishFormat.kif 2942-2942 | |
| (format ChineseTraditionalLanguage buys "%1 buys %3 從 %2") | domainEnglishFormat.kif 2941-2941 | |
| (format EnglishLanguage buys "%1 buys %3 from %2") | domainEnglishFormat.kif 2940-2940 | |
| (termFormat EnglishLanguage buys "buys") | Mid-level-ontology.kif 31591-31591 |
| 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 31601-31610 | |
| (=> (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 31612-31622 | |
| (=> (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 | |
| (=> (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 |
| 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 31652-31658 | |
| (=> (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 31506-31526 | |
| (=> (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 31533-31553 |
|
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