Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
buys
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 29939-29940
(
domain
buys
1
CognitiveAgent
)
Mid-level-ontology.kif 29947-29947
(
domain
buys
2
AutonomousAgent
)
Mid-level-ontology.kif 29948-29948
(
domain
buys
3
Entity
)
Mid-level-ontology.kif 29949-29949
(
instance
buys
TernaryPredicate
)
Mid-level-ontology.kif 29938-29938
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 29941-29941
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 29951-29960
(=>
(
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 29962-29972
(=>
(
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 30002-30008
(=>
(
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 29856-29876
(=>
(
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 29883-29903
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