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
Il numero 1 argomenti di
buys
è un
istanza
di
AgenteCognitivo
(
domain
buys
2
AutonomousAgent
)
Mid-level-ontology.kif 29960-29960
Il numero 2 argomenti di
buys
è un
istanza
di
AutonomousAgent
(
domain
buys
3
Entity
)
Mid-level-ontology.kif 29961-29961
Il numero 3 argomenti di
buys
è un
istanza
di
Entit�
(
instance
buys
TernaryPredicate
)
Mid-level-ontology.kif 29950-29950
buys
è un'
istanza
di
PredicatoTernario
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
AgenteCognitivo
,
AutonomousAgent
and
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Processo
Processo
è un'
istanza
di
Acquistare
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AgenteCognitivo
Processo
si
originas in
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
AgenteCognitivo
,
AutonomousAgent
and
Proposizione
Proposizione
è un'
istanza
di
Proposizione
Processo
Processo
Processo
è un
agente
di
AgenteCognitivo
Processo
esprime
il contenuto di
Proposizione
Processo
è un'
istanza
di
Acquistare
Processo
è un
paziente
di
Processo
Processo
si
originas in
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
è un'
istanza
di
MealPlan
includedMeal
MealPlan
and
AttributoRelazionale
attribute
AutonomousAgent
and
TravelerAccommodation
guest
AgenteCognitivo
and
AutonomousAgent
buys
AgenteCognitivo
,
AutonomousAgent
and
MealPlan
Entit�
Entit�
attribute
Entit�
and
AttributoRelazionale
Entit�
ha
scopo
Entit�
Entit�
è un'
istanza
di
Mangiare
Entit�
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Entit�
vales
durante
Entit�
vales
durante
il
tempo
di esistenza di
guest
AgenteCognitivo
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
AgenteCognitivo
and
HotelPackage
HotelPackage
è un'
istanza
di
HotelPackage
accommodationProvider
HotelPackage
and
Organizzazione
roomStay
HotelPackage
,
NumeroIntero
and
HotelUnit
Entit�
è un'
istanza
di
HotelUnit
%è un
elemento
di %2
buys
AgenteCognitivo
,
AgenteCognitivo
and
HotelPackage
PosizioneTemporale
PosizioneTemporale
is
uguale
a
NumeroIntero
DayDuration
(s
guest
AgenteCognitivo
and
Organizzazione
vales
durante
PosizioneTemporale
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
Stringa
è un'
istanza
di
PurchaseOrderNumber
Entit�Concreta
AgenteCognitivo
,
AutonomousAgent
and
Entit�
Entit�Concreta
è un'
istanza
di
PurchaseOrder
buys
AgenteCognitivo
,
AutonomousAgent
and
Entit�
uniqueIdWithRespectTo
Entit�Concreta
,
AgenteCognitivo
and
Stringa
(=>
(
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�
è un'
istanza
di
Invoice
Stringa
AgenteCognitivo
,
AutonomousAgent
,
Entit�
and
Entit�
l'
identificatore
unico di
Stringa
è
Entit�
buys
AgenteCognitivo
,
AutonomousAgent
and
Entit�
AutonomousAgent
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un'
istanza
di
Prodotto
objectTransferred
Entit�
and
Entit�
Entit�
include un
riferimento
a
Entit�
Entit�
è un
agente
di
AutonomousAgent
AgenteCognitivo
è un
paziente
di
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�
è un'
istanza
di
PurchaseOrder
Stringa
AgenteCognitivo
,
AgenteCognitivo
and
Entit�
l'
identificatore
unico di
Stringa
è
Entit�
buys
AgenteCognitivo
,
AgenteCognitivo
and
Entit�
AgenteCognitivo
obbliga
AgenteCognitivo
a compiere il compito di tipo
Entit�
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
Acquistare
Entit�
è un'
istanza
di
Prodotto
objectTransferred
Entit�
and
Entit�
Entit�
include un
riferimento
a
Entit�
Entit�
è un
agente
di
AgenteCognitivo
AgenteCognitivo
è un
paziente
di
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