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
Die Zahl 2 Argument von
catalogItem
ist ein
fall
von
Catalog
%n{nicht}
(
domainSubclass
catalogItem
1
Entity
)
Catalog.kif 48-48
Die Zahl 1 Argument von
catalogItem
ist eine
teilkategorie
von
Entity
%n{nicht}
(
instance
catalogItem
BinaryPredicate
)
Catalog.kif 44-44
catalogItem
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
catalogItem
PartialValuedRelation
)
Catalog.kif 45-45
catalogItem
ist ein
fall
von
PartialValuedRelation
%n{nicht}
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
Wenn
Catalog
ist ein
fall
von
AlcoholMenu
%n{nicht} und
catalogItem
** Entity
and
** Catalog
,
dann
** Entity
ist eine
teilkategorie
von
AlcoholicBeverage
(=>
(
and
(
instance
?MENU
BeverageMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
Beverage
))
Dining.kif 208-212
Wenn
Catalog
ist ein
fall
von
BeverageMenu
%n{nicht} und
catalogItem
** Entity
and
** Catalog
,
dann
** Entity
ist eine
teilkategorie
von
Beverage
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
Wenn
Catalog
ist ein
fall
von
Menu
%n{nicht} und
catalogItem
** Entity
and
** Catalog
,
dann
** Entity
ist eine
teilkategorie
von
FoodForFn
Human
(=>
(
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
Wenn
Catalog
ist ein
fall
von
SetMenu
%n{nicht} und
offers
AutonomousAgent
and
** Catalog
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
PreparedFood
und
Physical
ist ein
fall
von
Class
%n{nicht} und
** Physical
ist ein
fall
von
** ** Entity
%n{nicht} und
** Physical
ist gleich
** ** Physical
nicht und
price
** Physical
,
CurrencyMeasure
and
** AutonomousAgent
und
price
** ** Physical
,
** CurrencyMeasure
and
** AutonomousAgent
,
dann
** CurrencyMeasure
ist gleich
** ** CurrencyMeasure
%n{nicht}
(=>
(
and
(
instance
?MENU
WineMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
WineMenu
))
Dining.kif 229-233
Wenn
Catalog
ist ein
fall
von
WineMenu
%n{nicht} und
catalogItem
** Entity
and
** Catalog
,
dann
** Entity
ist eine
teilkategorie
von
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
Wenn
offers
AutonomousAgent
and
Catalog
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
Object
und
Process
ist ein
fall
von
** ** Process
%n{nicht} und
** ** Process
ist eine
teilkategorie
von
Process
und
** Entity
ist ein
fall
von
** ** Entity
%n{nicht} und
** ** Entity
ist ein
patient
von
** Process
%n{nicht},
dann
** AutonomousAgent
ist faehig %n{nicht}, in der Rolle
agent
** ** ** Process
zu tun
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
))
(
capability
?CLASS
agent
?AGENT))
Catalog.kif 88-93
Wenn
offers
AutonomousAgent
and
Catalog
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
Process
,
dann
** AutonomousAgent
ist faehig %n{nicht}, in der Rolle
agent
** ** Entity
zu tun
(=>
(
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
Wenn
offers
AutonomousAgent
and
Catalog
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
Physical
,
dann die Aussage es gibt
** entity
und
** entity
um
** ** entity
ist ein
fall
von
** ** Entity
%n{nicht} und
** ** entity
ist ein
fall
von
Selling
%n{nicht} und
** ** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} hat die modale Kraft von
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
Wenn
offers
AutonomousAgent
and
Catalog
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
Proposition
,
dann die Aussage es gibt
** entity
,
** entity
, and und
** entity
um
** ** entity
ist ein
fall
von
** ** Entity
%n{nicht} und
** ** entity
druekt den Inhalt von
** ** entity
aus und
** ** entity
ist ein
fall
von
Selling
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} hat die modale Kraft von
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
Wenn
offersAtTime
AutonomousAgent
,
Catalog
and
TimeInterval
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
Object
und
Process
ist ein
fall
von
** ** Process
%n{nicht} und
** ** Process
ist eine
teilkategorie
von
Process
und
** Entity
ist ein
fall
von
** ** Entity
%n{nicht} und
** ** Entity
ist ein
patient
von
** Process
%n{nicht} und
** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist eine
teilkategorie
von
TimeInterval
,
dann
capabilityDuring
** ** ** Process
,
agent
,
** AutonomousAgent
and
** ** ** TimeInterval
(=>
(
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
Wenn
offersAtTime
AutonomousAgent
,
Catalog
and
TimeInterval
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
Process
und
** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist eine
teilkategorie
von
TimeInterval
,
dann
capabilityDuring
** ** Entity
,
agent
,
** AutonomousAgent
and
** ** ** TimeInterval
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