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 15948-15949
(
domain
wears
1
Animal
)
Merge.kif 15946-15946
Le nombre 1 argument de
wears
est une
instance
de
animal
(
domain
wears
2
WearableItem
)
Merge.kif 15947-15947
Le nombre 2 argument de
wears
est une
instance
de
WearableItem
(
instance
wears
BinaryPredicate
)
Merge.kif 15945-15945
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 5042-5050
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 5295-5299
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 3455-3484
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 3397-3425
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 5261-5265
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 5305-5313
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 3539-3560
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 15955-15959
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 5168-5176
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 5071-5079
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 5119-5127
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 5134-5142
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 5272-5280
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 5246-5254
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 5085-5093
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 5149-5157
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 5183-5191
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 15951-15953
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 30120-30128
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 30133-30141
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 5502-5517
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 5537-5548
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 5305-5313
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 15955-15959
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 5071-5079
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 26663-26671
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 5056-5065
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 4757-4767
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 4377-4388
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 3490-3517
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 3519-3532
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