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
The number 1 argument of
wears
is an
instance
of
animal
(
domain
wears
2
WearableItem
)
Merge.kif 15997-15997
The number 2 argument of
wears
is an
instance
of
wearable item
(
instance
wears
BinaryPredicate
)
Merge.kif 15995-15995
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 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
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 5290-5294
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 3432-3461
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 3374-3402
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 5256-5260
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 5300-5308
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 3516-3537
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 16005-16009
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 5163-5171
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 5066-5074
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 5114-5122
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 2890-2897
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 5129-5137
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 5267-5275
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 5241-5249
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 5080-5088
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 5144-5152
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 5178-5186
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 16001-16003
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 30156-30164
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 30169-30177
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 5497-5512
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 5532-5543
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 5300-5308
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 16005-16009
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 5066-5074
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 26708-26716
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 5051-5060
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 4734-4744
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 4354-4365
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 3467-3494
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 3496-3509
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