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
offers
Sigma KEE - offers
offers
appearance as argument number 1
(
documentation
offers
EnglishLanguage
"(
offers
?AGENT ?CATALOG) means that ?AGENT offers items of ?CATALOG to its customers")
Catalog.kif 79-80
(
domain
offers
1
AutonomousAgent
)
Catalog.kif 82-82
O argumento numero 1 de
offers
e' uma
instancia
de
AutonomousAgent
(
domain
offers
2
Abstract
)
Catalog.kif 83-83
O argumento numero 2 de
offers
e' uma
instancia
de
Abstrato
(
instance
offers
BinaryPredicate
)
Catalog.kif 81-81
offers
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
(
format
ChineseLanguage
offers
"%1
offers
拍卖样品在 %2 ")
domainEnglishFormat.kif 4014-4014
(
format
ChineseTraditionalLanguage
offers
"%1
offers
拍賣樣品在 %2 ")
domainEnglishFormat.kif 4013-4013
(
format
EnglishLanguage
offers
"%1
offers
items for sale in %2")
domainEnglishFormat.kif 4012-4012
(
termFormat
EnglishLanguage
offers
"offers")
Catalog.kif 84-84
antecedent
(=>
(
and
(
instance
?MENU
SetMenu
)
(
offers
?AGENT ?MENU)
(
catalogItem
?CLASS ?MENU)
(
subclass
?CLASS
PreparedFood
)
(
instance
?X ?VLASS)
(
instance
?Y ?CLASS)
(
not
(
equal
?X ?Y))
(
price
?X ?PRICE1 ?AGENT1)
(
price
?Y ?PRICE2 ?AGENT2))
(
equal
?PRICE1 ?PRICE2))
Dining.kif 189-201
Catalog
e' uma
instancia
de
SetMenu
offers
AutonomousAgent
and
Catalog
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
PreparedFood
Fisico
e' uma
instancia
de
Classe
Fisico
e' uma
instancia
de
Entidade
Fisico
e'
igual
a
Fisico
price
Fisico
,
Medida de Divisa
and
AutonomousAgent
price
Fisico
,
Medida de Divisa
and
AutonomousAgent
Medida de Divisa
e'
igual
a
Medida de Divisa
(=>
(
and
(
offers
?AGENT ?ATTR)
(
instance
?ATTR
Attribute
))
(
modalAttribute
(
exists
(?OBJ ?SELL)
(
and
(
instance
?SELL
Selling
)
(
attribute
?OBJ ?ATTR)
(
patient
?SELL ?OBJ)
(
agent
?SELL ?AGENT)))
Possibility
))
Catalog.kif 109-119
offers
AutonomousAgent
and
Abstrato
Abstrato
e' uma
instancia
de
Atributo
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Vender
Abstrato
e' um
atributo
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
AutonomousAgent
tem a
forca
modal
de
Possibility
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINST ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINST ?OBJ))
(
capability
?PROCESS
agent
?AGENT))
Catalog.kif 98-107
offers
AutonomousAgent
and
Catalog
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
Objeto
Processo
e' uma
instancia
de
Processo
Processo
e' uma
sub
-classe de
Processo
Entidade
e' uma
instancia
de
Entidade
Entidade
e' um
patient
de
Processo
AutonomousAgent
e'
capaz
de fazer
Processo
no role
agent
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
))
(
capability
?CLASS
agent
?AGENT))
Catalog.kif 88-93
offers
AutonomousAgent
and
Catalog
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
Processo
AutonomousAgent
e'
capaz
de fazer
Entidade
no role
agent
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?OBJ ?CATALOG)
(
subclass
?OBJ
Physical
))
(
modalAttribute
(
exists
(?S ?X)
(
and
(
instance
?X ?OBJ)
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?X)))
Possibility
))
Catalog.kif 51-62
offers
AutonomousAgent
and
Catalog
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
Fisico
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?PROP ?CATALOG)
(
subclass
?PROP
Proposition
))
(
modalAttribute
(
exists
(?P ?S ?X)
(
and
(
instance
?P ?PROP)
(
realization
?X ?P)
(
instance
?S
Selling
)
(
patient
?S ?X)
(
agent
?S ?AGENT)))
Possibility
))
Catalog.kif 64-76
offers
AutonomousAgent
and
Catalog
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
Proposicao
o argumento
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Entidade
Entidade
exprime
o conteudo de
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
AutonomousAgent
tem a
forca
modal
de
Possibility
(=>
(
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
consequent
(=>
(
and
(
offersAtTime
?AGENT ?ATTR ?TIMEINT)
(
instance
?ATTR
Attribute
))
(
holdsDuring
?TIMEINT
(
offers
?AGENT ?ATTR)))
Catalog.kif 152-157
offersAtTime
AutonomousAgent
,
Entidade
and
Intervalo Temporal
Entidade
e' uma
instancia
de
Atributo
offers
AutonomousAgent
and
Entidade
vale
durante
Intervalo Temporal
(=>
(
instance
?CATALOG
Catalog
)
(
exists
(?X)
(
and
(
instance
?X
AutonomousAgent
)
(
offers
?X ?CATALOG))))
Catalog.kif 36-41
Abstrato
e' uma
instancia
de
Catalog
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
offers
AutonomousAgent
and
Abstrato
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