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
wears
の数値 1 引数は
動物
の
instance
では %n
(
domain
wears
2
WearableItem
)
Merge.kif 15925-15925
wears
の数値 2 引数は
WearableItem
の
instance
では %n
(
instance
wears
BinaryPredicate
)
Merge.kif 15923-15923
wears
は
2進述語
の
instance
では %n
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
エンティティー
は
OutdoorClothing
の
instance
では %n
エンティティー
は % を
wear
s %n{ない} は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
は
建物
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?DRESS
Dress
)
(
wears
?PERSON ?DRESS))
(
instance
?PERSON
Woman
))
Mid-level-ontology.kif 5296-5300
WearableItem
は
Dress
の
instance
では %n
動物
は % を
wear
s %n{ない}
動物
は
Woman
の
instance
では %n
(=>
(
and
(
instance
?EARPHONE
Earphone
)
(
wears
?PERSON ?EARPHONE)
(
instance
?HEAD
Head
)
(
part
?HEAD ?PERSON))
(
located
?EARPHONE ?HEAD))
ComputerInput.kif 510-516
WearableItem
は
Earphone
の
instance
では %n
動物
は % を
wear
s %n{ない}
オブジェクト
は
Head
の
instance
では %n
オブジェクト
は
動物
の
part
では %n
WearableItem
は
オブジェクト
に
located
して %n
(=>
(
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
WearableItem
は
HearingProtection
の
instance
では %n
動物
は
人[人間]
の
instance
では %n
動物
は % を
wear
s %n{ない}
WearableItem
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
で記述される
class
の
subclass
では %n
エンティティー
は
エンティティー
の出来事を
prevent
s %n{ない}
WearableItem
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
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
動物
は
IhramClothing
の
instance
では %n
動物
は % を
wear
s %n{ない}
Male
は
WearableItem
の
attribute
では %n
物理
物理
and
物理
物理
は
Cloak
の
instance
では %n
物理
は
Belt
の
instance
では %n
物理
は
Sandal
の
instance
では %n
物理
は
動物
の
member
では %n
物理
は
動物
の
member
では %n
物理
は
動物
の
member
では %n
(=>
(
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
WearableItem
は
SafetyHarness
の
instance
では %n
動物
は
動物
の
instance
では %n
動物
は % を
wear
s %n{ない}
WearableItem
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
WearableItem
は
エンティティー
の
instrument
では %n
動物
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
で記述される
class
の
subclass
では %n
エンティティー
は
エンティティー
の出来事を
prevent
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?SHIRT
Shirt
)
(
wears
?PERSON ?SHIRT))
(
instance
?PERSON
Human
))
Mid-level-ontology.kif 5262-5266
WearableItem
は
Shirt
の
instance
では %n
動物
は % を
wear
s %n{ない}
動物
は
人[人間]
の
instance
では %n
(=>
(
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
コレクション
は
ClothingSuit
の
instance
では %n
物理
は
コレクション
の
member
では %n
エンティティー
は % を
wear
s %n{ない} は
時間位置
の
during
holds %n{ない}
物理
物理
は
コレクション
の
member
では %n
エンティティー
は % を
wear
s %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
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
では %n
物理
は
コレクション
の
member
では %n
エンティティー
は % を
wear
s %n{ない} は
時間位置
の
during
holds %n{ない}
物理
物理
は
コレクション
の
member
では %n
エンティティー
は % を
wear
s %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
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
WearableItem
は
Respirator
の
instance
では %n
動物
は
動物
の
instance
では %n
動物
は % を
wear
s %n{ない}
WearableItem
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
WearableItem
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の出来事を
prevent
s %n{ない}
エンティティー
は
エンティティー
で記述される
class
の
subclass
では %n の 目的 %n{ない}
(=>
(
and
(
wears
?A ?C)
(
part
?P ?C))
(
wears
?A ?P))
Merge.kif 15933-15937
動物
は % を
wear
s %n{ない}
WearableItem
は
WearableItem
の
part
では %n
動物
は % を
wear
s %n{ない}
(=>
(
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
動物
は % を
wear
s %n{ない}
自己接続オブジェクト
は
Trousers
の
instance
では %n
オブジェクト
オブジェクト
は
Leg
の
instance
では %n
オブジェクト
は
動物
の
part
では %n
自己接続オブジェクト
は
オブジェクト
を
contain
s %n{ない}
(=>
(
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
動物
は % を
wear
s %n{ない}
WearableItem
は
Belt
の
instance
では %n
WearableItem
WearableItem
は
衣類
の
instance
では %n
動物
は % を
wear
s %n{ない}
WearableItem
は
WearableItem
と
meet
s %n{ない}
(=>
(
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
動物
は % を
wear
s %n{ない}
WearableItem
は
Collar
の
instance
では %n
オブジェクト
オブジェクト
は
Neck
の
instance
では %n
オブジェクト
は
動物
の
part
では %n
WearableItem
は
オブジェクト
と
meet
s %n{ない}
(=>
(
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
動物
は % を
wear
s %n{ない}
WearableItem
は
オブジェクト
に
located
して %n
WearableItem
は
Clock
の
instance
では %n
オブジェクト
は
Wrist
の
instance
では %n
オブジェクト
は
動物
の
part
では %n
WearableItem
は
WatchClock
の
instance
では %n
(=>
(
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
動物
は % を
wear
s %n{ない}
WearableItem
は
Glove
の
instance
では %n
オブジェクト
オブジェクト
は
Hand
の
instance
では %n
オブジェクト
は
動物
の
part
では %n
WearableItem
は
オブジェクト
と
meet
s %n{ない}
(=>
(
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
動物
は % を
wear
s %n{ない}
自己接続オブジェクト
は
Sleeve
の
instance
では %n
オブジェクト
オブジェクト
は
Arm
の
instance
では %n
オブジェクト
は
動物
の
part
では %n
自己接続オブジェクト
は
オブジェクト
を
contain
s %n{ない}
(=>
(
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
動物
は % を
wear
s %n{ない}
自己接続オブジェクト
は
Sock
の
instance
では %n
オブジェクト
オブジェクト
は
Foot
の
instance
では %n
オブジェクト
は
動物
の
part
では %n
自己接続オブジェクト
は
オブジェクト
を
contain
s %n{ない}
(=>
(
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
動物
は % を
wear
s %n{ない}
自己接続オブジェクト
は
TieClothing
の
instance
では %n
オブジェクト
オブジェクト
は
Neck
の
instance
では %n
オブジェクト
は
動物
の
part
では %n
自己接続オブジェクト
は
オブジェクト
を
contain
s %n{ない}
(=>
(
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
動物
は % を
wear
s %n{ない}
WearableItem
は
Hat
の
instance
では %n
オブジェクト
オブジェクト
は
Head
の
instance
では %n
オブジェクト
は
動物
の
part
では %n
WearableItem
は
オブジェクト
と
meet
s %n{ない}
(=>
(
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
動物
は % を
wear
s %n{ない}
WearableItem
は
Shoe
の
instance
では %n
オブジェクト
オブジェクト
は
Foot
の
instance
では %n
オブジェクト
は
動物
の
part
では %n
WearableItem
は
オブジェクト
と
meet
s %n{ない}
(=>
(
wears
?AGENT ?WI)
(
located
?WI ?AGENT))
Merge.kif 15929-15931
動物
は % を
wear
s %n{ない}
WearableItem
は
動物
に
located
して %n
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
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
は
Shoe
の
instance
では %n
エンティティー
は % を
wear
s %n{ない} は
時間位置
の
during
holds %n{ない}
(<=>
(
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
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
は
衣類
の
instance
では %n
エンティティー
は % を
wear
s %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
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
工程
は
Dressing
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
衣類
の
instance
では %n
AutonomousAgent
は % を
wear
ない は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
AutonomousAgent
は % を
wear
s %n{ない} は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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
工程
は
RemovingClothing
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は % を
wear
s %n{ない} は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
AutonomousAgent
は % を
wear
ない は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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
コレクション
は
ClothingSuit
の
instance
では %n
物理
は
コレクション
の
member
では %n
エンティティー
は % を
wear
s %n{ない} は
時間位置
の
during
holds %n{ない}
物理
物理
は
コレクション
の
member
では %n
エンティティー
は % を
wear
s %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
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
では %n
物理
は
コレクション
の
member
では %n
エンティティー
は % を
wear
s %n{ない} は
時間位置
の
during
holds %n{ない}
物理
物理
は
コレクション
の
member
では %n
エンティティー
は % を
wear
s %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
wears
?A ?C)
(
part
?P ?C))
(
wears
?A ?P))
Merge.kif 15933-15937
動物
は % を
wear
s %n{ない}
WearableItem
は
WearableItem
の
part
では %n
動物
は % を
wear
s %n{ない}
(=>
(
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
動物
は % を
wear
s %n{ない}
WearableItem
は
Belt
の
instance
では %n
WearableItem
WearableItem
は
衣類
の
instance
では %n
動物
は % を
wear
s %n{ない}
WearableItem
は
WearableItem
と
meet
s %n{ない}
(=>
(
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
dressCode
AmbienceAttribute
and
AutonomousAgent
ステートメント
エンティティー
エンティティー
エンティティー
は
Outfit
の
instance
では %n
subjectiveAttribute
エンティティー
,
AmbienceAttribute
and
AutonomousAgent
エンティティー
エンティティー
customer
エンティティー
and
AutonomousAgent
locatedAtTime
エンティティー
,
エンティティー
and
AutonomousAgent
エンティティー
は
エンティティー
の
member
では %n
エンティティー
は % を
wear
s %n{ない} は
エンティティー
の
during
holds %n{ない} には
Obligation
の
modal
force
が ある
(=>
(
experiencer
?IP ?A)
(
exists
(?IC)
(
and
(
instance
?IC
IhramClothing
)
(
holdsDuring
(
WhenFn
?IP)
(
wears
?A ?IC)))))
ArabicCulture.kif 170-177
AutonomousAgent
が
工程
を
experience
s %n{ない}
エンティティー
エンティティー
は
IhramClothing
の
instance
では %n
AutonomousAgent
は % を
wear
s %n{ない} は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
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
hasUniform
グループ
and
UniformClothing
ステートメント
エンティティー
エンティティー
and
エンティティー
エンティティー
は
グループ
の
member
では %n
エンティティー
は
UniformClothing
の
instance
では %n
エンティティー
は % を
wear
s %n{ない} は
エンティティー
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
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
物理
は
Apron
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
料理
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は % を
wear
s %n{ない} は
エンティティー
の
time
の existence の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は % を
wear
s %n{ない} は
エンティティー
の
during
holds %n{ない}
エンティティー
は
エンティティー
に
located
して %n は
エンティティー
の
during
holds %n{ない}
hotSeasonInArea
エンティティー
and
エンティティー
エンティティー
は
エンティティー
の
during
に takes %n{ない}
の 目的 %n{ない}
(=>
(
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
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は % を
wear
s %n{ない} は
エンティティー
の
during
holds %n{ない}
エンティティー
は
エンティティー
に
located
して %n は
エンティティー
の
during
holds %n{ない}
coldSeasonInArea
エンティティー
and
エンティティー
エンティティー
は
エンティティー
の
during
に takes %n{ない}
の 目的 %n{ない}
(=>
(
instance
?H
Abayah
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 533-539
物理
は
Abayah
の
instance
では %n
物理
は
エンティティー
エンティティー
は
Woman
の
instance
では %n
エンティティー
は % を
wear
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?H
Dishdashah
)
(
hasPurpose
?H
(
exists
(?M)
(
and
(
instance
?M
Man
)
(
wears
?M ?H)))))
ArabicCulture.kif 450-456
物理
は
Dishdashah
の
instance
では %n
物理
は
エンティティー
エンティティー
は
Man
の
instance
では %n
エンティティー
は % を
wear
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?H
Hijab
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 502-508
物理
は
Hijab
の
instance
では %n
物理
は
エンティティー
エンティティー
は
Woman
の
instance
では %n
エンティティー
は % を
wear
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?H
Jallabiyyah
)
(
hasPurpose
?H
(
exists
(?M)
(
and
(
instance
?M
Man
)
(
wears
?M ?H)))))
ArabicCulture.kif 438-444
物理
は
Jallabiyyah
の
instance
では %n
物理
は
エンティティー
エンティティー
は
Man
の
instance
では %n
エンティティー
は % を
wear
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?H
Jilbab
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 515-521
物理
は
Jilbab
の
instance
では %n
物理
は
エンティティー
エンティティー
は
Woman
の
instance
では %n
エンティティー
は % を
wear
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?H
Khimar
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 489-495
物理
は
Khimar
の
instance
では %n
物理
は
エンティティー
エンティティー
は
Woman
の
instance
では %n
エンティティー
は % を
wear
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?H
Niqab
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 470-476
物理
は
Niqab
の
instance
では %n
物理
は
エンティティー
エンティティー
は
Woman
の
instance
では %n
エンティティー
は % を
wear
s %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
運転
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
instrument
では %n
エンティティー
は
Motorcycle
の
instance
では %n
エンティティー
は % を
wear
s %n{ない} は
エンティティー
の
time
の existence の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
運転
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
Motorcycle
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は % を
wear
s %n{ない} は
エンティティー
の
time
の existence の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
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
物理
は
ProtectiveEyewear
の
instance
では %n
物理
は
物理
RSON
物理
RSON は
人[人間]
の
instance
では %n
物理
RSON は % を
wear
s %n{ない}
エンティティー
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
で記述される
class
の
subclass
では %n
エンティティー
は
エンティティー
の出来事を
prevent
s %n{ない}
の 目的 %n{ない}
(=>
(
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
物理
は
ProtectiveEyewear
の
instance
では %n
物理
は
物理
RSON
エンティティー
,
エンティティー
and
エンティティー
物理
RSON は
動物
の
instance
では %n
エンティティー
は
Face
の
instance
では %n
エンティティー
は
Eye
の
instance
では %n
エンティティー
は
エンティティー
の
proper
part
では %n
エンティティー
は
物理
RSON の
proper
part
では %n
物理
RSON は % を
wear
s %n{ない}
エンティティー
は
覆い
の
instance
では %n
物理
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない}
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