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 29951-29952
(
domain
buys
1
CognitiveAgent
)
Mid-level-ontology.kif 29959-29959
Le nombre 1 argument de
buys
est une
instance
de
agent cognitif
(
domain
buys
2
AutonomousAgent
)
Mid-level-ontology.kif 29960-29960
Le nombre 2 argument de
buys
est une
instance
de
AutonomousAgent
(
domain
buys
3
Entity
)
Mid-level-ontology.kif 29961-29961
Le nombre 3 argument de
buys
est une
instance
de
entit�
(
instance
buys
TernaryPredicate
)
Mid-level-ontology.kif 29950-29950
buys
est une
instance
de
pr�dicat ternaire
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 29953-29953
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 29963-29972
buys
agent cognitif
,
AutonomousAgent
and
entit�
entit�
est une
instance
de
physique
processus
processus
est une
instance
de
acheter
entit�
est un
patient
de
processus
processus
est un
agent
de
agent cognitif
processus
a pour
origine
AutonomousAgent
(=>
(
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 29974-29984
buys
agent cognitif
,
AutonomousAgent
and
proposition
proposition
est une
instance
de
proposition
processus
processus
processus
est un
agent
de
agent cognitif
processus
exprime
le contenu de
proposition
processus
est une
instance
de
acheter
processus
est un
patient
de
processus
processus
a pour
origine
AutonomousAgent
(=>
(
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
offers
AutonomousAgent
and
MealPlan
MealPlan
est une
instance
de
MealPlan
includedMeal
MealPlan
and
attribut relationnel
TravelerAccommodation
est un
attribut
de
AutonomousAgent
guest
agent cognitif
and
AutonomousAgent
buys
agent cognitif
,
AutonomousAgent
and
MealPlan
entit�
entit�
attribut relationnel
est un
attribut
de
entit�
entit�
a pour
but
entit�
entit�
est une
instance
de
manger
entit�
est un
agent
de
agent cognitif
entit�
est un
patient
de
entit�
pendant
entit�
pendant
temps
d'existence de
guest
agent cognitif
and
AutonomousAgent
(=>
(
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
propositionOwner
agent cognitif
and
HotelPackage
HotelPackage
est une
instance
de
HotelPackage
accommodationProvider
HotelPackage
and
organisation
roomStay
HotelPackage
,
nombre entier
and
HotelUnit
entit�
est une
instance
de
HotelUnit
entit�
est un
appartenir
�
organisation
buys
agent cognitif
,
agent cognitif
and
HotelPackage
position temporel
position temporel
est
nombre entier
DayDuration
(s)
guest
agent cognitif
and
organisation
pendant
position temporel
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 30014-30020
Cha�ne sympbolique
est une
instance
de
PurchaseOrderNumber
physique
agent cognitif
,
AutonomousAgent
and
entit�
physique
est une
instance
de
PurchaseOrder
buys
agent cognitif
,
AutonomousAgent
and
entit�
uniqueIdWithRespectTo
physique
,
agent cognitif
and
cha�ne sympbolique
(=>
(
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 29868-29888
Entit�
est une
instance
de
Invoice
cha�ne sympbolique
agent cognitif
,
AutonomousAgent
,
entit�
and
entit�
l'
unique
identifier de
cha�ne sympbolique
est
entit�
buys
agent cognitif
,
AutonomousAgent
and
entit�
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
entit�
est une
instance
de
vendre
entit�
est une
instance
de
produit
objectTransferred
entit�
and
entit�
entit�
inclut une
r
�f�rence �
entit�
entit�
est un
agent
de
AutonomousAgent
agent cognitif
est un
patient
de
entit�
(=>
(
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 29895-29915
Entit�
est une
instance
de
PurchaseOrder
cha�ne sympbolique
agent cognitif
,
agent cognitif
and
entit�
l'
unique
identifier de
cha�ne sympbolique
est
entit�
buys
agent cognitif
,
agent cognitif
and
entit�
agent cognitif
oblige
agent cognitif
� ex�cut� des t�ches du type
entit�
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
entit�
est une
instance
de
acheter
entit�
est une
instance
de
produit
objectTransferred
entit�
and
entit�
entit�
inclut une
r
�f�rence �
entit�
entit�
est un
agent
de
agent cognitif
agent cognitif
est un
patient
de
entit�
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