=>
(=>
(
and
(
attribute
?A
AppraisalAsJustTreatment
)
(
instance
?AJT
AppraisalProcess
)
(
agent
?AJT ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AJT ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
wants
?A ?P))))
emotion.kif 374-387
AppraisalAsJustTreatment
est un
attribut
de
agent cognitif
agent cognitif
JT est une
instance
de
AppraisalProcess
agent cognitif
JT est un
agent
de
agent cognitif
processus
agent cognitif
2
processus
est une
instance
de
processus
agent cognitif
JT inclut une
r
�f�rence �
processus
processus
est un
agent
de
agent cognitif
2
agent cognitif
est
agent cognitif
2
agent cognitif
est un
patient
de
processus
agent cognitif
veut
processus
(=>
(
and
(
attribute
?A
AppraisalAsUnjustTreatment
)
(
instance
?AUJ
AppraisalProcess
)
(
agent
?AUJ ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AUJ ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
not
(
wants
?A ?P)))))
emotion.kif 349-363
AppraisalAsUnjustTreatment
est un
attribut
de
agent cognitif
agent cognitif
UJ est une
instance
de
AppraisalProcess
agent cognitif
UJ est un
agent
de
agent cognitif
processus
agent cognitif
2
processus
est une
instance
de
processus
agent cognitif
UJ inclut une
r
�f�rence �
processus
processus
est un
agent
de
agent cognitif
2
agent cognitif
est
agent cognitif
2
agent cognitif
est un
patient
de
processus
agent cognitif
ne
veut
%n{pas}
processus
(=>
(
and
(
attribute
?A
Founder
)
(
instance
?A
Human
))
(
exists
(?PROC)
(
and
(
instance
?PROC
Founding
)
(
agent
?PROC ?A))))
Biography.kif 223-230
Founder
est un
attribut
de
AutonomousAgent
AutonomousAgent
est une
instance
de
humain
processus
processus
est une
instance
de
Founding
processus
est un
agent
de
AutonomousAgent
(=>
(
and
(
attribute
?AC
TwoFactorAuthentication
)
(
loggedInDuring
?A ?AC ?T))
(
exists
(?TF)
(
and
(
instance
?TF
TwoFactorLoggingIn
)
(
agent
?TF ?A)
(
accountUsed
?TF ?AC)
(
earlier
(
WhenFn
?TF) ?T))))
ComputingBrands.kif 4373-4382
TwoFactorAuthentication
est un
attribut
de
UserAccount
loggedInDuring
AutonomousAgent
,
UserAccount
and
interval temporel
interval temporel
F
interval temporel
F est une
instance
de
TwoFactorLoggingIn
interval temporel
F est un
agent
de
AutonomousAgent
accountUsed
interval temporel
F and
UserAccount
temps
d'existence de
interval temporel
F arrive
plus
t�t que
interval temporel
(=>
(
and
(
attribute
?ACCT ?ATTR)
(
instance
?ATTR
AccountAttribute
))
(
instance
?ACCT
UserAccount
))
UXExperimentalTerms.kif 648-652
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
AccountAttribute
objet
est une
instance
de
UserAccount
(=>
(
and
(
attribute
?ACTOR
VoiceActor
)
(
instance
?DRAMA
DramaticActing
)
(
agent
?DRAMA ?ACTOR)
(
instance
?SPEAK
LinguisticCommunication
)
(
agent
?SPEAK ?ACTOR)
(
subProcess
?SPEAK ?DRAMA))
(
and
(
not
(
exists
(?S ?VIEWER)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?ACTOR)
(
agent
?S ?VIEWER))))
(
exists
(?H ?VIEWER)
(
and
(
instance
?H
Hearing
)
(
patient
?H ?ACTOR)
(
agent
?H ?VIEWER)))))
Biography.kif 757-776
VoiceActor
est un
attribut
de
AutonomousAgent
processus
est une
instance
de
DramaticActing
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
LinguisticCommunication
processus
est un
agent
de
AutonomousAgent
processus
est un
sous
-processus de
processus
processus
AutonomousAgent
processus
est une
instance
de
voir
AutonomousAgent
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
AutonomousAgent
processus
est une
instance
de
entendre
AutonomousAgent
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
(=>
(
and
(
attribute
?AGENT
(
MemberFn
?ORG))
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ORG
Organization
))
(
member
?AGENT ?ORG))
Government.kif 1774-1779
MemberFn
organisation
est un
attribut
de
objet
objet
est une
instance
de
AutonomousAgent
organisation
est une
instance
de
organisation
objet
est un
membre
de
organisation
(=>
(
and
(
attribute
?AREA
CommunistState
)
(
instance
?AREA
Nation
))
(
economyType
?AREA
CentrallyPlannedEconomy
))
Economy.kif 865-869
CommunistState
est un
attribut
de
AutonomousAgent
AutonomousAgent
est une
instance
de
nation
economyType
AutonomousAgent
and
CentrallyPlannedEconomy
(=>
(
and
(
attribute
?AREA
FlatTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.005 ?SLOPE))
Geography.kif 1754-1759
FlatTerrain
est un
attribut
de
objet
zone de terre
est une
partie
de
objet
slopeGradient
zone de terre
and
nombre r�el non n�gatif
0.005 est
plus
grand
que
nombre r�el non n�gatif
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 506-510
HighIncomeCountry
est un
attribut
de
AutonomousAgent
AutonomousAgent
est un
membre
de
OrganizationOfPetroleumExportingCountries
economyType
AutonomousAgent
and
DevelopedCountry
(=>
(
and
(
attribute
?AREA
LowTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.03 ?SLOPE))
Geography.kif 1766-1771
LowTerrain
est un
attribut
de
objet
zone de terre
est une
partie
de
objet
slopeGradient
zone de terre
and
nombre r�el non n�gatif
0.03 est
plus
grand
que
nombre r�el non n�gatif
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
exists
(?GAME)
(
and
(
instance
?GAME
Sport
)
(
contestParticipant
?GAME ?ATHLETE))))
Sports.kif 1364-1371
Attribut
est un
attribut
de
AutonomousAgent
attribut
est une
instance
de
ProfessionalAthlete
affrontement
affrontement
est une
instance
de
sport
contestParticipant
affrontement
and
AutonomousAgent
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
hasSkill
Sport
?ATHLETE))
Sports.kif 1358-1362
Attribut
est un
attribut
de
AutonomousAgent
attribut
est une
instance
de
ProfessionalAthlete
AutonomousAgent
a la
capacit
� de faire
sport
(=>
(
and
(
attribute
?C
Collectible
)
(
hasPurpose
?C ?P))
(
exists
(?H ?P2)
(
and
(
instance
?H
Human
)
(
wants
?H ?C)
(
desires
?H ?P2)
(
entails
?P2
(
possesses
?H ?C))
(
not
(
equal
?P ?P2)))))
Mid-level-ontology.kif 29495-29507
Collectible
est un
attribut
de
objet
objet
a pour
but
formule
agent cognitif
formule
2
agent cognitif
est une
instance
de
humain
agent cognitif
veut
objet
agent cognitif
desire
formule
2
formule
2
n
�cessite
agent cognitif
poss
�de
objet
formule
est
formule
2
(=>
(
and
(
attribute
?D
DeviceDamaged
)
(
hasPurpose
?D ?F))
(
not
(
modalAttribute
?F
Possibility
)))
Mid-level-ontology.kif 29446-29451
DeviceDamaged
est un
attribut
de
objet
objet
a pour
but
formule
l'argument
formule
n' %n{pas} la
force
modale
de
Possibility
(=>
(
and
(
attribute
?D
DeviceNormal
)
(
hasPurpose
?D ?F))
(
modalAttribute
?F
Possibility
))
Mid-level-ontology.kif 29419-29423
DeviceNormal
est un
attribut
de
objet
objet
a pour
but
formule
l'argument
formule
a la
force
modale
de
Possibility
(=>
(
and
(
attribute
?DEVICE ?ATTRIBUTE)
(
instance
?ATTRIBUTE
DeviceAttribute
))
(
instance
?DEVICE
Device
))
Mid-level-ontology.kif 1833-1837
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
DeviceAttribute
objet
est une
instance
de
appareil
(=>
(
and
(
attribute
?DEVICE
Functioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
True
))
Mid-level-ontology.kif 1844-1848
Functioning
est un
attribut
de
objet
objet
a pour
but
formule
truth
formule
and
True
(=>
(
and
(
attribute
?DEVICE
Malfunctioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
False
))
Mid-level-ontology.kif 1854-1858
Malfunctioning
est un
attribut
de
objet
objet
a pour
but
formule
truth
formule
and
False
(=>
(
and
(
attribute
?EXP ?ATTR)
(
instance
?ATTR
ExperimentAttribute
))
(
instance
?EXP
Experimenting
))
UXExperimentalTerms.kif 4407-4411
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
ExperimentAttribute
objet
est une
instance
de
Experimenting
(=>
(
and
(
attribute
?F
DecafAttribute
)
(
instance
?F
Food
))
(
not
(
exists
(?C)
(
and
(
instance
?C
Caffeine
)
(
piece
?C ?F)))))
Food.kif 437-445
DecafAttribute
est un
attribut
de
substance
substance
est une
instance
de
nourriture
substance
substance
est une
instance
de
Caffeine
substance
est une
pi
�ce de
substance
(=>
(
and
(
attribute
?FOOD1
FamilyStylePortion
)
(
measure
?FOOD1
(
MeasureFn
?MEAS1 ?U))
(
not
(
attribute
?FOOD2
FamilyStylePortion
))
(
measure
?FOOD2
(
MeasureFn
?MEAS2 ?U))
(
instance
?FOOD1 ?CLASS)
(
instance
?FOOD2 ?CLASS)
(
instance
?U
UnitOfMeasure
))
(
greaterThan
?MEAS1 ?MEAS2))
Dining.kif 1165-1176
FamilyStylePortion
est un
attribut
de
objet
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
FamilyStylePortion
est un
attribut
de
objet
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
objet
est une
instance
de
classe
objet
est une
instance
de
classe
unit� de mesure
est une
instance
de
unit� de mesure
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
attribute
?H ?D)
(
diseaseTreatment
?D ?P)
(
instance
?TP
TherpeuticProcess
)
(
agent
?TP ?DOC)
(
patient
?TP ?H)
(
attribute
?DOC
MedicalDoctor
))
(
modalAttribute
(
instance
?TP ?P)
Possibility
))
Medicine.kif 5824-5834
Maladie ou syndrome
est un
attribut
de
objet
diseaseTreatment
maladie ou syndrome
and
processus therapeutique
processus
est une
instance
de
TherpeuticProcess
processus
est un
agent
de
maladie ou syndrome
OC
objet
est un
patient
de
processus
MedicalDoctor
est un
attribut
de
maladie ou syndrome
OC
l'argument
processus
est une
instance
de
processus therapeutique
a la
force
modale
de
Possibility
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Female
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 12))
Medicine.kif 172-187
Anemia
est un
attribut
de
objet
objet
est une
instance
de
sang
objet
est une
partie
de
objet
Female
est un
attribut
de
objet
la
mesure
de
objet
est 0.1
Liter
(s)
objet
E est une
instance
de
Hemoglobin
objet
E est une
partie
de
objet
objet
E2 est une
instance
de
Hemoglobin
objet
E est
objet
E2
objet
2 est une
partie
de
objet
la
mesure
de
objet
E est
nombre r�el
Gram
(s)
nombre r�el
est
moins
que 12
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Male
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 13))
Medicine.kif 155-170
Anemia
est un
attribut
de
objet
objet
est une
instance
de
sang
objet
est une
partie
de
objet
Male
est un
attribut
de
objet
la
mesure
de
objet
est 0.1
Liter
(s)
objet
E est une
instance
de
Hemoglobin
objet
E est une
partie
de
objet
objet
E2 est une
instance
de
Hemoglobin
objet
E est
objet
E2
objet
2 est une
partie
de
objet
la
mesure
de
objet
E est
nombre r�el
Gram
(s)
nombre r�el
est
moins
que 13
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