Likely
(=>
(
attribute
?MR
HipHopMusic
)
(
modalAttribute
(
exists
(?MM ?S)
(
and
(
record
?MR ?MM)
(
instance
?S
Speaking
)
(
subProcess
?S ?MM)))
Likely
))
Music.kif 727-734
HipHopMusic
est un
attribut
de
objet
l'argument
entit�
entit�
record
objet
and
entit�
entit�
est une
instance
de
Speaking
entit�
est un
sous
-processus de
entit�
a la
force
modale
de
Likely
(=>
(
attribute
?MR
IndieMusic
)
(
modalAttribute
(
not
(
exists
(?R)
(
recordingCompany
?MR ?R)))
Likely
))
Music.kif 741-746
IndieMusic
est un
attribut
de
objet
l'argument
entit�
recordingCompany
objet
and
entit�
a la
force
modale
de
Likely
(=>
(
attribute
?O
Translucent
)
(
modalAttribute
(
not
(
exists
(?S ?A ?D)
(
and
(
instance
?S
Seeing
)
(
agent
?S ?A)
(
destination
?S ?D)
(
between
?O ?A ?D))))
Likely
))
Mid-level-ontology.kif 15139-15149
Translucent
est un
attribut
de
objet
l'argument
entit�
entit�
and
entit�
entit�
est une
instance
de
voir
entit�
est un
agent
de
entit�
entit�
aboutit
�
entit�
entit�
est
entre
objet
et
entit�
a la
force
modale
de
Likely
(=>
(
attribute
?X
CommunalAttribute
)
(
modalAttribute
(
not
(
attribute
?X
PrivateAttribute
))
Likely
))
Mid-level-ontology.kif 27163-27166
CommunalAttribute
est un
attribut
de
objet
l'argument
PrivateAttribute
est un
attribut
de
objet
a la
force
modale
de
Likely
(=>
(
attribute
?X
PrivateAttribute
)
(
modalAttribute
(
not
(
attribute
?X
CommunalAttribute
))
Likely
))
Mid-level-ontology.kif 27158-27161
PrivateAttribute
est un
attribut
de
objet
l'argument
CommunalAttribute
est un
attribut
de
objet
a la
force
modale
de
Likely
(=>
(
browserID
?STRING ?BROWSER ?SITE)
(
modalAttribute
(
not
(
exists
(?BROWSER2)
(
and
(
instance
?BROWSER2
WebBrowser
)
(
browserID
?STRING ?BROWSER2 ?SITE))))
Likely
))
UXExperimentalTerms.kif 750-758
browserID
Identifier
,
WebBrowser
and
WebSite
l'argument
WebBrowser
WebBrowser
est une
instance
de
WebBrowser
browserID
Identifier
,
WebBrowser
and
WebSite
a la
force
modale
de
Likely
(=>
(
dayPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 6)
(
lessThan
?Num 18)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3691-3711
dayPhone
cha�ne sympbolique
and
AutonomousAgent
Telephone
entit�
and
nombre r�el
phoneNumber
cha�ne sympbolique
and
Telephone
nombre r�el
est
plus
grand
que 6
nombre r�el
est
moins
que 18
entit�
entit�
est une
instance
de
Telephoning
entit�
aboutit
�
AutonomousAgent
Telephone
est un
patient
de
entit�
AutonomousAgent
poss
�de
Telephone
l'argument
entit�
entit�
est une
instance
de
Answering
entit�
est un
sous
-processus de
entit�
entit�
est un
agent
de
AutonomousAgent
a la
force
modale
de
Likely
pendant
entit�
est une
instance
de l'
heure
nombre r�el
(=>
(
eveningPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 18)
(
lessThan
?Num 6)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3735-3755
eveningPhone
cha�ne sympbolique
and
AutonomousAgent
Telephone
entit�
and
nombre r�el
phoneNumber
cha�ne sympbolique
and
Telephone
nombre r�el
est
plus
grand
que 18
nombre r�el
est
moins
que 6
entit�
entit�
est une
instance
de
Telephoning
entit�
aboutit
�
AutonomousAgent
Telephone
est un
patient
de
entit�
AutonomousAgent
poss
�de
Telephone
l'argument
entit�
entit�
est une
instance
de
Answering
entit�
est un
sous
-processus de
entit�
entit�
est un
agent
de
AutonomousAgent
a la
force
modale
de
Likely
pendant
entit�
est une
instance
de l'
heure
nombre r�el
(=>
(
habitatOfOrganism
?O ?L)
(
modalAttribute
(
exists
(?OI)
(
and
(
instance
?OI ?O)
(
inhabits
?OI ?L)))
Likely
))
Mid-level-ontology.kif 30376-30383
habitatOfOrganism
organisme
and
secteur g�ographique
l'argument
organisme
I
organisme
I est une
instance
de
organisme
organisme
I
vie
�
secteur g�ographique
a la
force
modale
de
Likely
(=>
(
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
(=>
(
holdsDuring
?T
(
and
(
maxDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3629-3642
maxDeviceOperatingTemp
entit�
and
entit�
entit�
(s)
entit�
est une
instance
de
UnitOfTemperature
entit�
est
situ
� �
entit�
DeviceOn
est un
attribut
de
entit�
airTemperature
entit�
and
entit�
entit�
(s)
entit�
est
plus
grand
que
entit�
pendant
position temporel
l'argument
DeviceDamaged
est un
attribut
de
entit�
pendant
immediatement
apr
�s
position temporel
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
and
(
maxDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3657-3670
maxDeviceStorageTemp
entit�
and
entit�
entit�
(s)
entit�
est une
instance
de
UnitOfTemperature
entit�
est
situ
� �
entit�
DeviceOff
est un
attribut
de
entit�
airTemperature
entit�
and
entit�
entit�
(s)
entit�
est
plus
grand
que
entit�
pendant
position temporel
l'argument
DeviceDamaged
est un
attribut
de
entit�
pendant
immediatement
apr
�s
position temporel
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
and
(
minDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3682-3695
minDeviceOperatingTemp
entit�
and
entit�
entit�
(s)
entit�
est une
instance
de
UnitOfTemperature
entit�
est
situ
� �
entit�
DeviceOn
est un
attribut
de
entit�
airTemperature
entit�
and
entit�
entit�
(s)
entit�
est
moins
que
entit�
pendant
position temporel
l'argument
DeviceDamaged
est un
attribut
de
entit�
pendant
immediatement
apr
�s
position temporel
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
and
(
minDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3708-3721
minDeviceStorageTemp
entit�
and
entit�
entit�
(s)
entit�
est une
instance
de
UnitOfTemperature
entit�
est
situ
� �
entit�
DeviceOff
est un
attribut
de
entit�
airTemperature
entit�
and
entit�
entit�
(s)
entit�
est
moins
que
entit�
pendant
position temporel
l'argument
DeviceDamaged
est un
attribut
de
entit�
pendant
immediatement
apr
�s
position temporel
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
Anger
))
(
modalAttribute
(
exists
(?HF)
(
and
(
instance
?HF
AngryFacialExpression
)
(
experiencer
?HF ?A)
(
during
(
WhenFn
?HF) ?T)))
Likely
))
emotion.kif 1244-1253
Colère
est un
attribut
de
entit�
pendant
position temporel
l'argument
entit�
entit�
est une
instance
de
AngryFacialExpression
entit�
exp
�rimente
entit�
temps
d'existence de
entit�
prend place
pendant
position temporel
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
Disgust
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
DisgustedFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1262-1271
Dégoût
est un
attribut
de
entit�
pendant
position temporel
l'argument
entit�
entit�
est une
instance
de
DisgustedFacialExpression
entit�
exp
�rimente
entit�
temps
d'existence de
entit�
prend place
pendant
position temporel
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
believes
?A
(
modalAttribute
(
exists
(?P)
(
and
(
not
(
wants
?A ?P))
(
before
?T
(
WhenFn
?P))))
Likely
)))
emotion.kif 1025-1036
Peur
est un
attribut
de
agent cognitif
pendant
position temporel
agent cognitif
croit
l'argument
entit�
agent cognitif
ne
veut
%n{pas}
entit�
position temporel
se produit
avant
temps
d'existence de
entit�
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
FearfulFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1344-1353
Peur
est un
attribut
de
entit�
pendant
position temporel
l'argument
entit�
entit�
est une
instance
de
FearfulFacialExpression
entit�
exp
�rimente
entit�
temps
d'existence de
entit�
prend place
pendant
position temporel
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
Happiness
))
(
modalAttribute
(
exists
(?HF)
(
and
(
instance
?HF
HappyFacialExpression
)
(
experiencer
?HF ?A)
(
during
(
WhenFn
?HF) ?T)))
Likely
))
emotion.kif 1226-1235
Bonheur
est un
attribut
de
entit�
pendant
position temporel
l'argument
entit�
entit�
est une
instance
de
HappyFacialExpression
entit�
exp
�rimente
entit�
temps
d'existence de
entit�
prend place
pendant
position temporel
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
Sadness
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
SadFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1325-1334
Tristesse
est un
attribut
de
entit�
pendant
position temporel
l'argument
entit�
entit�
est une
instance
de
SadFacialExpression
entit�
exp
�rimente
entit�
temps
d'existence de
entit�
prend place
pendant
position temporel
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
Surprise
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
SurprisedFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1281-1290
Surprise
est un
attribut
de
entit�
pendant
position temporel
l'argument
entit�
entit�
est une
instance
de
SurprisedFacialExpression
entit�
exp
�rimente
entit�
temps
d'existence de
entit�
prend place
pendant
position temporel
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
Eardrum
)))
(
modalAttribute
(
not
(
exists
(?HEAR)
(
and
(
instance
?HEAR
Hearing
)
(
during
(
WhenFn
?HEAR) ?T)
(
experiencer
?HEAR ?H))))
Likely
))
Anatomy.kif 1645-1656
ImpairedBodyPartFn
Eardrum
est un
attribut
de
entit�
pendant
position temporel
l'argument
entit�
EAR
entit�
EAR est une
instance
de
entendre
temps
d'existence de
entit�
EAR prend place
pendant
position temporel
entit�
exp
�rimente
entit�
EAR a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?H
Bedridden
))
(
holdsDuring
?T
(
modalAttribute
(
exists
(?B)
(
and
(
instance
?B
Bed
)
(
located
?H ?B)))
Likely
)))
Mid-level-ontology.kif 11040-11049
Bedridden
est un
attribut
de
entit�
pendant
position temporel
l'argument
entit�
entit�
est une
instance
de
Bed
entit�
est
situ
� �
entit�
a la
force
modale
de
Likely
pendant
position temporel
(=>
(
holdsDuring
?T
(
attribute
?H
Covid19
))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H)))
Likely
))
Medicine.kif 2798-2807
Covid19
est un
attribut
de
entit�
pendant
position temporel
l'argument
entit�
est une
instance
de
COVIDAntibody
entit�
est une
partie
de
entit�
pendant
immediatement
apr
�s
position temporel
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?H
Depression
))
(
modalAttribute
(
holdsDuring
?T
(
not
(
attribute
?H
Happiness
)))
Likely
))
Mid-level-ontology.kif 6394-6401
Depression
est un
attribut
de
entit�
pendant
position temporel
l'argument
bonheur
est un
attribut
de
entit�
pendant
position temporel
a la
force
modale
de
Likely
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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