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
Die Zahl 1 Argument von
offers
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
offers
2
Abstract
)
Catalog.kif 83-83
Die Zahl 2 Argument von
offers
ist ein
fall
von
Abstract
%n{nicht}
(
instance
offers
BinaryPredicate
)
Catalog.kif 81-81
offers
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
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
(
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
Wenn
offers
AutonomousAgent
and
Abstract
und
** Abstract
ist ein
fall
von
Attribute
%n{nicht},
dann die Aussage es gibt
entity
und
** entity
um
** ** entity
ist ein
fall
von
Selling
%n{nicht} und
** Abstract
ist ein
attribut
von
** entity
%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
(
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
(
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
Wenn
offers
AutonomousAgent
and
MealPlan
und
** MealPlan
ist ein
fall
von
MealPlan
%n{nicht} und
includedMeal
** MealPlan
and
RelationalAttribute
und
TravelerAccommodation
ist ein
attribut
von
** AutonomousAgent
%n{nicht} und
guest
CognitiveAgent
and
** AutonomousAgent
und
buys
** CognitiveAgent
,
** AutonomousAgent
and
** MealPlan
,
dann es gibt
entity
um es gibt
** entity
um
** RelationalAttribute
ist ein
attribut
von
** ** entity
%n{nicht} und
** ** entity
hat Zweck von es gibt
** entity
um
** ** entity
ist ein
fall
von
Eating
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} %n{nicht} haelt
waehrend
** entity
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
guest
** CognitiveAgent
and
** AutonomousAgent
%n{nicht}
consequent
(=>
(
and
(
offersAtTime
?AGENT ?ATTR ?TIMEINT)
(
instance
?ATTR
Attribute
))
(
holdsDuring
?TIMEINT
(
offers
?AGENT ?ATTR)))
Catalog.kif 152-157
Wenn
offersAtTime
AutonomousAgent
,
Entity
and
TimeInterval
und
** Entity
ist ein
fall
von
Attribute
%n{nicht},
dann
offers
** AutonomousAgent
and
** Entity
haelt
waehrend
** TimeInterval
%n{nicht}
(=>
(
instance
?CATALOG
Catalog
)
(
exists
(?X)
(
and
(
instance
?X
AutonomousAgent
)
(
offers
?X ?CATALOG))))
Catalog.kif 36-41
Wenn
Abstract
ist ein
fall
von
Catalog
%n{nicht},
dann es gibt
AutonomousAgent
um
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
offers
** AutonomousAgent
and
** Abstract
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