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
域
offers
, 1 and
AutonomousAgent
(
domain
offers
2
Abstract
)
Catalog.kif 83-83
域
offers
, 2 and
Abstract
(
instance
offers
BinaryPredicate
)
Catalog.kif 81-81
例
offers
and
BinaryPredicate
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
and
SetMenu
AutonomousAgent
offers
拍賣樣品在
Catalog
Entity
是在
Catalog
子類
Entity
and
已準備食物
例
Physical
and
Class
例
Physical
and
Entity
等於
Physical
and
Physical
Physical
是 對於
AutonomousAgent
1 的
price
CurrencyMeasure
Physical
是 對於
AutonomousAgent
2 的
price
CurrencyMeasure
等於
CurrencyMeasure
and
CurrencyMeasure
(=>
(
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
AutonomousAgent
offers
拍賣樣品在
Abstract
例
Abstract
and
Attribute
模態屬性
entity
entity
例
entity
and
Selling
attribute
entity
and
Abstract
患者
entity
and
entity
agent
entity
and
AutonomousAgent
and
可能性
(=>
(
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
AutonomousAgent
offers
拍賣樣品在
Catalog
Entity
是在
Catalog
子類
Entity
and
Object
例
Process
and
Process
子類
Process
and
Process
例
Entity
and
Entity
患者
Process
and
Entity
能力
Process
,
agent
and
AutonomousAgent
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
))
(
capability
?CLASS
agent
?AGENT))
Catalog.kif 88-93
AutonomousAgent
offers
拍賣樣品在
Catalog
Entity
是在
Catalog
子類
Entity
and
Process
能力
Entity
,
agent
and
AutonomousAgent
(=>
(
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
AutonomousAgent
offers
拍賣樣品在
Catalog
Entity
是在
Catalog
子類
Entity
and
Physical
模態屬性
entity
entity
例
entity
and
Entity
例
entity
and
Selling
agent
entity
and
AutonomousAgent
患者
entity
and
entity
and
可能性
(=>
(
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
AutonomousAgent
offers
拍賣樣品在
Catalog
Entity
是在
Catalog
子類
Entity
and
Proposition
模態屬性
entity
entity
and
entity
例
entity
and
Entity
實現
entity
and
entity
例
entity
and
Selling
患者
entity
and
entity
agent
entity
and
AutonomousAgent
and
可能性
(=>
(
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
AutonomousAgent
offers
拍賣樣品在
MealPlan
例
MealPlan
and
MealPlan
類別
RelationalAttribute
的
meals
是包含在
MealPlan
attribute
AutonomousAgent
and
旅客住宿
CognitiveAgent
是在
AutonomousAgent
的
guest
CognitiveAgent
buys
MealPlan
從
AutonomousAgent
持有期間
何時
CognitiveAgent
是在
AutonomousAgent
的
guest
and
entity
持有期間
entity
and
entity
attribute
entity
and
RelationalAttribute
有目的
entity
and
entity
例
entity
and
Eating
agent
entity
and
CognitiveAgent
患者
entity
and
entity
consequent
(=>
(
and
(
offersAtTime
?AGENT ?ATTR ?TIMEINT)
(
instance
?ATTR
Attribute
))
(
holdsDuring
?TIMEINT
(
offers
?AGENT ?ATTR)))
Catalog.kif 152-157
AutonomousAgent
offers
拍賣樣品在
Entity
在其間
TimeInterval
例
Entity
and
Attribute
持有期間
TimeInterval
and
AutonomousAgent
offers
拍賣樣品在
Entity
(=>
(
instance
?CATALOG
Catalog
)
(
exists
(?X)
(
and
(
instance
?X
AutonomousAgent
)
(
offers
?X ?CATALOG))))
Catalog.kif 36-41
例
Abstract
and
Catalog
AutonomousAgent
例
AutonomousAgent
and
AutonomousAgent
AutonomousAgent
offers
拍賣樣品在
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