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
Le nombre 1 argument de
wears
est une
instance
de
animal
(
domain
wears
2
WearableItem
)
Merge.kif 15925-15925
Le nombre 2 argument de
wears
est une
instance
de
WearableItem
(
instance
wears
BinaryPredicate
)
Merge.kif 15923-15923
wears
est une
instance
de
pr�dicat binaire
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
Entit�
est une
instance
de
OutdoorClothing
entit�
porte
entit�
pendant
position temporel
entit�
entit�
est une
instance
de
immeuble
entit�
est
situ
� �
entit�
pendant
position temporel
(=>
(
and
(
instance
?DRESS
Dress
)
(
wears
?PERSON ?DRESS))
(
instance
?PERSON
Woman
))
Mid-level-ontology.kif 5296-5300
WearableItem
est une
instance
de
Dress
animal
porte
WearableItem
animal
est une
instance
de
Woman
(=>
(
and
(
instance
?EARPHONE
Earphone
)
(
wears
?PERSON ?EARPHONE)
(
instance
?HEAD
Head
)
(
part
?HEAD ?PERSON))
(
located
?EARPHONE ?HEAD))
ComputerInput.kif 510-516
WearableItem
est une
instance
de
Earphone
animal
porte
WearableItem
objet
est une
instance
de
Head
objet
est une
partie
de
animal
WearableItem
est
situ
� �
objet
(=>
(
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
est une
instance
de
HearingProtection
animal
est une
instance
de
humain
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
WearableItem
est un
instrument
pour
entit�
(=>
(
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
est une
instance
de
IhramClothing
animal
porte
WearableItem
Male
est un
attribut
de
WearableItem
physique
physique
and
physique
physique
est une
instance
de
Cloak
physique
est une
instance
de
Belt
physique
est une
instance
de
Sandal
physique
est un
membre
de
animal
physique
est un
membre
de
animal
physique
est un
membre
de
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
WearableItem
est une
instance
de
SafetyHarness
animal
est une
instance
de
animal
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
WearableItem
est un
instrument
pour
entit�
animal
est un
patient
de
entit�
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
(=>
(
and
(
instance
?SHIRT
Shirt
)
(
wears
?PERSON ?SHIRT))
(
instance
?PERSON
Human
))
Mid-level-ontology.kif 5262-5266
WearableItem
est une
instance
de
Shirt
animal
porte
WearableItem
animal
est une
instance
de
humain
(=>
(
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
est une
instance
de
ClothingSuit
physique
est un
membre
de
collection
entit�
porte
physique
pendant
position temporel
physique
physique
est un
membre
de
collection
entit�
porte
physique
pendant
position temporel
(=>
(
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
est une
instance
de
Outfit
physique
est un
membre
de
collection
entit�
porte
physique
pendant
position temporel
physique
physique
est un
membre
de
collection
entit�
porte
physique
pendant
position temporel
(=>
(
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
est une
instance
de
Respirator
animal
est une
instance
de
animal
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
processus
WearableItem
est un
instrument
pour
entit�
entit�
previent
l'occurrence de
entit�
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
(=>
(
and
(
wears
?A ?C)
(
part
?P ?C))
(
wears
?A ?P))
Merge.kif 15933-15937
Animal
porte
WearableItem
WearableItem
est une
partie
de
WearableItem
animal
porte
WearableItem
(=>
(
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
porte
objet en une partie
objet en une partie
est une
instance
de
Trousers
objet
objet
est une
instance
de
Leg
objet
est une
partie
de
animal
objet en une partie
contient
objet
(=>
(
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
porte
WearableItem
WearableItem
est une
instance
de
Belt
WearableItem
WearableItem
est une
instance
de
v�tement
animal
porte
WearableItem
WearableItem
rencontre
WearableItem
(=>
(
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
porte
WearableItem
WearableItem
est une
instance
de
Collar
objet
objet
est une
instance
de
Neck
objet
est une
partie
de
animal
WearableItem
rencontre
objet
(=>
(
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
porte
WearableItem
WearableItem
est
situ
� �
objet
WearableItem
est une
instance
de
Clock
objet
est une
instance
de
Wrist
objet
est une
partie
de
animal
WearableItem
est une
instance
de
WatchClock
(=>
(
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
porte
WearableItem
WearableItem
est une
instance
de
Glove
objet
objet
est une
instance
de
Hand
objet
est une
partie
de
animal
WearableItem
rencontre
objet
(=>
(
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
porte
objet en une partie
objet en une partie
est une
instance
de
Sleeve
objet
objet
est une
instance
de
Arm
objet
est une
partie
de
animal
objet en une partie
contient
objet
(=>
(
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
porte
objet en une partie
objet en une partie
est une
instance
de
Sock
objet
objet
est une
instance
de
Foot
objet
est une
partie
de
animal
objet en une partie
contient
objet
(=>
(
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
porte
objet en une partie
objet en une partie
est une
instance
de
TieClothing
objet
objet
est une
instance
de
Neck
objet
est une
partie
de
animal
objet en une partie
contient
objet
(=>
(
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
porte
WearableItem
WearableItem
est une
instance
de
Hat
objet
objet
est une
instance
de
Head
objet
est une
partie
de
animal
WearableItem
rencontre
objet
(=>
(
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
porte
WearableItem
WearableItem
est une
instance
de
Shoe
objet
objet
est une
instance
de
Foot
objet
est une
partie
de
animal
WearableItem
rencontre
objet
(=>
(
wears
?AGENT ?WI)
(
located
?WI ?AGENT))
Merge.kif 15929-15931
Animal
porte
WearableItem
WearableItem
est
situ
� �
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
est un
attribut
de
entit�
pendant
position temporel
entit�
entit�
est une
instance
de
Shoe
entit�
porte
entit�
pendant
position temporel
(<=>
(
holdsDuring
?T
(
attribute
?A
Naked
))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?A ?C))))))
Mid-level-ontology.kif 30145-30153
Naked
est un
attribut
de
entit�
pendant
position temporel
entit�
entit�
est une
instance
de
v�tement
entit�
porte
entit�
pendant
position temporel
(=>
(
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
Processus
est une
instance
de
Dressing
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
v�tement
AutonomousAgent
ne
porte
%n{pas}
entit�
pendant
le
d
�but de
temps
d'existence de
processus
AutonomousAgent
porte
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
RemovingClothing
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
porte
entit�
pendant
le
d
�but de
temps
d'existence de
processus
AutonomousAgent
ne
porte
%n{pas}
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
est une
instance
de
ClothingSuit
physique
est un
membre
de
collection
entit�
porte
physique
pendant
position temporel
physique
physique
est un
membre
de
collection
entit�
porte
physique
pendant
position temporel
(=>
(
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
est une
instance
de
Outfit
physique
est un
membre
de
collection
entit�
porte
physique
pendant
position temporel
physique
physique
est un
membre
de
collection
entit�
porte
physique
pendant
position temporel
(=>
(
and
(
wears
?A ?C)
(
part
?P ?C))
(
wears
?A ?P))
Merge.kif 15933-15937
Animal
porte
WearableItem
WearableItem
est une
partie
de
WearableItem
animal
porte
WearableItem
(=>
(
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
porte
WearableItem
WearableItem
est une
instance
de
Belt
WearableItem
WearableItem
est une
instance
de
v�tement
animal
porte
WearableItem
WearableItem
rencontre
WearableItem
(=>
(
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
l'argument
entit�
entit�
entit�
est une
instance
de
Outfit
subjectiveAttribute
entit�
,
AmbienceAttribute
and
AutonomousAgent
entit�
entit�
customer
entit�
and
AutonomousAgent
locatedAtTime
entit�
,
entit�
and
AutonomousAgent
entit�
est un
membre
de
entit�
entit�
porte
entit�
pendant
entit�
a la
force
modale
de
Obligation
(=>
(
experiencer
?IP ?A)
(
exists
(?IC)
(
and
(
instance
?IC
IhramClothing
)
(
holdsDuring
(
WhenFn
?IP)
(
wears
?A ?IC)))))
ArabicCulture.kif 170-177
AutonomousAgent
exp
�rimente
processus
entit�
entit�
est une
instance
de
IhramClothing
AutonomousAgent
porte
entit�
pendant
temps
d'existence de
processus
(=>
(
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
groupe
and
UniformClothing
l'argument
entit�
entit�
and
entit�
entit�
est un
membre
de
groupe
entit�
est une
instance
de
UniformClothing
entit�
porte
entit�
pendant
entit�
a la
force
modale
de
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
Physique
est une
instance
de
Apron
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
cuisiner
entit�
est un
agent
de
entit�
entit�
porte
physique
pendant
temps
d'existence de
entit�
(=>
(
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
Physique
est une
instance
de
Gutrah
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
porte
physique
pendant
entit�
entit�
est
situ
� �
entit�
pendant
entit�
hotSeasonInArea
entit�
and
entit�
entit�
prend place
pendant
entit�
(=>
(
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
Physique
est une
instance
de
Shimagh
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
porte
physique
pendant
entit�
entit�
est
situ
� �
entit�
pendant
entit�
coldSeasonInArea
entit�
and
entit�
entit�
prend place
pendant
entit�
(=>
(
instance
?H
Abayah
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 533-539
Physique
est une
instance
de
Abayah
physique
a pour
but
entit�
entit�
est une
instance
de
Woman
entit�
porte
physique
(=>
(
instance
?H
Dishdashah
)
(
hasPurpose
?H
(
exists
(?M)
(
and
(
instance
?M
Man
)
(
wears
?M ?H)))))
ArabicCulture.kif 450-456
Physique
est une
instance
de
Dishdashah
physique
a pour
but
entit�
entit�
est une
instance
de
Man
entit�
porte
physique
(=>
(
instance
?H
Hijab
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 502-508
Physique
est une
instance
de
Hijab
physique
a pour
but
entit�
entit�
est une
instance
de
Woman
entit�
porte
physique
(=>
(
instance
?H
Jallabiyyah
)
(
hasPurpose
?H
(
exists
(?M)
(
and
(
instance
?M
Man
)
(
wears
?M ?H)))))
ArabicCulture.kif 438-444
Physique
est une
instance
de
Jallabiyyah
physique
a pour
but
entit�
entit�
est une
instance
de
Man
entit�
porte
physique
(=>
(
instance
?H
Jilbab
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 515-521
Physique
est une
instance
de
Jilbab
physique
a pour
but
entit�
entit�
est une
instance
de
Woman
entit�
porte
physique
(=>
(
instance
?H
Khimar
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 489-495
Physique
est une
instance
de
Khimar
physique
a pour
but
entit�
entit�
est une
instance
de
Woman
entit�
porte
physique
(=>
(
instance
?H
Niqab
)
(
hasPurpose
?H
(
exists
(?W)
(
and
(
instance
?W
Woman
)
(
wears
?W ?H)))))
ArabicCulture.kif 470-476
Physique
est une
instance
de
Niqab
physique
a pour
but
entit�
entit�
est une
instance
de
Woman
entit�
porte
physique
(=>
(
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
Physique
est une
instance
de
MotorcycleGlove
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
conduire
entit�
est un
agent
de
entit�
entit�
est un
instrument
pour
entit�
entit�
est une
instance
de
Motorcycle
entit�
porte
physique
pendant
temps
d'existence de
entit�
(=>
(
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
Physique
est une
instance
de
MotorcycleHelmet
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
conduire
entit�
est un
agent
de
entit�
entit�
est une
instance
de
Motorcycle
entit�
est un
patient
de
entit�
entit�
est une
instance
de
humain
entit�
porte
physique
pendant
temps
d'existence de
entit�
(=>
(
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
Physique
est une
instance
de
ProtectiveEyewear
physique
a pour
but
physique
RSON
physique
RSON est une
instance
de
humain
physique
RSON
porte
physique
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
processus
physique
est un
instrument
pour
entit�
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
(=>
(
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
Physique
est une
instance
de
ProtectiveEyewear
physique
a pour
but
physique
RSON
entit�
,
entit�
and
entit�
physique
RSON est une
instance
de
animal
entit�
est une
instance
de
Face
entit�
est une
instance
de
Eye
entit�
est une
partie
de
entit�
entit�
est une
partie
de
physique
RSON
physique
RSON
porte
physique
entit�
est une
instance
de
couvrir
entit�
est un
agent
de
physique
entit�
est un
patient
de
entit�
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