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 and
Animal
(
domain
wears
2
WearableItem
)
Merge.kif 15925-15925
域
穿
, 2 and
可穿戴物品
(
instance
wears
BinaryPredicate
)
Merge.kif 15923-15923
例
穿
and
BinaryPredicate
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
例
Entity
and
戶外服裝
持有期間
TimePosition
and
穿
entity
and
Entity
Entity
例
Entity
and
Building
持有期間
TimePosition
and
位於
entity
and
Entity
(=>
(
and
(
instance
?DRESS
Dress
)
(
wears
?PERSON ?DRESS))
(
instance
?PERSON
Woman
))
Mid-level-ontology.kif 5296-5300
例
可穿戴物品
and
連衣裙
穿
Animal
and
可穿戴物品
例
Animal
and
女人
(=>
(
and
(
instance
?EARPHONE
Earphone
)
(
wears
?PERSON ?EARPHONE)
(
instance
?HEAD
Head
)
(
part
?HEAD ?PERSON))
(
located
?EARPHONE ?HEAD))
ComputerInput.kif 510-516
例
可穿戴物品
and
Earphone
穿
Animal
and
可穿戴物品
例
Object
and
頭
部分
Object
and
Animal
位於
可穿戴物品
and
Object
(=>
(
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
例
可穿戴物品
and
聽力保護
例
Animal
and
Human
穿
Animal
and
可穿戴物品
有目的
可穿戴物品
and
entity
entity
and
entity
例
entity
and
Process
子類
entity
and
卡帕
entity
and
例
entity
and
Injuring
entity
entity
,
entity
and
entity
例
entity
and
RadiatingSound
例
entity
and
Hearing
例
entity
and
Human
患者
entity
and
entity
體驗者
entity
and
entity
原因
entity
and
entity
體驗者
entity
and
entity
持有期間
entity
and
體驗者
entity
and
Animal
持有期間
entity
and
患者
entity
and
Animal
防止
entity
and
entity
儀器
entity
and
可穿戴物品
(=>
(
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
例
Animal
and
ihram服裝
穿
Animal
and
可穿戴物品
attribute
可穿戴物品
and
男
Physical
Physical
and
Physical
例
Physical
and
披風
例
Physical
and
帶
例
Physical
and
檀香
會員
Physical
and
Animal
會員
Physical
and
Animal
會員
Physical
and
Animal
(=>
(
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
例
可穿戴物品
and
安全套
例
Animal
and
Animal
穿
Animal
and
可穿戴物品
有目的
可穿戴物品
and
entity
entity
and
entity
例
entity
and
Process
儀器
entity
and
可穿戴物品
患者
entity
and
Animal
子類
entity
and
卡帕
entity
and
例
entity
and
Injuring
entity
entity
and
entity
例
entity
and
Human
體驗者
entity
and
entity
例
entity
and
落下
體驗者
entity
and
entity
原因
entity
and
entity
持有期間
entity
and
體驗者
entity
and
Animal
持有期間
entity
and
患者
entity
and
Animal
防止
entity
and
entity
(=>
(
and
(
instance
?SHIRT
Shirt
)
(
wears
?PERSON ?SHIRT))
(
instance
?PERSON
Human
))
Mid-level-ontology.kif 5262-5266
例
可穿戴物品
and
襯衫
穿
Animal
and
可穿戴物品
例
Animal
and
Human
(=>
(
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
例
Collection
and
服裝套裝
會員
Physical
and
Collection
持有期間
TimePosition
and
穿
entity
and
Physical
Physical
會員
Physical
and
Collection
持有期間
TimePosition
and
穿
entity
and
Physical
(=>
(
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
例
Collection
and
Outfit
會員
Physical
and
Collection
持有期間
TimePosition
and
穿
entity
and
Physical
Physical
會員
Physical
and
Collection
持有期間
TimePosition
and
穿
entity
and
Physical
(=>
(
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
例
可穿戴物品
and
呼吸器
例
Animal
and
Animal
穿
Animal
and
可穿戴物品
有目的
可穿戴物品
and
entity
entity
,
entity
and
entity
例
entity
and
Process
儀器
entity
and
可穿戴物品
防止
entity
and
entity
子類
entity
and
卡帕
entity
and
例
entity
and
Injuring
entity
例
entity
and
Human
患者
entity
and
entity
例
entity
and
吸入
agent
entity
and
entity
原因
entity
and
entity
(=>
(
and
(
wears
?A ?C)
(
part
?P ?C))
(
wears
?A ?P))
Merge.kif 15933-15937
穿
Animal
and
可穿戴物品
部分
可穿戴物品
and
可穿戴物品
穿
Animal
and
可穿戴物品
(=>
(
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
穿
Animal
and
SelfConnectedObject
例
SelfConnectedObject
and
長褲
Object
例
Object
and
腿
部分
Object
and
Animal
包含
SelfConnectedObject
and
Object
(=>
(
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
穿
Animal
and
可穿戴物品
例
可穿戴物品
and
帶
可穿戴物品
例
可穿戴物品
and
Clothing
穿
Animal
and
可穿戴物品
空間的符合
可穿戴物品
and
可穿戴物品
(=>
(
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
穿
Animal
and
可穿戴物品
例
可穿戴物品
and
領
Object
例
Object
and
頸部
部分
Object
and
Animal
空間的符合
可穿戴物品
and
Object
(=>
(
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
穿
Animal
and
可穿戴物品
位於
可穿戴物品
and
Object
例
可穿戴物品
and
時鐘
例
Object
and
腕
部分
Object
and
Animal
例
可穿戴物品
and
鐘錶
(=>
(
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
穿
Animal
and
可穿戴物品
例
可穿戴物品
and
手套
Object
例
Object
and
手
部分
Object
and
Animal
空間的符合
可穿戴物品
and
Object
(=>
(
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
穿
Animal
and
SelfConnectedObject
例
SelfConnectedObject
and
袖
Object
例
Object
and
臂
部分
Object
and
Animal
包含
SelfConnectedObject
and
Object
(=>
(
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
穿
Animal
and
SelfConnectedObject
例
SelfConnectedObject
and
襪子
Object
例
Object
and
足
部分
Object
and
Animal
包含
SelfConnectedObject
and
Object
(=>
(
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
穿
Animal
and
SelfConnectedObject
例
SelfConnectedObject
and
領帶服裝
Object
例
Object
and
頸部
部分
Object
and
Animal
包含
SelfConnectedObject
and
Object
(=>
(
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
穿
Animal
and
可穿戴物品
例
可穿戴物品
and
帽子
Object
例
Object
and
頭
部分
Object
and
Animal
空間的符合
可穿戴物品
and
Object
(=>
(
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
穿
Animal
and
可穿戴物品
例
可穿戴物品
and
鞋
Object
例
Object
and
足
部分
Object
and
Animal
空間的符合
可穿戴物品
and
Object
(=>
(
wears
?AGENT ?WI)
(
located
?WI ?AGENT))
Merge.kif 15929-15931
穿
Animal
and
可穿戴物品
位於
可穿戴物品
and
Animal
consequent
(<=>
(
holdsDuring
?T
(
attribute
?A
Barefoot
))
(
holdsDuring
?T
(
not
(
exists
(?S)
(
and
(
instance
?S
Shoe
)
(
wears
?A ?S))))))
Mid-level-ontology.kif 30132-30140
持有期間
TimePosition
and
attribute
entity
and
Barefoot
持有期間
TimePosition
and
entity
例
entity
and
鞋
穿
entity
and
entity
(<=>
(
holdsDuring
?T
(
attribute
?A
Naked
))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?A ?C))))))
Mid-level-ontology.kif 30145-30153
持有期間
TimePosition
and
attribute
entity
and
Naked
持有期間
TimePosition
and
entity
例
entity
and
Clothing
穿
entity
and
entity
(=>
(
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
例
Process
and
調味料
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
例
Entity
and
Clothing
持有期間
開始
何時
Process
and
穿
AutonomousAgent
and
Entity
持有期間
結束
何時
Process
and
穿
AutonomousAgent
and
Entity
(=>
(
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
例
Process
and
脫衣服
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
穿
AutonomousAgent
and
Entity
持有期間
結束
何時
Process
and
穿
AutonomousAgent
and
Entity
(=>
(
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
例
Collection
and
服裝套裝
會員
Physical
and
Collection
持有期間
TimePosition
and
穿
entity
and
Physical
Physical
會員
Physical
and
Collection
持有期間
TimePosition
and
穿
entity
and
Physical
(=>
(
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
例
Collection
and
Outfit
會員
Physical
and
Collection
持有期間
TimePosition
and
穿
entity
and
Physical
Physical
會員
Physical
and
Collection
持有期間
TimePosition
and
穿
entity
and
Physical
(=>
(
and
(
wears
?A ?C)
(
part
?P ?C))
(
wears
?A ?P))
Merge.kif 15933-15937
穿
Animal
and
可穿戴物品
部分
可穿戴物品
and
可穿戴物品
穿
Animal
and
可穿戴物品
(=>
(
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
穿
Animal
and
可穿戴物品
例
可穿戴物品
and
帶
可穿戴物品
例
可穿戴物品
and
Clothing
穿
Animal
and
可穿戴物品
空間的符合
可穿戴物品
and
可穿戴物品
(=>
(
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
AutonomousAgent
要求顧客去穿
AmbienceAttribute
模態屬性
entity
entity
例
entity
and
Outfit
AutonomousAgent
believes
entity
是
AmbienceAttribute
持有期間
entity
and
entity
entity
AutonomousAgent
是
entity
的
customer
entity
對於
AutonomousAgent
在時間
entity
located
會員
entity
and
entity
穿
entity
and
entity
and
義務
(=>
(
experiencer
?IP ?A)
(
exists
(?IC)
(
and
(
instance
?IC
IhramClothing
)
(
holdsDuring
(
WhenFn
?IP)
(
wears
?A ?IC)))))
ArabicCulture.kif 170-177
體驗者
Process
and
AutonomousAgent
Entity
例
Entity
and
ihram服裝
持有期間
何時
Process
and
穿
AutonomousAgent
and
Entity
(=>
(
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
Group
有
uniform
UniformClothing
模態屬性
entity
entity
and
entity
會員
entity
and
Group
例
entity
and
UniformClothing
持有期間
entity
and
穿
entity
and
entity
and
容易
(=>
(
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
例
Physical
and
圍裙
有目的
Physical
and
entity
entity
例
entity
and
Cooking
agent
entity
and
entity
持有期間
何時
entity
and
穿
entity
and
Physical
(=>
(
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
例
Physical
and
gutrah
有目的
Physical
and
entity
entity
,
entity
and
entity
持有期間
entity
and
穿
entity
and
Physical
持有期間
entity
and
位於
entity
and
entity
entity
是在地區
entity
的
hot
季節
期間
entity
and
entity
(=>
(
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
例
Physical
and
shimagh
有目的
Physical
and
entity
entity
,
entity
and
entity
持有期間
entity
and
穿
entity
and
Physical
持有期間
entity
and
位於
entity
and
entity
entity
是
entity
地區的
cold
季節
期間
entity
and
entity
(=>
(
instance
?H
Abayah
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 533-539
例
Physical
and
阿巴亞
有目的
Physical
and
entity
例
entity
and
女人
穿
entity
and
Physical
(=>
(
instance
?H
Dishdashah
)
(
hasPurpose
?H
(
exists
(?M)
(
and
(
instance
?M
Man
)
(
wears
?M ?H)))))
ArabicCulture.kif 450-456
例
Physical
and
dishdashah
有目的
Physical
and
entity
例
entity
and
人
穿
entity
and
Physical
(=>
(
instance
?H
Hijab
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 502-508
例
Physical
and
蓋頭
有目的
Physical
and
entity
例
entity
and
女人
穿
entity
and
Physical
(=>
(
instance
?H
Jallabiyyah
)
(
hasPurpose
?H
(
exists
(?M)
(
and
(
instance
?M
Man
)
(
wears
?M ?H)))))
ArabicCulture.kif 438-444
例
Physical
and
jallabiyyah
有目的
Physical
and
entity
例
entity
and
人
穿
entity
and
Physical
(=>
(
instance
?H
Jilbab
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 515-521
例
Physical
and
jilbab
有目的
Physical
and
entity
例
entity
and
女人
穿
entity
and
Physical
(=>
(
instance
?H
Khimar
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 489-495
例
Physical
and
khimar
有目的
Physical
and
entity
例
entity
and
女人
穿
entity
and
Physical
(=>
(
instance
?H
Niqab
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 470-476
例
Physical
and
面紗
有目的
Physical
and
entity
例
entity
and
女人
穿
entity
and
Physical
(=>
(
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
例
Physical
and
MotorcycleGlove
有目的
Physical
and
entity
entity
and
entity
例
entity
and
Driving
agent
entity
and
entity
儀器
entity
and
entity
例
entity
and
摩托車
持有期間
何時
entity
and
穿
entity
and
Physical
(=>
(
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
例
Physical
and
MotorcycleHelmet
有目的
Physical
and
entity
entity
and
entity
例
entity
and
Driving
agent
entity
and
entity
例
entity
and
摩托車
患者
entity
and
entity
例
entity
and
Human
持有期間
何時
entity
and
穿
entity
and
Physical
(=>
(
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
例
Physical
and
防護眼鏡
有目的
Physical
and
Physical
RSON
例
Physical
RSON and
Human
穿
Physical
RSON and
Physical
entity
entity
,
entity
,
entity
and
entity
例
entity
and
Process
儀器
entity
and
Physical
子類
entity
and
卡帕
entity
and
entity
例
entity
and
Injuring
例
entity
and
眼睛
例
entity
and
Human
適當的部分
entity
and
entity
患者
entity
and
entity
持有期間
entity
and
患者
entity
and
Physical
RSON
持有期間
entity
and
患者
entity
and
Physical
RSON
防止
entity
and
entity
(=>
(
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
例
Physical
and
防護眼鏡
有目的
Physical
and
Physical
RSON
entity
,
entity
and
entity
例
Physical
RSON and
Animal
例
entity
and
面對
例
entity
and
眼睛
適當的部分
entity
and
entity
適當的部分
entity
and
Physical
RSON
穿
Physical
RSON and
Physical
例
entity
and
Covering
agent
entity
and
Physical
患者
entity
and
entity
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