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
catalogItem
Sigma KEE - catalogItem
catalogItem
appearance as argument number 1
(
documentation
catalogItem
EnglishLanguage
"(
catalogItem
?OBJ ?CATALOG) means that an instance of ?OBJ is a member of ?CATALOG")
Catalog.kif 46-47
(
domain
catalogItem
2
Catalog
)
Catalog.kif 49-49
Le nombre 2 argument de
catalogItem
est une
instance
de
Catalog
(
domainSubclass
catalogItem
1
Entity
)
Catalog.kif 48-48
Le nombre 1 argument de
catalogItem
est une
sous
-classe de
entit�
(
instance
catalogItem
BinaryPredicate
)
Catalog.kif 44-44
catalogItem
est une
instance
de
pr�dicat binaire
(
instance
catalogItem
PartialValuedRelation
)
Catalog.kif 45-45
catalogItem
est une
instance
de
relation partielle
appearance as argument number 2
(
format
ChineseLanguage
catalogItem
"%1 是在 %2 ")
domainEnglishFormat.kif 2966-2966
(
format
ChineseTraditionalLanguage
catalogItem
"%1 是在 %2 ")
domainEnglishFormat.kif 2965-2965
(
format
EnglishLanguage
catalogItem
"%1 is in %2")
domainEnglishFormat.kif 2964-2964
(
termFormat
EnglishLanguage
catalogItem
"catalog item")
domainEnglishFormat.kif 65790-65790
antecedent
(=>
(
and
(
instance
?MENU
AlcoholMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
AlcoholicBeverage
))
Dining.kif 219-223
Catalog
est une
instance
de
AlcoholMenu
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
AlcoholicBeverage
(=>
(
and
(
instance
?MENU
BeverageMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
Beverage
))
Dining.kif 208-212
Catalog
est une
instance
de
BeverageMenu
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
boisson
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
Catalog
est une
instance
de
Menu
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
FoodForFn
humain
(=>
(
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
est une
instance
de
SetMenu
offers
AutonomousAgent
and
Catalog
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
PreparedFood
physique
est une
instance
de
classe
physique
est une
instance
de
entit�
physique
est
physique
price
physique
,
mesure de devise
and
AutonomousAgent
price
physique
,
mesure de devise
and
AutonomousAgent
mesure de devise
est
mesure de devise
(=>
(
and
(
instance
?MENU
WineMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
WineMenu
))
Dining.kif 229-233
Catalog
est une
instance
de
WineMenu
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
WineMenu
(=>
(
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
entit�
and
Catalog
entit�
est une
sous
-classe de
objet
processus
est une
instance
de
processus
processus
est une
sous
-classe de
processus
entit�
est une
instance
de
entit�
entit�
est un
patient
de
processus
AutonomousAgent
est
capable
de faire
processus
dans le r�le
agent
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
))
(
capability
?CLASS
agent
?AGENT))
Catalog.kif 88-93
offers
AutonomousAgent
and
Catalog
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
processus
AutonomousAgent
est
capable
de faire
entit�
dans le r�le
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
entit�
and
Catalog
entit�
est une
sous
-classe de
physique
l'argument
entit�
entit�
entit�
est une
instance
de
entit�
entit�
est une
instance
de
vendre
entit�
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
entit�
a la
force
modale
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
entit�
and
Catalog
entit�
est une
sous
-classe de
proposition
l'argument
entit�
entit�
and
entit�
entit�
est une
instance
de
entit�
entit�
exprime
le contenu de
entit�
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
est un
agent
de
AutonomousAgent
a la
force
modale
de
Possibility
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINSTANCE ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINSTANCE ?OBJ)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?PROCESS
agent
?AGENT ?TIME))
Catalog.kif 139-150
offersAtTime
AutonomousAgent
,
Catalog
and
interval temporel
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
objet
processus
est une
instance
de
processus
processus
est une
sous
-classe de
processus
entit�
est une
instance
de
entit�
entit�
est un
patient
de
processus
interval temporel
est une
instance
de
interval temporel
interval temporel
est une
sous
-classe de
interval temporel
capabilityDuring
processus
,
agent
,
AutonomousAgent
and
interval temporel
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?CLASS
agent
?AGENT ?TIME))
Catalog.kif 130-137
offersAtTime
AutonomousAgent
,
Catalog
and
interval temporel
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
processus
interval temporel
est une
instance
de
interval temporel
interval temporel
est une
sous
-classe de
interval temporel
capabilityDuring
entit�
,
agent
,
AutonomousAgent
and
interval temporel
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