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
wears
Sigma KEE - wears
wears
appearance as argument number 1
(
documentation
wears
ChineseLanguage
"(
wears
?AGENT ?WI) 的意思是 ?AGENT 正穿着一件 ?WI 的
WearableItem
。")
chinese_format.kif 3616-3617
(
documentation
wears
EnglishLanguage
"(
wears
?AGENT ?WI) means that ?AGENT is wearing the
WearableItem
item ?WI.")
Merge.kif 15998-15999
(
domain
wears
1
Animal
)
Merge.kif 15996-15996
穿戴
的 1 数量 是
动物
的
instance
(
domain
wears
2
WearableItem
)
Merge.kif 15997-15997
穿戴
的 2 数量 是
可穿戴物品
的
instance
(
instance
wears
BinaryPredicate
)
Merge.kif 15995-15995
穿戴
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
wears
"%1 %n{doesn't}
wears
%2")
chinese_format.kif 796-796
(
format
EnglishLanguage
wears
"%1 %n{doesn't} wear%p{s} %2")
english_format.kif 802-802
(
format
FrenchLanguage
wears
"%1 %n{ne} porte %n{pas} %2")
french_format.kif 479-479
(
format
JapaneseLanguage
wears
"%1 は % を wear%p{s} %n{ない}")
english_format.kif 803-803
(
format
PortugueseLanguage
wears
"%1 %n{nao} usa %n %2")
portuguese_format.kif 431-431
(
format
ro
wears
"%1 %n{nu} wear%t{poartã} %2")
relations-ro.kif 501-501
(
termFormat
ChineseLanguage
wears
"穿")
domainEnglishFormat.kif 62603-62603
(
termFormat
ChineseLanguage
wears
"穿戴")
chinese_format.kif 797-797
(
termFormat
ChineseTraditionalLanguage
wears
"穿")
domainEnglishFormat.kif 62602-62602
(
termFormat
EnglishLanguage
wears
"wears")
domainEnglishFormat.kif 62601-62601
antecedent
(=>
(
and
(
instance
?CLOTHING
OutdoorClothing
)
(
holdsDuring
?TIME
(
wears
?PERSON ?CLOTHING)))
(
not
(
exists
(?BUILDING)
(
and
(
instance
?BUILDING
Building
)
(
holdsDuring
?TIME
(
located
?PERSON ?BUILDING))))))
Mid-level-ontology.kif 5037-5045
如果
实体
是
户外服装
的
instance
和
另一个 实体
wears
那个 实体
在
时间位置
holdsDuring
,
然后 不存在
第三 实体
这样
那个 第三 实体
是
建筑物
的
instance
和
那个 另外 实体
是
located
在
那个 第三 实体
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?DRESS
Dress
)
(
wears
?PERSON ?DRESS))
(
instance
?PERSON
Woman
))
Mid-level-ontology.kif 5290-5294
如果
可穿戴物品
是
连衣裙
的
instance
和
动物
wears
那个 可穿戴物品
,
然后
那个 动物
是
女人
的
instance
(=>
(
and
(
instance
?EARPHONE
Earphone
)
(
wears
?PERSON ?EARPHONE)
(
instance
?HEAD
Head
)
(
part
?HEAD ?PERSON))
(
located
?EARPHONE ?HEAD))
ComputerInput.kif 510-516
如果
可穿戴物品
是
Earphone
的
instance
和
动物
wears
那个 可穿戴物品
和
客体
是
头
的
instance
和
那个 客体
是
那个 动物
的
part
,
然后
那个 可穿戴物品
是
located
在
那个 客体
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3432-3461
如果
可穿戴物品
是
听力保护
的
instance
和
动物
是
人类
的
instance
和
那个 动物
wears
那个 可穿戴物品
,
然后
那个 可穿戴物品
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
过程
的
instance
和
那个 另外 实体
是
那个 第三 实体
所描述的类别 的
subclass
和
那个 实体
prevents
那个 另外 实体
的发生 和
那个 可穿戴物品
是导致
那个 实体
的
instrument
(=>
(
and
(
instance
?IC
IhramClothing
)
(
wears
?IC ?M)
(
attribute
?M
Male
))
(
exists
(?C ?B ?S)
(
and
(
instance
?C
Cloak
)
(
instance
?B
Belt
)
(
instance
?S
Sandal
)
(
member
?C ?IC)
(
member
?B ?IC)
(
member
?S ?IC))))
ArabicCulture.kif 151-163
如果
动物
是
ihram服装
的
instance
和
那个 动物
wears
可穿戴物品
和
男
是
那个 可穿戴物品
的
attribute
,
然后 有存在
物理
,
另一个 物理
, and 和
第三 物理
这样
那个 物理
是
披风
的
instance
和
那个 另外 物理
是
带
的
instance
和
那个 第三 物理
是
檀香
的
instance
和
那个 物理
是
那个 动物
的
member
和
那个 另外 物理
是
那个 动物
的
member
和
那个 第三 物理
是
那个 动物
的
member
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3374-3402
如果
可穿戴物品
是
安全套
的
instance
和
动物
是
动物
的
instance
和
那个 动物
wears
那个 可穿戴物品
,
然后
那个 可穿戴物品
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
过程
的
instance
和
那个 可穿戴物品
是导致
那个 实体
的
instrument
和
那个 动物
是
那个 实体
的
patient
和
那个 另外 实体
是
那个 第三 实体
所描述的类别 的
subclass
和
那个 实体
prevents
那个 另外 实体
的发生
(=>
(
and
(
instance
?SHIRT
Shirt
)
(
wears
?PERSON ?SHIRT))
(
instance
?PERSON
Human
))
Mid-level-ontology.kif 5256-5260
如果
可穿戴物品
是
衬衫
的
instance
和
动物
wears
那个 可穿戴物品
,
然后
那个 动物
是
人类
的
instance
(=>
(
and
(
instance
?SUIT
ClothingSuit
)
(
member
?ITEM1 ?SUIT)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM1)))
(
forall
(?ITEM2)
(=>
(
member
?ITEM2 ?SUIT)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM2)))))
Mid-level-ontology.kif 5300-5308
如果
群体
是
服装套装
的
instance
和
物理
是
那个 群体
的
member
和
实体
wears
那个 物理
在
时间位置
holdsDuring
,
然后 对所有
另一个 物理
如果
那个 另外 物理
是
那个 群体
的
member
,
然后
那个 实体
wears
那个 另外 物理
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?X
Outfit
)
(
member
?ITEM1 ?X)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM1)))
(
forall
(?ITEM2)
(=>
(
member
?ITEM2 ?X)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM2)))))
Dining.kif 469-479
如果
群体
是
Outfit
的
instance
和
物理
是
那个 群体
的
member
和
实体
wears
那个 物理
在
时间位置
holdsDuring
,
然后 对所有
另一个 物理
如果
那个 另外 物理
是
那个 群体
的
member
,
然后
那个 实体
wears
那个 另外 物理
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3516-3537
如果
可穿戴物品
是
呼吸器
的
instance
和
动物
是
动物
的
instance
和
那个 动物
wears
那个 可穿戴物品
,
然后
那个 可穿戴物品
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 第三 实体
是
过程
的
instance
和
那个 可穿戴物品
是导致
那个 第三 实体
的
instrument
和
那个 第三 实体
prevents
那个 另外 实体
的发生 和
那个 另外 实体
是
那个 第四 实体
所描述的类别 的
subclass
(=>
(
and
(
wears
?A ?C)
(
part
?P ?C))
(
wears
?A ?P))
Merge.kif 16005-16009
如果
动物
wears
可穿戴物品
和
另一个 可穿戴物品
是
那个 可穿戴物品
的
part
,
然后
那个 动物
wears
那个 另外 可穿戴物品
(=>
(
and
(
wears
?H ?T)
(
instance
?T
Trousers
))
(
exists
(?L)
(
and
(
instance
?L
Leg
)
(
part
?L ?H)
(
contains
?T ?L))))
Mid-level-ontology.kif 5163-5171
如果
动物
wears
自身连接物体
和
那个 自身连接物体
是
长裤
的
instance
,
然后 有存在
客体
这样
那个 客体
是
腿
的
instance
和
那个 客体
是
那个 动物
的
part
和
那个 自身连接物体
contains
那个 客体
(=>
(
and
(
wears
?P ?B)
(
instance
?B
Belt
))
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?P ?C)
(
meetsSpatially
?B ?C))))
Mid-level-ontology.kif 5066-5074
如果
动物
wears
可穿戴物品
和
那个 可穿戴物品
是
带
的
instance
,
然后 有存在
另一个 可穿戴物品
这样
那个 另外 可穿戴物品
是
服装
的
instance
和
那个 动物
wears
那个 另外 可穿戴物品
和
那个 可穿戴物品
接上
那个 另外 可穿戴物品
(=>
(
and
(
wears
?P ?C)
(
instance
?C
Collar
))
(
exists
(?N)
(
and
(
instance
?N
Neck
)
(
part
?N ?P)
(
meetsSpatially
?C ?N))))
Mid-level-ontology.kif 5114-5122
如果
动物
wears
可穿戴物品
和
那个 可穿戴物品
是
领
的
instance
,
然后 有存在
客体
这样
那个 客体
是
颈部
的
instance
和
那个 客体
是
那个 动物
的
part
和
那个 可穿戴物品
接上
那个 客体
(=>
(
and
(
wears
?P ?C)
(
located
?C ?W)
(
instance
?C
Clock
)
(
instance
?W
Wrist
)
(
part
?W ?P))
(
instance
?C
WatchClock
))
Mid-level-ontology.kif 2890-2897
如果
动物
wears
可穿戴物品
和
那个 可穿戴物品
是
located
在
客体
和
那个 可穿戴物品
是
时钟
的
instance
和
那个 客体
是
腕
的
instance
和
那个 客体
是
那个 动物
的
part
,
然后
那个 可穿戴物品
是
钟表
的
instance
(=>
(
and
(
wears
?P ?G)
(
instance
?G
Glove
))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
part
?H ?P)
(
meetsSpatially
?G ?H))))
Mid-level-ontology.kif 5129-5137
如果
动物
wears
可穿戴物品
和
那个 可穿戴物品
是
手套
的
instance
,
然后 有存在
客体
这样
那个 客体
是
手
的
instance
和
那个 客体
是
那个 动物
的
part
和
那个 可穿戴物品
接上
那个 客体
(=>
(
and
(
wears
?P ?S)
(
instance
?S
Sleeve
))
(
exists
(?A)
(
and
(
instance
?A
Arm
)
(
part
?A ?P)
(
contains
?S ?A))))
Mid-level-ontology.kif 5267-5275
如果
动物
wears
自身连接物体
和
那个 自身连接物体
是
袖
的
instance
,
然后 有存在
客体
这样
那个 客体
是
臂
的
instance
和
那个 客体
是
那个 动物
的
part
和
那个 自身连接物体
contains
那个 客体
(=>
(
and
(
wears
?P ?S)
(
instance
?S
Sock
))
(
exists
(?F)
(
and
(
instance
?F
Foot
)
(
part
?F ?P)
(
contains
?S ?F))))
Mid-level-ontology.kif 5241-5249
如果
动物
wears
自身连接物体
和
那个 自身连接物体
是
袜子
的
instance
,
然后 有存在
客体
这样
那个 客体
是
足
的
instance
和
那个 客体
是
那个 动物
的
part
和
那个 自身连接物体
contains
那个 客体
(=>
(
and
(
wears
?P ?T)
(
instance
?T
TieClothing
))
(
exists
(?N)
(
and
(
instance
?N
Neck
)
(
part
?N ?P)
(
contains
?T ?N))))
Mid-level-ontology.kif 5080-5088
如果
动物
wears
自身连接物体
和
那个 自身连接物体
是
领带服装
的
instance
,
然后 有存在
客体
这样
那个 客体
是
颈部
的
instance
和
那个 客体
是
那个 动物
的
part
和
那个 自身连接物体
contains
那个 客体
(=>
(
and
(
wears
?PERSON ?HAT)
(
instance
?HAT
Hat
))
(
exists
(?HEAD)
(
and
(
instance
?HEAD
Head
)
(
part
?HEAD ?PERSON)
(
meetsSpatially
?HAT ?HEAD))))
Mid-level-ontology.kif 5144-5152
如果
动物
wears
可穿戴物品
和
那个 可穿戴物品
是
帽子
的
instance
,
然后 有存在
客体
这样
那个 客体
是
头
的
instance
和
那个 客体
是
那个 动物
的
part
和
那个 可穿戴物品
接上
那个 客体
(=>
(
and
(
wears
?PERSON ?SHOE)
(
instance
?SHOE
Shoe
))
(
exists
(?FOOT)
(
and
(
instance
?FOOT
Foot
)
(
part
?FOOT ?PERSON)
(
meetsSpatially
?SHOE ?FOOT))))
Mid-level-ontology.kif 5178-5186
如果
动物
wears
可穿戴物品
和
那个 可穿戴物品
是
鞋
的
instance
,
然后 有存在
客体
这样
那个 客体
是
足
的
instance
和
那个 客体
是
那个 动物
的
part
和
那个 可穿戴物品
接上
那个 客体
(=>
(
wears
?AGENT ?WI)
(
located
?WI ?AGENT))
Merge.kif 16001-16003
如果
动物
wears
可穿戴物品
,
然后
那个 可穿戴物品
是
located
在
那个 动物
consequent
(<=>
(
holdsDuring
?T
(
attribute
?A
Barefoot
))
(
holdsDuring
?T
(
not
(
exists
(?S)
(
and
(
instance
?S
Shoe
)
(
wears
?A ?S))))))
Mid-level-ontology.kif 30156-30164
Barefoot
是
实体
的
attribute
在
时间位置
holdsDuring
若且唯若 不存在
另一个 实体
这样
那个 另外 实体
是
鞋
的
instance
和
那个 实体
wears
那个 另外 实体
在
那个 时间位置
holdsDuring
(<=>
(
holdsDuring
?T
(
attribute
?A
Naked
))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?A ?C))))))
Mid-level-ontology.kif 30169-30177
Naked
是
实体
的
attribute
在
时间位置
holdsDuring
若且唯若 不存在
另一个 实体
这样
那个 另外 实体
是
服装
的
instance
和
那个 实体
wears
那个 另外 实体
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?DRESS
Dressing
)
(
agent
?DRESS ?AGENT)
(
patient
?DRESS ?CLOTHING))
(
and
(
instance
?CLOTHING
Clothing
)
(
holdsDuring
(
BeginFn
(
WhenFn
?DRESS))
(
not
(
wears
?AGENT ?CLOTHING)))
(
holdsDuring
(
EndFn
(
WhenFn
?DRESS))
(
wears
?AGENT ?CLOTHING))))
Mid-level-ontology.kif 5497-5512
如果
过程
是
调味料
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
,
然后
那个 实体
是
服装
的
instance
和
那个 施事体
doesn't
wears
那个 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 施事体
wears
那个 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?REMOVE
RemovingClothing
)
(
agent
?REMOVE ?AGENT)
(
patient
?REMOVE ?CLOTHING))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?REMOVE))
(
wears
?AGENT ?CLOTHING))
(
holdsDuring
(
EndFn
(
WhenFn
?REMOVE))
(
not
(
wears
?AGENT ?CLOTHING)))))
Mid-level-ontology.kif 5532-5543
如果
过程
是
脱衣服
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
,
然后
那个 施事体
wears
那个 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 施事体
doesn't
wears
那个 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?SUIT
ClothingSuit
)
(
member
?ITEM1 ?SUIT)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM1)))
(
forall
(?ITEM2)
(=>
(
member
?ITEM2 ?SUIT)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM2)))))
Mid-level-ontology.kif 5300-5308
如果
群体
是
服装套装
的
instance
和
物理
是
那个 群体
的
member
和
实体
wears
那个 物理
在
时间位置
holdsDuring
,
然后 对所有
另一个 物理
如果
那个 另外 物理
是
那个 群体
的
member
,
然后
那个 实体
wears
那个 另外 物理
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?X
Outfit
)
(
member
?ITEM1 ?X)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM1)))
(
forall
(?ITEM2)
(=>
(
member
?ITEM2 ?X)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM2)))))
Dining.kif 469-479
如果
群体
是
Outfit
的
instance
和
物理
是
那个 群体
的
member
和
实体
wears
那个 物理
在
时间位置
holdsDuring
,
然后 对所有
另一个 物理
如果
那个 另外 物理
是
那个 群体
的
member
,
然后
那个 实体
wears
那个 另外 物理
在
那个 时间位置
holdsDuring
(=>
(
and
(
wears
?A ?C)
(
part
?P ?C))
(
wears
?A ?P))
Merge.kif 16005-16009
如果
动物
wears
可穿戴物品
和
另一个 可穿戴物品
是
那个 可穿戴物品
的
part
,
然后
那个 动物
wears
那个 另外 可穿戴物品
(=>
(
and
(
wears
?P ?B)
(
instance
?B
Belt
))
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?P ?C)
(
meetsSpatially
?B ?C))))
Mid-level-ontology.kif 5066-5074
如果
动物
wears
可穿戴物品
和
那个 可穿戴物品
是
带
的
instance
,
然后 有存在
另一个 可穿戴物品
这样
那个 另外 可穿戴物品
是
服装
的
instance
和
那个 动物
wears
那个 另外 可穿戴物品
和
那个 可穿戴物品
接上
那个 另外 可穿戴物品
(=>
(
dressCode
?CODE ?AGENT)
(
modalAttribute
(
exists
(?OUTFIT ?T)
(
and
(
instance
?OUTFIT
Outfit
)
(
subjectiveAttribute
?OUTFIT ?CODE ?AGENT)
(
holdsDuring
?T
(
forall
(?CUST ?ITEM)
(
and
(
customer
?CUST ?AGENT)
(
locatedAtTime
?CUST ?T ?AGENT)
(
member
?ITEM ?OUTFIT)
(
wears
?CUST ?ITEM))))))
Obligation
))
Dining.kif 492-505
如果
施事体
要求顾客去穿
AmbienceAttribute
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
Outfit
的
instance
和
那个 施事体
believes
那个 实体
是
那个 AmbienceAttribute
和 对所有
第三 实体
和
第四 实体
那个 施事体
是
那个 第三 实体
的
customer
和
那个 第三 实体
对于
那个 施事体
在时间
那个 另外 实体
located
和
那个 第四 实体
是
那个 实体
的
member
和
那个 第三 实体
wears
那个 第四 实体
在
那个 另外 实体
holdsDuring
的声明 has
义务
的语气
(=>
(
experiencer
?IP ?A)
(
exists
(?IC)
(
and
(
instance
?IC
IhramClothing
)
(
holdsDuring
(
WhenFn
?IP)
(
wears
?A ?IC)))))
ArabicCulture.kif 170-177
如果
施事体
经历了
过程
,
然后 有存在
实体
这样
那个 实体
是
ihram服装
的
instance
和
那个 施事体
wears
那个 实体
在
那个 过程
出现 的
time
holdsDuring
(=>
(
hasUniform
?GRP ?UNIFORM)
(
modalAttribute
(
exists
(?PERS ?CLOTHING ?TIME)
(
and
(
member
?PERS ?GRP)
(
instance
?CLOTHING ?UNIFORM)
(
holdsDuring
?TIME
(
wears
?PERS ?CLOTHING))))
Likely
))
Mid-level-ontology.kif 26708-26716
如果
群组
有
uniform
有点 UniformClothing
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
那个 群组
的
member
和
那个 另外 实体
是
有点 UniformClothing
的
instance
和
那个 实体
wears
那个 另外 实体
在
那个 第三 实体
holdsDuring
的声明 has
容易
的语气
(=>
(
instance
?A
Apron
)
(
hasPurpose
?A
(
exists
(?P ?C)
(
and
(
instance
?C
Cooking
)
(
agent
?C ?P)
(
holdsDuring
(
WhenFn
?C)
(
wears
?P ?A))))))
Mid-level-ontology.kif 5051-5060
如果
物理
是
围裙
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 另外 实体
是
烹饪
的
instance
和
那个 实体
是
那个 另外 实体
的
agent
和
那个 实体
wears
那个 物理
在
那个 另外 实体
出现 的
time
holdsDuring
(=>
(
instance
?G
Gutrah
)
(
hasPurpose
?G
(=>
(
exists
(?S ?T ?H ?AREA)
(
and
(
holdsDuring
?T
(
wears
?H ?G))
(
holdsDuring
?T
(
located
?H ?AREA))
(
hotSeasonInArea
?AREA ?S)))
(
during
?T ?S))))
ArabicCulture.kif 376-387
如果
物理
是
gutrah
的
instance
,
然后
那个 物理
的 目的 是
如果 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 第三 实体
wears
那个 物理
在
那个 另外 实体
holdsDuring
和
那个 第三 实体
是
located
在
那个 第四 实体
在
那个 另外 实体
holdsDuring
和
那个 实体
是在地区
那个 第四 实体
的
hot
季节,
然后
那个 另外 实体
在
那个 实体
时段内发生
(=>
(
instance
?G
Shimagh
)
(
hasPurpose
?G
(=>
(
exists
(?S ?T ?H ?AREA)
(
and
(
holdsDuring
?T
(
wears
?H ?G))
(
holdsDuring
?T
(
located
?H ?AREA))
(
coldSeasonInArea
?AREA ?S)))
(
during
?T ?S))))
ArabicCulture.kif 399-410
如果
物理
是
shimagh
的
instance
,
然后
那个 物理
的 目的 是
如果 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 第三 实体
wears
那个 物理
在
那个 另外 实体
holdsDuring
和
那个 第三 实体
是
located
在
那个 第四 实体
在
那个 另外 实体
holdsDuring
和
那个 实体
是
那个 第四 实体
地区的
cold
季节,
然后
那个 另外 实体
在
那个 实体
时段内发生
(=>
(
instance
?H
Abayah
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 533-539
如果
物理
是
阿巴亚
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
女人
的
instance
和
那个 实体
wears
那个 物理
(=>
(
instance
?H
Dishdashah
)
(
hasPurpose
?H
(
exists
(?M)
(
and
(
instance
?M
Man
)
(
wears
?M ?H)))))
ArabicCulture.kif 450-456
如果
物理
是
dishdashah
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
人
的
instance
和
那个 实体
wears
那个 物理
(=>
(
instance
?H
Hijab
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 502-508
如果
物理
是
盖头
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
女人
的
instance
和
那个 实体
wears
那个 物理
(=>
(
instance
?H
Jallabiyyah
)
(
hasPurpose
?H
(
exists
(?M)
(
and
(
instance
?M
Man
)
(
wears
?M ?H)))))
ArabicCulture.kif 438-444
如果
物理
是
jallabiyyah
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
人
的
instance
和
那个 实体
wears
那个 物理
(=>
(
instance
?H
Jilbab
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 515-521
如果
物理
是
jilbab
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
女人
的
instance
和
那个 实体
wears
那个 物理
(=>
(
instance
?H
Khimar
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 489-495
如果
物理
是
khimar
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
女人
的
instance
和
那个 实体
wears
那个 物理
(=>
(
instance
?H
Niqab
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 470-476
如果
物理
是
面纱
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
女人
的
instance
和
那个 实体
wears
那个 物理
(=>
(
instance
?MG
MotorcycleGlove
)
(
hasPurpose
?MG
(
exists
(?M ?D ?T)
(
and
(
instance
?T
Driving
)
(
agent
?T ?D)
(
instrument
?T ?M)
(
instance
?M
Motorcycle
)
(
holdsDuring
(
WhenFn
?T)
(
wears
?D ?MG))))))
Cars.kif 4734-4744
如果
物理
是
MotorcycleGlove
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 第三 实体
是
驾驶
的
instance
和
那个 另外 实体
是
那个 第三 实体
的
agent
和
那个 实体
是导致
那个 第三 实体
的
instrument
和
那个 实体
是
摩托车
的
instance
和
那个 另外 实体
wears
那个 物理
在
那个 第三 实体
出现 的
time
holdsDuring
(=>
(
instance
?MH
MotorcycleHelmet
)
(
hasPurpose
?MH
(
exists
(?P ?D ?M)
(
and
(
instance
?D
Driving
)
(
agent
?D ?P)
(
instance
?M
Motorcycle
)
(
patient
?D ?M)
(
instance
?P
Human
)
(
holdsDuring
(
WhenFn
?D)
(
wears
?P ?MH))))))
Cars.kif 4354-4365
如果
物理
是
MotorcycleHelmet
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 另外 实体
是
驾驶
的
instance
和
那个 实体
是
那个 另外 实体
的
agent
和
那个 第三 实体
是
摩托车
的
instance
和
那个 第三 实体
是
那个 另外 实体
的
patient
和
那个 实体
是
人类
的
instance
和
那个 实体
wears
那个 物理
在
那个 另外 实体
出现 的
time
holdsDuring
(=>
(
instance
?PE
ProtectiveEyewear
)
(
hasPurpose
?PE
(=>
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
wears
?PERSON ?PE)))
(
exists
(?PROTECT ?EYE ?INJ ?I ?T)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?PE)
(
subclass
?INJ
(
KappaFn
?I
(
exists
(?HUMAN)
(
and
(
instance
?I
Injuring
)
(
instance
?EYE
Eye
)
(
instance
?HUMAN
Human
)
(
properPart
?EYE ?HUMAN)
(
patient
?I ?EYE)
(=>
(
holdsDuring
?T
(
patient
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROTECT ?PERSON))))))))
(
prevents
?PROTECT ?INJ))))))
Cars.kif 3467-3494
如果
物理
是
防护眼镜
的
instance
,
然后
那个 物理
的 目的 是
如果 有存在
那个 物理
RSON 这样
那个 物理
RSON 是
人类
的
instance
和
那个 物理
RSON
wears
那个 物理
,
然后 有存在
另一个 实体
,
第三 实体
,, ,
第四 实体
,, ,
第五 实体
, and 和
第六 实体
这样
那个 另外 实体
是
过程
的
instance
和
那个 物理
是导致
那个 另外 实体
的
instrument
和
那个 第四 实体
是
那个 第五 实体
所描述的类别 的
subclass
和
那个 另外 实体
prevents
那个 第四 实体
的发生
(=>
(
instance
?PE
ProtectiveEyewear
)
(
hasPurpose
?PE
(
exists
(?PERSON ?FACE ?EYE ?COVER)
(
and
(
instance
?PERSON
Animal
)
(
instance
?FACE
Face
)
(
instance
?EYE
Eye
)
(
properPart
?EYE ?FACE)
(
properPart
?FACE ?PERSON)
(
wears
?PERSON ?PE)
(
instance
?COVER
Covering
)
(
agent
?COVER ?PE)
(
patient
?COVER ?FACE)))))
Cars.kif 3496-3509
如果
物理
是
防护眼镜
的
instance
,
然后
那个 物理
的 目的 是 有存在
那个 物理
RSON,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 物理
RSON 是
动物
的
instance
和
那个 另外 实体
是
面对
的
instance
和
那个 第三 实体
是
眼睛
的
instance
和
那个 第三 实体
是
那个 另外 实体
的
properPart
和
那个 另外 实体
是
那个 物理
RSON 的
properPart
和
那个 物理
RSON
wears
那个 物理
和
那个 第四 实体
是
遮盖
的
instance
和
那个 物理
是
那个 第四 实体
的
agent
和
那个 另外 实体
是
那个 第四 实体
的
patient
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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