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
The number 1 argument of
wears
is an
instance
of
animal
(
domain
wears
2
WearableItem
)
Merge.kif 15925-15925
The number 2 argument of
wears
is an
instance
of
wearable item
(
instance
wears
BinaryPredicate
)
Merge.kif 15923-15923
wears
is an
instance
of
binary predicate
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
If
an entity
is an
instance
of
outdoor clothing
and
another entity
wear
s
the entity
holds
during
a time position
,
then there doesn't exist
a third entity
such that
the third entity
is an
instance
of
building
and
the other entity
is
located
at
the third entity
holds
during
the time position
(=>
(
and
(
instance
?DRESS
Dress
)
(
wears
?PERSON ?DRESS))
(
instance
?PERSON
Woman
))
Mid-level-ontology.kif 5296-5300
If
a wearable item
is an
instance
of
dress
and
an animal
wear
s
the wearable item
,
then
the animal
is an
instance
of
woman
(=>
(
and
(
instance
?EARPHONE
Earphone
)
(
wears
?PERSON ?EARPHONE)
(
instance
?HEAD
Head
)
(
part
?HEAD ?PERSON))
(
located
?EARPHONE ?HEAD))
ComputerInput.kif 510-516
If
a wearable item
is an
instance
of
earphone
and
an animal
wear
s
the wearable item
and
an object
is an
instance
of
head
and
the object
is a
part
of
the animal
,
then
the wearable item
is
located
at
the 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
If
a wearable item
is an
instance
of
hearing protection
and
an animal
is an
instance
of
human
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
process
and
the other entity
is a
subclass
of the
class
described by
the third entity
and
the entity
prevent
s the occurrence of
the other entity
and
the wearable item
is an
instrument
for
the entity
(=>
(
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
If
an animal
is an
instance
of
ihram clothing
and
the animal
wear
s
a wearable item
and
male
is an
attribute
of
the wearable item
,
then there exist
a physical
,
another physical
and
a third physical
such that
the physical
is an
instance
of
cloak
and
the other physical
is an
instance
of
belt
and
the third physical
is an
instance
of
sandal
and
the physical
is a
member
of
the animal
and
the other physical
is a
member
of
the animal
and
the third physical
is a
member
of
the 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
If
a wearable item
is an
instance
of
safety harness
and
an animal
is an
instance
of
animal
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
process
and
the wearable item
is an
instrument
for
the entity
and
the animal
is a
patient
of
the entity
and
the other entity
is a
subclass
of the
class
described by
the third entity
and
the entity
prevent
s the occurrence of
the other entity
(=>
(
and
(
instance
?SHIRT
Shirt
)
(
wears
?PERSON ?SHIRT))
(
instance
?PERSON
Human
))
Mid-level-ontology.kif 5262-5266
If
a wearable item
is an
instance
of
shirt
and
an animal
wear
s
the wearable item
,
then
the animal
is an
instance
of
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
If
a collection
is an
instance
of
clothing suit
and
a physical
is a
member
of
the collection
and
an entity
wear
s
the physical
holds
during
a time position
,
then for all
another physical
if
the other physical
is a
member
of
the collection
,
then
the entity
wear
s
the other physical
holds
during
the time position
(=>
(
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
If
a collection
is an
instance
of
outfit
and
a physical
is a
member
of
the collection
and
an entity
wear
s
the physical
holds
during
a time position
,
then for all
another physical
if
the other physical
is a
member
of
the collection
,
then
the entity
wear
s
the other physical
holds
during
the time position
(=>
(
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
If
a wearable item
is an
instance
of
respirator
and
an animal
is an
instance
of
animal
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
process
and
the wearable item
is an
instrument
for
the third entity
and
the third entity
prevent
s the occurrence of
the other entity
and
the other entity
is a
subclass
of the
class
described by
the fourth entity
(=>
(
and
(
wears
?A ?C)
(
part
?P ?C))
(
wears
?A ?P))
Merge.kif 15933-15937
If
an animal
wear
s
a wearable item
and
another wearable item
is a
part
of
the wearable item
,
then
the animal
wear
s
the other wearable item
(=>
(
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
If
an animal
wear
s
a self connected object
and
the self connected object
is an
instance
of
trousers
,
then there exists
an object
such that
the object
is an
instance
of
leg
and
the object
is a
part
of
the animal
and
the self connected object
contain
s
the 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
If
an animal
wear
s
a wearable item
and
the wearable item
is an
instance
of
belt
,
then there exists
another wearable item
such that
the other wearable item
is an
instance
of
clothing
and
the animal
wear
s
the other wearable item
and
the wearable item
meet
s
the other wearable item
(=>
(
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
If
an animal
wear
s
a wearable item
and
the wearable item
is an
instance
of
collar
,
then there exists
an object
such that
the object
is an
instance
of
neck
and
the object
is a
part
of
the animal
and
the wearable item
meet
s
the 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
If
an animal
wear
s
a wearable item
and
the wearable item
is
located
at
an object
and
the wearable item
is an
instance
of
clock
and
the object
is an
instance
of
wrist
and
the object
is a
part
of
the animal
,
then
the wearable item
is an
instance
of
watch clock
(=>
(
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
If
an animal
wear
s
a wearable item
and
the wearable item
is an
instance
of
glove
,
then there exists
an object
such that
the object
is an
instance
of
hand
and
the object
is a
part
of
the animal
and
the wearable item
meet
s
the 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
If
an animal
wear
s
a self connected object
and
the self connected object
is an
instance
of
sleeve
,
then there exists
an object
such that
the object
is an
instance
of
arm
and
the object
is a
part
of
the animal
and
the self connected object
contain
s
the 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
If
an animal
wear
s
a self connected object
and
the self connected object
is an
instance
of
sock
,
then there exists
an object
such that
the object
is an
instance
of
foot
and
the object
is a
part
of
the animal
and
the self connected object
contain
s
the 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
If
an animal
wear
s
a self connected object
and
the self connected object
is an
instance
of
tie clothing
,
then there exists
an object
such that
the object
is an
instance
of
neck
and
the object
is a
part
of
the animal
and
the self connected object
contain
s
the 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
If
an animal
wear
s
a wearable item
and
the wearable item
is an
instance
of
hat
,
then there exists
an object
such that
the object
is an
instance
of
head
and
the object
is a
part
of
the animal
and
the wearable item
meet
s
the 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
If
an animal
wear
s
a wearable item
and
the wearable item
is an
instance
of
shoe
,
then there exists
an object
such that
the object
is an
instance
of
foot
and
the object
is a
part
of
the animal
and
the wearable item
meet
s
the object
(=>
(
wears
?AGENT ?WI)
(
located
?WI ?AGENT))
Merge.kif 15929-15931
If
an animal
wear
s
a wearable item
,
then
the wearable item
is
located
at
the 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
Barefoot
is an
attribute
of
an entity
holds
during
a time position
if and only if there doesn't exist
another entity
such that
the other entity
is an
instance
of
shoe
and
the entity
wear
s
the other entity
holds
during
the time position
(<=>
(
holdsDuring
?T
(
attribute
?A
Naked
))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?A ?C))))))
Mid-level-ontology.kif 30145-30153
Naked
is an
attribute
of
an entity
holds
during
a time position
if and only if there doesn't exist
another entity
such that
the other entity
is an
instance
of
clothing
and
the entity
wear
s
the other entity
holds
during
the time position
(=>
(
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
If
a process
is an
instance
of
dressing
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
clothing
and
the agent
doesn't
wear
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
wear
s
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
removing clothing
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the agent
wear
s
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
doesn't
wear
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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
If
a collection
is an
instance
of
clothing suit
and
a physical
is a
member
of
the collection
and
an entity
wear
s
the physical
holds
during
a time position
,
then for all
another physical
if
the other physical
is a
member
of
the collection
,
then
the entity
wear
s
the other physical
holds
during
the time position
(=>
(
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
If
a collection
is an
instance
of
outfit
and
a physical
is a
member
of
the collection
and
an entity
wear
s
the physical
holds
during
a time position
,
then for all
another physical
if
the other physical
is a
member
of
the collection
,
then
the entity
wear
s
the other physical
holds
during
the time position
(=>
(
and
(
wears
?A ?C)
(
part
?P ?C))
(
wears
?A ?P))
Merge.kif 15933-15937
If
an animal
wear
s
a wearable item
and
another wearable item
is a
part
of
the wearable item
,
then
the animal
wear
s
the other wearable item
(=>
(
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
If
an animal
wear
s
a wearable item
and
the wearable item
is an
instance
of
belt
,
then there exists
another wearable item
such that
the other wearable item
is an
instance
of
clothing
and
the animal
wear
s
the other wearable item
and
the wearable item
meet
s
the other wearable item
(=>
(
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
If
an agent
requires customers to wear
an ambience
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
outfit
and
the agent
believes
the entity
is
the ambience
and for all
a third entity
and
a fourth entity
the agent
is a
customer
of
the third entity
and
the third entity
located
at time
the other entity
for
the agent
and
the fourth entity
is a
member
of
the entity
and
the third entity
wear
s
the fourth entity
holds
during
the other entity
has the
modal
force
of
obligation
(=>
(
experiencer
?IP ?A)
(
exists
(?IC)
(
and
(
instance
?IC
IhramClothing
)
(
holdsDuring
(
WhenFn
?IP)
(
wears
?A ?IC)))))
ArabicCulture.kif 170-177
If
an agent
experience
s
a process
,
then there exists
an entity
such that
the entity
is an
instance
of
ihram clothing
and
the agent
wear
s
the entity
holds
during
the
time
of existence of
the process
(=>
(
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
If
a group
has
uniform
a kind of uniform
,
then the statement there exist
an entity
,
another entity
and
a third entity
such that
the entity
is a
member
of
the group
and
the other entity
is an
instance
of
a kind of uniform
and
the entity
wear
s
the other entity
holds
during
the third entity
has the
modal
force
of
likely
(=>
(
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
If
a physical
is an
instance
of
apron
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
cooking
and
the entity
is an
agent
of
the other entity
and
the entity
wear
s
the physical
holds
during
the
time
of existence of
the other entity
(=>
(
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
If
a physical
is an
instance
of
gutrah
,
then
the physical
has the purpose
if there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the third entity
wear
s
the physical
holds
during
the other entity
and
the third entity
is
located
at
the fourth entity
holds
during
the other entity
and
the entity
is a
hot
season in area of
the fourth entity
,
then
the other entity
takes place
during
the 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
If
a physical
is an
instance
of
shimagh
,
then
the physical
has the purpose
if there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the third entity
wear
s
the physical
holds
during
the other entity
and
the third entity
is
located
at
the fourth entity
holds
during
the other entity
and
the entity
is a
cold
season in area of
the fourth entity
,
then
the other entity
takes place
during
the entity
(=>
(
instance
?H
Abayah
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 533-539
If
a physical
is an
instance
of
abayah
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
woman
and
the entity
wear
s
the physical
(=>
(
instance
?H
Dishdashah
)
(
hasPurpose
?H
(
exists
(?M)
(
and
(
instance
?M
Man
)
(
wears
?M ?H)))))
ArabicCulture.kif 450-456
If
a physical
is an
instance
of
dishdashah
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
man
and
the entity
wear
s
the physical
(=>
(
instance
?H
Hijab
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 502-508
If
a physical
is an
instance
of
hijab
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
woman
and
the entity
wear
s
the physical
(=>
(
instance
?H
Jallabiyyah
)
(
hasPurpose
?H
(
exists
(?M)
(
and
(
instance
?M
Man
)
(
wears
?M ?H)))))
ArabicCulture.kif 438-444
If
a physical
is an
instance
of
jallabiyyah
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
man
and
the entity
wear
s
the physical
(=>
(
instance
?H
Jilbab
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 515-521
If
a physical
is an
instance
of
jilbab
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
woman
and
the entity
wear
s
the physical
(=>
(
instance
?H
Khimar
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 489-495
If
a physical
is an
instance
of
khimar
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
woman
and
the entity
wear
s
the physical
(=>
(
instance
?H
Niqab
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 470-476
If
a physical
is an
instance
of
niqab
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
woman
and
the entity
wear
s
the 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
If
a physical
is an
instance
of
motorcycle glove
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the third entity
is an
instance
of
driving
and
the other entity
is an
agent
of
the third entity
and
the entity
is an
instrument
for
the third entity
and
the entity
is an
instance
of
motorcycle
and
the other entity
wear
s
the physical
holds
during
the
time
of existence of
the third entity
(=>
(
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
If
a physical
is an
instance
of
motorcycle helmet
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the other entity
is an
instance
of
driving
and
the entity
is an
agent
of
the other entity
and
the third entity
is an
instance
of
motorcycle
and
the third entity
is a
patient
of
the other entity
and
the entity
is an
instance
of
human
and
the entity
wear
s
the physical
holds
during
the
time
of existence of
the other entity
(=>
(
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
If
a physical
is an
instance
of
protective eyewear
,
then
the physical
has the purpose
if there exists
the physical
RSON such that
the physical
RSON is an
instance
of
human
and
the physical
RSON
wear
s
the physical
,
then there exist
another entity
,
a third entity
,, ,
a fourth entity
,, ,
a fifth entity
and
a sixth entity
such that
the other entity
is an
instance
of
process
and
the physical
is an
instrument
for
the other entity
and
the fourth entity
is a
subclass
of the
class
described by
the fifth entity
and
the other entity
prevent
s the occurrence of
the fourth 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
If
a physical
is an
instance
of
protective eyewear
,
then
the physical
has the purpose there exist
the physical
RSON,
another entity
,, ,
a third entity
and
a fourth entity
such that
the physical
RSON is an
instance
of
animal
and
the other entity
is an
instance
of
face
and
the third entity
is an
instance
of
eye
and
the third entity
is a
proper
part
of
the other entity
and
the other entity
is a
proper
part
of
the physical
RSON and
the physical
RSON
wear
s
the physical
and
the fourth entity
is an
instance
of
covering
and
the physical
is an
agent
of
the fourth entity
and
the other entity
is a
patient
of
the fourth 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