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 15926-15927
(
domain
wears
1
Animal
)
Merge.kif 15924-15924
穿戴
的 1 数量 是
动物
的
instance
(
domain
wears
2
WearableItem
)
Merge.kif 15925-15925
穿戴
的 2 数量 是
可穿戴物品
的
instance
(
instance
wears
BinaryPredicate
)
Merge.kif 15923-15923
穿戴
是
二元谓语
的
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 62601-62601
(
termFormat
ChineseLanguage
wears
"穿戴")
chinese_format.kif 797-797
(
termFormat
ChineseTraditionalLanguage
wears
"穿")
domainEnglishFormat.kif 62600-62600
(
termFormat
EnglishLanguage
wears
"wears")
domainEnglishFormat.kif 62599-62599
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 5043-5051
如果
实体
是
户外服装
的
instance
和
另一个 实体
wears
那个 实体
在
时间位置
holdsDuring
,
然后 不存在
第三 实体
这样
那个 第三 实体
是
建筑物
的
instance
和
那个 另外 实体
是
located
在
那个 第三 实体
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?DRESS
Dress
)
(
wears
?PERSON ?DRESS))
(
instance
?PERSON
Woman
))
Mid-level-ontology.kif 5296-5300
如果
可穿戴物品
是
连衣裙
的
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 3447-3476
如果
可穿戴物品
是
听力保护
的
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 3389-3417
如果
可穿戴物品
是
安全套
的
instance
和
动物
是
动物
的
instance
和
那个 动物
wears
那个 可穿戴物品
,
然后
那个 可穿戴物品
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
过程
的
instance
和
那个 可穿戴物品
是导致
那个 实体
的
instrument
和
那个 动物
是
那个 实体
的
patient
和
那个 另外 实体
是
那个 第三 实体
所描述的类别 的
subclass
和
那个 实体
prevents
那个 另外 实体
的发生
(=>
(
and
(
instance
?SHIRT
Shirt
)
(
wears
?PERSON ?SHIRT))
(
instance
?PERSON
Human
))
Mid-level-ontology.kif 5262-5266
如果
可穿戴物品
是
衬衫
的
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 5306-5314
如果
群体
是
服装套装
的
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 3531-3552
如果
可穿戴物品
是
呼吸器
的
instance
和
动物
是
动物
的
instance
和
那个 动物
wears
那个 可穿戴物品
,
然后
那个 可穿戴物品
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 第三 实体
是
过程
的
instance
和
那个 可穿戴物品
是导致
那个 第三 实体
的
instrument
和
那个 第三 实体
prevents
那个 另外 实体
的发生 和
那个 另外 实体
是
那个 第四 实体
所描述的类别 的
subclass
(=>
(
and
(
wears
?A ?C)
(
part
?P ?C))
(
wears
?A ?P))
Merge.kif 15933-15937
如果
动物
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 5169-5177
如果
动物
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 5072-5080
如果
动物
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 5120-5128
如果
动物
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 2897-2904
如果
动物
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 5135-5143
如果
动物
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 5273-5281
如果
动物
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 5247-5255
如果
动物
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 5086-5094
如果
动物
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 5150-5158
如果
动物
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 5184-5192
如果
动物
wears
可穿戴物品
和
那个 可穿戴物品
是
鞋
的
instance
,
然后 有存在
客体
这样
那个 客体
是
足
的
instance
和
那个 客体
是
那个 动物
的
part
和
那个 可穿戴物品
接上
那个 客体
(=>
(
wears
?AGENT ?WI)
(
located
?WI ?AGENT))
Merge.kif 15929-15931
如果
动物
wears
可穿戴物品
,
然后
那个 可穿戴物品
是
located
在
那个 动物
consequent
(<=>
(
holdsDuring
?T
(
attribute
?A
Barefoot
))
(
holdsDuring
?T
(
not
(
exists
(?S)
(
and
(
instance
?S
Shoe
)
(
wears
?A ?S))))))
Mid-level-ontology.kif 30132-30140
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 30145-30153
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 5503-5518
如果
过程
是
调味料
的
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 5538-5549
如果
过程
是
脱衣服
的
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 5306-5314
如果
群体
是
服装套装
的
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 15933-15937
如果
动物
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 5072-5080
如果
动物
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 26675-26683
如果
群组
有
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 5057-5066
如果
物理
是
围裙
的
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 4749-4759
如果
物理
是
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 4369-4380
如果
物理
是
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 3482-3509
如果
物理
是
防护眼镜
的
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 3511-3524
如果
物理
是
防护眼镜
的
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