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
O argumento numero 1 de
buys
e' uma
instancia
de
Agente Cognitivo
(
domain
buys
2
AutonomousAgent
)
Mid-level-ontology.kif 29948-29948
O argumento numero 2 de
buys
e' uma
instancia
de
AutonomousAgent
(
domain
buys
3
Entity
)
Mid-level-ontology.kif 29949-29949
O argumento numero 3 de
buys
e' uma
instancia
de
Entidade
(
instance
buys
TernaryPredicate
)
Mid-level-ontology.kif 29938-29938
buys
e' uma
instancia
de
Predicado Ternario
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
buys
Agente Cognitivo
,
AutonomousAgent
and
Entidade
Entidade
e' uma
instancia
de
Fisico
Processo
Processo
e' uma
instancia
de
Comprar
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
Processo
tem como
origem
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 29962-29972
buys
Agente Cognitivo
,
AutonomousAgent
and
Proposicao
Proposicao
e' uma
instancia
de
Proposicao
Processo
Processo
Processo
e' um
agente
de
Agente Cognitivo
Processo
exprime
o conteudo de
Proposicao
Processo
e' uma
instancia
de
Comprar
Processo
e' um
patient
de
Processo
Processo
tem como
origem
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
e' uma
instancia
de
MealPlan
includedMeal
MealPlan
and
Atributo Relacional
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
guest
Agente Cognitivo
and
AutonomousAgent
buys
Agente Cognitivo
,
AutonomousAgent
and
MealPlan
Entidade
Entidade
Atributo Relacional
e' um
atributo
de
Entidade
Entidade
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
vale
durante
Entidade
vale
durante
tempo
de existencia de
guest
Agente Cognitivo
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
Agente Cognitivo
and
HotelPackage
HotelPackage
e' uma
instancia
de
HotelPackage
accommodationProvider
HotelPackage
and
Organizacao
roomStay
HotelPackage
,
Numero Inteiro
and
HotelUnit
Entidade
e' uma
instancia
de
HotelUnit
Entidade
e' um
elemento
de
propriedade
de
Organizacao
buys
Agente Cognitivo
,
Agente Cognitivo
and
HotelPackage
Posicao Temporal
Posicao Temporal
e'
igual
a
Numero Inteiro
DayDuration
(s)
guest
Agente Cognitivo
and
Organizacao
vale
durante
Posicao Temporal
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
Sequencia Simbolica
e' uma
instancia
de
PurchaseOrderNumber
Fisico
Agente Cognitivo
,
AutonomousAgent
and
Entidade
Fisico
e' uma
instancia
de
PurchaseOrder
buys
Agente Cognitivo
,
AutonomousAgent
and
Entidade
uniqueIdWithRespectTo
Fisico
,
Agente Cognitivo
and
Sequencia Simbolica
(=>
(
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
Entidade
e' uma
instancia
de
Invoice
Sequencia Simbolica
Agente Cognitivo
,
AutonomousAgent
,
Entidade
and
Entidade
o
identificador
unico de
Sequencia Simbolica
e'
Entidade
buys
Agente Cognitivo
,
AutonomousAgent
and
Entidade
AutonomousAgent
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
Produto
objectTransferred
Entidade
and
Entidade
Entidade
inclui uma
referencia
a
Entidade
Entidade
e' um
agente
de
AutonomousAgent
Agente Cognitivo
e' um
patient
de
Entidade
(=>
(
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
Entidade
e' uma
instancia
de
PurchaseOrder
Sequencia Simbolica
Agente Cognitivo
,
Agente Cognitivo
and
Entidade
o
identificador
unico de
Sequencia Simbolica
e'
Entidade
buys
Agente Cognitivo
,
Agente Cognitivo
and
Entidade
Agente Cognitivo
obriga
Agente Cognitivo
a executar tarefas de tipo
Entidade
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' uma
instancia
de
Produto
objectTransferred
Entidade
and
Entidade
Entidade
inclui uma
referencia
a
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
e' um
patient
de
Entidade
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