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
buys
Sigma KEE - buys
buys
appearance as argument number 1
(
documentation
buys
EnglishLanguage
"(
buys
?CUST ?AGENT ?ENT) means that
AutonomousAgent
?CUST performs
Buying
of
Entity
?ENT from
AutonomousAgent
?AGENT")
Mid-level-ontology.kif 29951-29952
(
domain
buys
1
CognitiveAgent
)
Mid-level-ontology.kif 29959-29959
buys
の数値 1 引数は
認識エージェント
の
instance
では %n
(
domain
buys
2
AutonomousAgent
)
Mid-level-ontology.kif 29960-29960
buys
の数値 2 引数は
AutonomousAgent
の
instance
では %n
(
domain
buys
3
Entity
)
Mid-level-ontology.kif 29961-29961
buys
の数値 3 引数は
エンティティー
の
instance
では %n
(
instance
buys
TernaryPredicate
)
Mid-level-ontology.kif 29950-29950
buys
は
3進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
buys
"%1
buys
%3 从 %2")
domainEnglishFormat.kif 2946-2946
(
format
ChineseTraditionalLanguage
buys
"%1
buys
%3 從 %2")
domainEnglishFormat.kif 2945-2945
(
format
EnglishLanguage
buys
"%1
buys
%3 from %2")
domainEnglishFormat.kif 2944-2944
(
termFormat
EnglishLanguage
buys
"buys")
Mid-level-ontology.kif 29953-29953
antecedent
(=>
(
and
(
buys
?CUST ?AGENT ?ITEM)
(
instance
?ITEM
Physical
))
(
exists
(?TRANS)
(
and
(
instance
?TRANS
Buying
)
(
patient
?TRANS ?ITEM)
(
agent
?TRANS ?CUST)
(
origin
?TRANS ?AGENT))))
Mid-level-ontology.kif 29963-29972
buys
認識エージェント
,
AutonomousAgent
and
エンティティー
エンティティー
は
物理
の
instance
では %n
工程
工程
は
購買
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
認識エージェント
は
工程
の
agent
では %n
工程
は
AutonomousAgent
から
originate
s %n{ない}
(=>
(
and
(
buys
?CUST ?AGENT ?ITEM)
(
instance
?ITEM
Proposition
))
(
exists
(?TRANS ?PROC)
(
and
(
agent
?TRANS ?CUST)
(
realization
?PROC ?ITEM)
(
instance
?TRANS
Buying
)
(
patient
?TRANS ?PROC)
(
origin
?TRANS ?AGENT))))
Mid-level-ontology.kif 29974-29984
buys
認識エージェント
,
AutonomousAgent
and
命題
命題
は
命題
の
instance
では %n
工程
工程
認識エージェント
は
工程
の
agent
では %n
工程
は
命題
の内容を
express
es %n{ない}
工程
は
購買
の
instance
では %n
工程
は
工程
の
patient
では %n
工程
は
AutonomousAgent
から
originate
s %n{ない}
(=>
(
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
offers
AutonomousAgent
and
MealPlan
MealPlan
は
MealPlan
の
instance
では %n
includedMeal
MealPlan
and
関係属性
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
guest
認識エージェント
and
AutonomousAgent
buys
認識エージェント
,
AutonomousAgent
and
MealPlan
エンティティー
エンティティー
関係属性
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
エンティティー
は
摂食
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない} は
エンティティー
の
during
holds %n{ない} は
guest
認識エージェント
and
AutonomousAgent
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
propositionOwner
?AGENT ?HP)
(
instance
?HP
HotelPackage
)
(
accommodationProvider
?HP ?HOTEL)
(
roomStay
?HP ?NUM ?ROOM)
(
instance
?R ?ROOM)
(
element
?R
(
PropertyFn
?HOTEL))
(
buys
?CUST ?AGENT ?HP))
(
exists
(?TI)
(
and
(
equal
?TI
(
MeasureFn
?NUM
DayDuration
))
(
holdsDuring
?TI
(
guest
?CUST ?HOTEL)))))
Hotel.kif 2744-2757
propositionOwner
認識エージェント
and
HotelPackage
HotelPackage
は
HotelPackage
の
instance
では %n
accommodationProvider
HotelPackage
and
組織
roomStay
HotelPackage
,
整数
and
HotelUnit
エンティティー
は
HotelUnit
の
instance
では %n
エンティティー
は
組織
の
belongings
の
element
%n
buys
認識エージェント
,
認識エージェント
and
HotelPackage
時間位置
時間位置
は
整数
の
DayDuration
(s) と
equal
では %n
guest
認識エージェント
and
組織
は
時間位置
の
during
holds %n{ない}
consequent
(=>
(
instance
?AN
PurchaseOrderNumber
)
(
exists
(?PO ?BUYER ?SELLER ?ENT)
(
and
(
instance
?PO
PurchaseOrder
)
(
buys
?BUYER ?SELLER ?ENT)
(
uniqueIdWithRespectTo
?PO ?BUYER ?AN))))
Mid-level-ontology.kif 30014-30020
記号文字列
は
PurchaseOrderNumber
の
instance
では %n
物理
認識エージェント
,
AutonomousAgent
and
エンティティー
物理
は
PurchaseOrder
の
instance
では %n
buys
認識エージェント
,
AutonomousAgent
and
エンティティー
uniqueIdWithRespectTo
物理
,
認識エージェント
and
記号文字列
(=>
(
instance
?INVOICE
Invoice
)
(
exists
(?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?INVOICE)
(
buys
?BUYER ?SELLER ?ENT)
(
confersRight
(
exists
(?SELLING)
(
and
(
before
(
BeginFn
(
WhenFn
?INVOICE))
(
BeginFn
(
WhenFn
?SELLING)))
(
instance
?SELLING
Selling
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?SELLING ?PRODUCT)
(
refers
?INVOICE ?PRODUCT)
(
agent
?SELLING ?SELLER)
(
patient
?SELLING ?BUYER))) ?SELLER ?BUYER))))
Mid-level-ontology.kif 29868-29888
エンティティー
は
Invoice
の
instance
では %n
記号文字列
認識エージェント
,
AutonomousAgent
,
エンティティー
and
エンティティー
記号文字列
の
unique
の識別子は
エンティティー
では %n
buys
認識エージェント
,
AutonomousAgent
and
エンティティー
AutonomousAgent
は
認識エージェント
が
エンティティー
エンティティー
の
time
の existence の
beginning
は
エンティティー
の
time
の existence の
beginning
の
before
に happens %n{ない}
エンティティー
は
販売
の
instance
では %n
エンティティー
は
製品
の
instance
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
エンティティー
への
reference
を includes %n{ない}
AutonomousAgent
は
エンティティー
の
agent
では %n
認識エージェント
は
エンティティー
の
patient
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
instance
?PO
PurchaseOrder
)
(
exists
(?NUMBER ?BUYER ?SELLER ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?PO)
(
buys
?BUYER ?SELLER ?PRODUCT)
(
confersObligation
(
exists
(?BUYING)
(
and
(
before
(
BeginFn
(
WhenFn
?PO))
(
BeginFn
(
WhenFn
?BUYING)))
(
instance
?BUYING
Buying
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?BUYING ?PRODUCT)
(
refers
?PO ?PRODUCT)
(
agent
?BUYING ?BUYER)
(
patient
?BUYING ?SELLER))) ?BUYER ?SELLER))))
Mid-level-ontology.kif 29895-29915
エンティティー
は
PurchaseOrder
の
instance
では %n
記号文字列
認識エージェント
,
認識エージェント
and
エンティティー
記号文字列
の
unique
の識別子は
エンティティー
では %n
buys
認識エージェント
,
認識エージェント
and
エンティティー
認識エージェント
は
認識エージェント
にタイプ
エンティティー
エンティティー
の
time
の existence の
beginning
は
エンティティー
の
time
の existence の
beginning
の
before
に happens %n{ない}
エンティティー
は
購買
の
instance
では %n
エンティティー
は
製品
の
instance
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
エンティティー
への
reference
を includes %n{ない}
認識エージェント
は
エンティティー
の
agent
では %n
認識エージェント
は
エンティティー
の
patient
では %n のタスクを実行する
obligate
s %n{ない}
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