not
(=>
(
and
(
instance
?MONTH
(
MonthFn
February
?YEAR))
(
instance
?Y ?YEAR)
(
not
(
instance
?Y
LeapYear
)))
(
duration
?MONTH
(
MeasureFn
28
DayDuration
)))
Merge.kif 9066-9071
Interval temporel
est une
instance
de le
moi
F�vrier
entit�
est une
instance
de
entit�
EAR
entit�
est une
instance
de
ann�e bissextile
la
dur
�� de
interval temporel
est 28
DayDuration
(s)
(=>
(
and
(
instance
?NUMBER
Integer
)
(
not
(
equal
?NUMBER 0)))
(
equal
1
(
MultiplicationFn
?NUMBER
(
ReciprocalFn
?NUMBER))))
Merge.kif 5086-5091
Nombre r�el
est une
instance
de
nombre entier
nombre r�el
est
nombre r�el
+ le
reciproque
de
nombre r�el
(=>
(
and
(
instance
?P
PerniciousAnemia
)
(
experiencer
?P ?H1)
(
amount
VitaminB12
?H1
(
MeasureFn
?N1 ?U))
(
amount
VitaminB12
?H2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
)
(
not
(
equal
?H1 ?H2)))
(
greaterThan
?N2 ?N1))
Medicine.kif 2695-2704
Processus
est une
instance
de
PerniciousAnemia
AutonomousAgent
exp
�rimente
processus
amount
VitaminB12
,
AutonomousAgent
and
nombre r�el
unit� de mesure
(s)
amount
VitaminB12
,
objet corpusculaire
and
nombre r�el
unit� de mesure
(s)
Healthy
est un
attribut
de
objet corpusculaire
AutonomousAgent
est
objet corpusculaire
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
NegativeInfinity
)))
(
before
NegativeInfinity
?POINT))
Merge.kif 7887-7891
Point temporel
est une
instance
de
point temporel
point temporel
est
NegativeInfinity
NegativeInfinity
se produit
avant
point temporel
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
NegativeInfinity
)))
(
exists
(?OTHERPOINT)
(
temporallyBetween
NegativeInfinity
?OTHERPOINT ?POINT)))
Merge.kif 7893-7898
Point temporel
est une
instance
de
point temporel
point temporel
est
NegativeInfinity
point temporel
point temporel
est
entre
NegativeInfinity
et
point temporel
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
PositiveInfinity
)))
(
before
?POINT
PositiveInfinity
))
Merge.kif 7869-7873
Point temporel
est une
instance
de
point temporel
point temporel
est
PositiveInfinity
point temporel
se produit
avant
PositiveInfinity
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
PositiveInfinity
)))
(
exists
(?OTHERPOINT)
(
temporallyBetween
?POINT ?OTHERPOINT
PositiveInfinity
)))
Merge.kif 7875-7880
Point temporel
est une
instance
de
point temporel
point temporel
est
PositiveInfinity
point temporel
point temporel
est
entre
point temporel
et
PositiveInfinity
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
Interval temporel
est une
instance
de
interval temporel
_CLASS
interval temporel
_CLASS est une
sous
-classe de
processus
AccessingWebPage
est une
instance
de
AccessingWebPage
AutonomousAgent
est une
instance
de
AutonomousAgent
interval temporel
est un
agent
de
AutonomousAgent
AccessingWebPage
est un
agent
de
AutonomousAgent
interval temporel
prend place
pendant
AccessingWebPage
physique
est une
instance
de
interval temporel
interval temporel
2
interval temporel
2 est une
instance
de
interval temporel
_CLASS
interval temporel
2 est un
agent
de
AutonomousAgent
interval temporel
2 prend place
pendant
AccessingWebPage
le
d
�but de
temps
d'existence de
interval temporel
2 se produit
avant
le
d
�but de
temps
d'existence de
interval temporel
le
d
�but de
temps
d'existence de
AccessingWebPage
est
d
�but de
temps
d'existence de
physique
le
d
�but de
temps
d'existence de
interval temporel
est
fin
de
temps
d'existence de
physique
TTFxFn
interval temporel
_CLASS and
AccessingWebPage
est
physique
(=>
(
and
(
instance
?PROCESS
TakingOff
)
(
patient
?PROCESS ?DUD)
(
not
(
exists
(?EXPLOSION)
(
and
(
instance
?EXPLOSION
Explosion
)
(
patient
?EXPLOSION ?DUD)))))
(
instance
?DUD
AbsoluteDud
))
MilitaryDevices.kif 1409-1418
Processus
est une
instance
de
TakingOff
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
Explosion
entit�
est un
patient
de
processus
entit�
est une
instance
de
AbsoluteDud
(=>
(
and
(
instance
?R
CervicalVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
CervicalVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 561-574
Partie du corps
est une
instance
de
CervicalVertebraBone
partie du corps
est une
partie
de
objet
objet
est une
instance
de
humain
maladie ou syndrome
est un
attribut
de
objet
partie du corps
partie du corps
est une
instance
de
CervicalVertebraBone
partie du corps
est
partie du corps
partie du corps
est une
partie
de
objet
connectedBodyPart
partie du corps
and
partie du corps
(=>
(
and
(
instance
?R
FalseRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
not
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R)))))
Anatomy.kif 505-517
Partie du corps
est une
instance
de
FalseRibBone
partie du corps
est une
partie
de
objet
objet
est une
instance
de
humain
maladie ou syndrome
est un
attribut
de
objet
partie du corps
partie du corps
est une
instance
de
Sternum
partie du corps
est une
partie
de
objet
connectedBodyPart
partie du corps
and
partie du corps
(=>
(
and
(
instance
?R
LumbarVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
LumbarVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 601-614
Partie du corps
est une
instance
de
LumbarVertebraBone
partie du corps
est une
partie
de
objet
objet
est une
instance
de
humain
maladie ou syndrome
est un
attribut
de
objet
partie du corps
partie du corps
est une
instance
de
LumbarVertebraBone
partie du corps
est
partie du corps
partie du corps
est une
partie
de
objet
connectedBodyPart
partie du corps
and
partie du corps
(=>
(
and
(
instance
?R
Ratchet
)
(
instance
?A
AttachingDevice
)
(
instance
?RO1
Rotating
)
(
attribute
?RO1 ?DIR1)
(
instance
?RO2
Rotating
)
(
attribute
?RO2 ?DIR2)
(
instance
?DIR1
RotationalAttribute
)
(
instance
?DIR2
RotationalAttribute
)
(
not
(
equal
?RO1 ?RO2))
(
causes
?RO1 ?RO2)
(
patient
?RO1
Ratchet
)
(
patient
?RO2 ?A))
(
equal
?DIR1 ?DIR2))
Cars.kif 4927-4942
Entit�
est une
instance
de
Ratchet
entit�
est une
instance
de
AttachingDevice
entit�
O1 est une
instance
de
Rotating
attribut
est un
attribut
de
entit�
O1
entit�
O2 est une
instance
de
Rotating
attribut
est un
attribut
de
entit�
O2
attribut
est une
instance
de
RotationalAttribute
attribut
est une
instance
de
RotationalAttribute
entit�
O1 est
entit�
O2
entit�
O1
cause
entit�
O2
Ratchet
est un
patient
de
entit�
O1
entit�
est un
patient
de
entit�
O2
attribut
est
attribut
(=>
(
and
(
instance
?R
ThoracicVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
ThoracicVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 669-682
Partie du corps
est une
instance
de
ThoracicVertebraBone
partie du corps
est une
partie
de
objet
objet
est une
instance
de
humain
maladie ou syndrome
est un
attribut
de
objet
partie du corps
partie du corps
est une
instance
de
ThoracicVertebraBone
partie du corps
est
partie du corps
partie du corps
est une
partie
de
objet
connectedBodyPart
partie du corps
and
partie du corps
(=>
(
and
(
instance
?R
TrueRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 492-503
Partie du corps
est une
instance
de
TrueRibBone
partie du corps
est une
partie
de
objet
objet
est une
instance
de
humain
maladie ou syndrome
est un
attribut
de
objet
partie du corps
partie du corps
est une
instance
de
Sternum
partie du corps
est une
partie
de
objet
connectedBodyPart
partie du corps
and
partie du corps
(=>
(
and
(
instance
?RC
RibCage
)
(
part
?RC ?H)
(
instance
?H
Human
)
(
attribute
?H
Living
)
(
not
(
and
(
instance
?P
PathologicProcess
)
(
located
?P ?H))))
(
exists
(?HT ?LG)
(
and
(
instance
?HT
Heart
)
(
instance
?HT
Lung
)
(
contains
?RC ?LG)
(
contains
?RC ?HT))))
Mid-level-ontology.kif 11247-11262
Objet en une partie
est une
instance
de
RibCage
objet en une partie
est une
partie
de
objet
objet
est une
instance
de
humain
Living
est un
attribut
de
objet
~{
physique
est une
instance
de
processus pathologique
} ~{
physique
est
situ
� �
objet
}
objet
T
objet
objet
T est une
instance
de
Heart
objet
T est une
instance
de
Lung
objet en une partie
contient
objet
objet en une partie
contient
objet
T
(=>
(
and
(
instance
?S
Soldering
)
(
patient
?S ?OBJ1)
(
patient
?S ?OBJ2)
(
not
(
equal
?OBJ1 ?OBJ2)))
(
exists
(?A)
(
and
(
instance
?A
MetallicAlloy
)
(
connects
?A ?OBJ1 ?OBJ2))))
Mid-level-ontology.kif 5630-5639
Processus
est une
instance
de
Soldering
objet
est un
patient
de
processus
objet
est un
patient
de
processus
objet
est
objet
objet
objet
est une
instance
de
MetallicAlloy
objet
relie
objet
et
objet
(=>
(
and
(
instance
?SEA
Ocean
)
(
not
(
equal
?SEA
ArcticOcean
)))
(
smaller
ArcticOcean
?SEA))
Geography.kif 4643-4647
Objet
est une
instance
de
Ocean
objet
est
ArcticOcean
ArcticOcean
est
plus
petit que
objet
(=>
(
and
(
instance
?SH1
Shaft
)
(
instance
?SH2
Shaft
)
(
not
(
equal
?SH1 ?SH2))
(
instance
?R1
Rotating
)
(
patient
?R1 ?SH1)
(
instance
?R2
Rotating
)
(
patient
?R2 ?SH2)
(
causes
?R1 ?R2)
(
instance
?CV
CVJoint
)
(
connectedEngineeringComponents
?R1 ?CV)
(
connectedEngineeringComponents
?R2 ?CV)
(
holdsDuring
(
WhenFn
?R1)
(
equal
?SH1
(
RotationFn
?N ?T))))
(
holdsDuring
(
WhenFn
?R2)
(
equal
?SH2
(
RotationFn
?N ?T))))
Cars.kif 2114-2133
Entit�
est une
instance
de
Shaft
entit�
est une
instance
de
Shaft
entit�
est
entit�
composant d'un appareil
est une
instance
de
Rotating
entit�
est un
patient
de
composant d'un appareil
composant d'un appareil
est une
instance
de
Rotating
entit�
est un
patient
de
composant d'un appareil
composant d'un appareil
cause
composant d'un appareil
composant d'un appareil
est une
instance
de
CVJoint
composant d'un appareil
est
connect
� �
composant d'un appareil
composant d'un appareil
est
connect
� �
composant d'un appareil
entit�
est
RotationFn
entit�
and
entit�
pendant
temps
d'existence de
composant d'un appareil
entit�
est
RotationFn
entit�
and
entit�
pendant
temps
d'existence de
composant d'un appareil
(=>
(
and
(
instance
?SM
StripMall
)
(
instance
?RS1
RetailStore
)
(
part
?RS1 ?SM)
(
instance
?RS2
RetailStore
)
(
part
?RS2 ?SM)
(
not
(
equal
?RS1 ?RS2)))
(
not
(
exists
(?H)
(
and
(
instance
?H
Hallway
)
(
connects
?RS1 ?H ?RS2)))))
Medicine.kif 5132-5145
Objet
est une
instance
de
StripMall
objet
est une
instance
de
RetailStore
objet
est une
partie
de
objet
objet
est une
instance
de
RetailStore
objet
est une
partie
de
objet
objet
est
objet
objet
objet
est une
instance
de
Hallway
objet
relie
objet
et
objet
(=>
(
and
(
instance
?STATE
AmericanState
)
(
not
(
equal
?STATE
California
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
California
))
(
CardinalityFn
(
ResidentFn
?STATE))))
CountriesAndRegions.kif 897-901
Secteur g�opolitique
est une
instance
de
AmericanState
secteur g�opolitique
est
California
le nombre d'
instances
dans
ResidentFn
California
est
plus
grand
que le nombre d'
instances
dans
ResidentFn
secteur g�opolitique
(=>
(
and
(
instance
?SYSTEM
InlandWaterSystem
)
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
not
(
equal
?WATER1 ?WATER2))
(
not
(
connected
?WATER1 ?WATER2))
(
geographicSubregion
?WATER1 ?SYSTEM)
(
geographicSubregion
?WATER2 ?SYSTEM))
(
exists
(?WATER3)
(
and
(
instance
?WATER3
WaterArea
)
(
not
(
equal
?WATER3 ?WATER1))
(
not
(
equal
?WATER3 ?WATER1))
(
part
?WATER3 ?SYSTEM)
(
connects
?WATER3 ?WATER1 ?WATER2))))
Geography.kif 5380-5395
Secteur g�ographique
est une
instance
de
InlandWaterSystem
secteur g�ographique
est une
instance
de
plan d'eau
secteur g�ographique
est une
instance
de
plan d'eau
secteur g�ographique
est
secteur g�ographique
secteur g�ographique
est
connect
� �
secteur g�ographique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
objet
objet
est une
instance
de
plan d'eau
objet
est
secteur g�ographique
objet
est
secteur g�ographique
objet
est une
partie
de
secteur g�ographique
objet
relie
secteur g�ographique
et
secteur g�ographique
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
Interval temporel
est une
instance
de
TimePeriod
la
dur
�� de
interval temporel
est
nombre r�el
MinuteDuration
(s)
nombre r�el
est
plus
grand
que 5.0
entit�
est une
instance
de
humain
processus
processus
est une
instance
de
respirer
temps
d'existence de
processus
prend place
pendant
interval temporel
entit�
est un
patient
de
processus
l'argument
entit�
entit�
est une
instance
de
mort
entit�
exp
�rimente
entit�
interval temporel
rencontre
temps
d'existence de
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?UNIT
AreaMeasure
)
(
measure
Alaska
(
MeasureFn
?NUMBER1 ?UNIT))
(
measure
?STATE
(
MeasureFn
?NUMBER2 ?UNIT))
(
instance
?STATE
AmericanState
)
(
not
(
equal
Alaska
?STATE)))
(
lessThan
?NUMBER2 ?NUMBER1))
CountriesAndRegions.kif 871-878
Unit� de mesure
est une
instance
de
mesure d'aire
la
mesure
de
Alaska
est
nombre r�el
unit� de mesure
(s) la
mesure
de
physique
est
nombre r�el
unit� de mesure
(s)
physique
est une
instance
de
AmericanState
Alaska
est
physique
nombre r�el
est
moins
que
nombre r�el
(=>
(
and
(
instance
?UNIT
SingleFamilyResidence
)
(
home
?PERSON ?UNIT)
(
possesses
?PERSON ?UNIT)
(
not
(
instance
?UNIT
Building
)))
(
instance
?UNIT
CondominiumUnit
))
Mid-level-ontology.kif 6921-6927
PermanentResidence
est une
instance
de
SingleFamilyResidence
le
domicile
de
humain
est
PermanentResidence
humain
poss
�de
PermanentResidence
PermanentResidence
est une
instance
de
immeuble
PermanentResidence
est une
instance
de
CondominiumUnit
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