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
Il numero 2 argomenti di
catalogItem
è un
istanza
di
Catalog
(
domainSubclass
catalogItem
1
Entity
)
Catalog.kif 48-48
Il numero 1 argomento
catalogItem
è una
sottoclasse
di
Entit�
(
instance
catalogItem
BinaryPredicate
)
Catalog.kif 44-44
catalogItem
è un'
istanza
di
PredicatoBinario
(
instance
catalogItem
PartialValuedRelation
)
Catalog.kif 45-45
catalogItem
è un'
istanza
di
RelazioneAValoreParziale
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
è un'
istanza
di
AlcoholMenu
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
AlcoholicBeverage
(=>
(
and
(
instance
?MENU
BeverageMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
Beverage
))
Dining.kif 208-212
Catalog
è un'
istanza
di
BeverageMenu
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
Bevanda
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
Catalog
è un'
istanza
di
Menu
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
FoodForFn
Umano
(=>
(
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
è un'
istanza
di
SetMenu
offers
AutonomousAgent
and
Catalog
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
PreparedFood
Entit�Concreta
è un'
istanza
di
Classe
Entit�Concreta
è un'
istanza
di
Entit�
Entit�Concreta
is
uguale
a
Entit�Concreta
price
Entit�Concreta
,
MisuraMonetaria
and
AutonomousAgent
price
Entit�Concreta
,
MisuraMonetaria
and
AutonomousAgent
MisuraMonetaria
is
uguale
a
MisuraMonetaria
(=>
(
and
(
instance
?MENU
WineMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
WineMenu
))
Dining.kif 229-233
Catalog
è un'
istanza
di
WineMenu
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
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�
è una
sottoclasse
di
Oggetto
Processo
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Processo
Entit�
è un'
istanza
di
Entit�
Entit�
è un
paziente
di
Processo
AutonomousAgent
è
capace
di fare
Processo
nel ruolo
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�
è una
sottoclasse
di
Processo
AutonomousAgent
è
capace
di fare
Entit�
nel ruolo
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�
è una
sottoclasse
di
Entit�Concreta
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Entit�
ha il modello di forza di
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�
è una
sottoclasse
di
Proposizione
l'affermazione
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
esprime
il contenuto di
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AutonomousAgent
ha il modello di forza di
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
IntervalloTemporale
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
Oggetto
Processo
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Processo
Entit�
è un'
istanza
di
Entit�
Entit�
è un
paziente
di
Processo
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
IntervalloTemporale
capabilityDuring
Processo
,
agent
,
AutonomousAgent
and
IntervalloTemporale
(=>
(
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
IntervalloTemporale
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
Processo
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
IntervalloTemporale
capabilityDuring
Entit�
,
agent
,
AutonomousAgent
and
IntervalloTemporale
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