holdsDuring
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 18203-18209
Embryonic
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
naissance
interval temporel
est
temps
d'existence de
processus
AutonomousAgent
exp
�rimente
processus
interval temporel
ne
recouvre
%n{pas}
interval temporel
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Larval
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
meetsTemporally
?BW ?TIME))
Merge.kif 18181-18187
Larval
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
naissance
interval temporel
est
temps
d'existence de
processus
AutonomousAgent
exp
�rimente
processus
interval temporel
rencontre
interval temporel
(=>
(
and
(
holdsDuring
?TIME
(
capitalExpendituresOfArea
?AREA ?CAPAMOUNT))
(
holdsDuring
?TIME
(
annualExpendituresOfArea
?AREA ?TOTALAMOUNT)))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1558-1562
capitalExpendituresOfArea
entit�
and
nombre r�el
pendant
position temporel
annualExpendituresOfArea
entit�
and
nombre r�el
pendant
position temporel
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
holdsDuring
?TIME ?SITUATION1)
(
entails
?SITUATION1 ?SITUATION2))
(
holdsDuring
?TIME ?SITUATION2))
Merge.kif 3889-3893
Formule
pendant
position temporel
formule
n
�cessite
formule
formule
pendant
position temporel
(=>
(
and
(
holdsDuring
?TIME1
(
developmentalForm
?OBJ ?ATTR1))
(
successorAttributeClosure
?ATTR2 ?ATTR1))
(
exists
(?TIME2)
(
and
(
earlier
?TIME2 ?TIME1)
(
holdsDuring
?TIME2
(
developmentalForm
?OBJ ?ATTR2)))))
Merge.kif 14337-14344
La
forme
developmentale
de
entit�
est
attribut
pendant
interval temporel
attribut
est un
attribut
successeur
de
attribut
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
la
forme
developmentale
de
entit�
est
attribut
pendant
interval temporel
(=>
(
and
(
holdsDuring
?TIME1 ?SITUATION)
(
temporalPart
?TIME2 ?TIME1))
(
holdsDuring
?TIME2 ?SITUATION))
Merge.kif 7954-7958
Formule
pendant
position temporel
position temporel
est une
partie
de
position temporel
formule
pendant
position temporel
(=>
(
and
(
holdsDuring
?Time
(
instance
?Card
ExpiredCard
))
(
cardAccount
?Card ?Account))
(
holdsDuring
?Time
(
not
(
attribute
?Card
ActiveAgreement
))))
FinancialOntology.kif 3529-3534
BankCard
est une
instance
de
ExpiredCard
pendant
position temporel
cardAccount
BankCard
and
FinancialAccount
ActiveAgreement
est un
attribut
de
BankCard
pendant
position temporel
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityConsumption
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityConsumptionInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2123-2130
annualElectricityConsumption
secteur g�opolitique
and
quantit� physique
pendant
position temporel
position temporel
est une
instance
de
interval temporel
interval temporel
est une
sous
-classe de
ann�e
interval temporel
est une
sous
-classe de
FiscalYearFn
secteur g�opolitique
electricityConsumptionInPeriod
secteur g�opolitique
,
quantit� physique
and
interval temporel
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityExport
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityExportInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2167-2174
annualElectricityExport
secteur g�opolitique
and
quantit� physique
pendant
position temporel
position temporel
est une
instance
de
interval temporel
interval temporel
est une
sous
-classe de
ann�e
interval temporel
est une
sous
-classe de
FiscalYearFn
secteur g�opolitique
electricityExportInPeriod
secteur g�opolitique
,
quantit� physique
and
interval temporel
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityImport
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityImportInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2213-2220
annualElectricityImport
secteur g�opolitique
and
quantit� physique
pendant
position temporel
position temporel
est une
instance
de
interval temporel
interval temporel
est une
sous
-classe de
ann�e
interval temporel
est une
sous
-classe de
FiscalYearFn
secteur g�opolitique
electricityImportInPeriod
secteur g�opolitique
,
quantit� physique
and
interval temporel
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityProduction
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityProductionInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 1991-1998
annualElectricityProduction
secteur g�opolitique
and
quantit� physique
pendant
position temporel
position temporel
est une
instance
de
interval temporel
interval temporel
est une
sous
-classe de
ann�e
interval temporel
est une
sous
-classe de
FiscalYearFn
secteur g�opolitique
electricityProductionInPeriod
secteur g�opolitique
,
quantit� physique
and
interval temporel
(=>
(
and
(
holdsDuring
?YEAR
(
annualExportTotal
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exportTotalInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2288-2295
annualExportTotal
secteur g�opolitique
and
mesure de devise
pendant
position temporel
position temporel
est une
instance
de
interval temporel
interval temporel
est une
sous
-classe de
ann�e
interval temporel
est une
sous
-classe de
FiscalYearFn
secteur g�opolitique
exportTotalInPeriod
secteur g�opolitique
,
mesure de devise
and
interval temporel
(=>
(
and
(
holdsDuring
?YEAR
(
annualImportTotal
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
importTotalInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2594-2601
annualImportTotal
secteur g�opolitique
and
mesure de devise
pendant
position temporel
position temporel
est une
instance
de
interval temporel
interval temporel
est une
sous
-classe de
ann�e
interval temporel
est une
sous
-classe de
FiscalYearFn
secteur g�opolitique
importTotalInPeriod
secteur g�opolitique
,
mesure de devise
and
interval temporel
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9839-9861
Objet
est une
instance
de
Antacid
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
objet
est une
instance
de
Stomach
objet
est une
partie
de
AutonomousAgent
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
avant
temps
d'existence de
d�palcement
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
apr
�s
temps
d'existence de
d�palcement
phMeasure
objet
and
nombre r�el
phMeasure
objet
and
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?A
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12383-12397
Processus
est une
instance
de
attacher
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
entit�
est
connect
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
connect
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
objectAttached
processus
and
entit�
objectAttached
processus
and
entit�
(=>
(
and
(
instance
?A
AutonomousAgent
)
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
BodyMotion
)
(
instance
?P
IntentionalProcess
)
(
agent
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30242-30253
AutonomousAgent
est une
instance
de
AutonomousAgent
Motionless
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
processus
est une
instance
de
mouvement du corps
processus
est une
instance
de
processus intentionnel
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
interval temporel
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9900-9922
Objet
est une
instance
de
ProtonPumpInhibitor
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
objet
est une
instance
de
Stomach
objet
est une
partie
de
AutonomousAgent
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
avant
temps
d'existence de
d�palcement
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
apr
�s
temps
d'existence de
d�palcement
phMeasure
objet
and
nombre r�el
phMeasure
objet
and
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
holdsDuring
(
BeginFn
?ACT)
(
hasGUEState
?WINDOW ?STATE))
(
contraryAttribute
?STATE
GUE_UncoveredState
))
(
holdsDuring
(
EndFn
?ACT)
(
not
(
hasGUEState
?WINDOW ?STATE))))
ComputerInput.kif 2332-2343
Interval temporel
est une
instance
de
BringingGEToFront
entit�
est un
patient
de
interval temporel
entit�
est une
instance
de
InterfaceWindow
hasGUEState
entit�
and
attribut
pendant
le
d
�but de
interval temporel
attribut
est
l
'oppos� de
GUE_UncoveredState
hasGUEState
entit�
and
attribut
pendant
la
fin
de
interval temporel
(=>
(
and
(
instance
?AGENT
Human
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
telephoneNumber
?NUMBER ?AGENT)
(
located
?DEVICE ?PLACE)
(
instance
?PLACE
Residence
))))
(
holdsDuring
?TIME
(
inhabits
?AGENT ?PLACE)))
Mid-level-ontology.kif 25035-25044
Entit�
est une
instance
de
humain
deviceTelecomNumber
entit�
and
entit�
telephoneNumber
entit�
and
entit�
entit�
est
situ
� �
entit�
entit�
est une
instance
de
Residence
pendant
position temporel
entit�
vie
�
entit�
pendant
position temporel
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
Processus
est une
instance
de
ArmedReconnaissance
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
enemy
agent cognitif
and
entit�
pendant
temps
d'existence de
processus
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
Attack
entit�
est un
agent
de
agent cognitif
entit�
est un
patient
de
entit�
(=>
(
and
(
instance
?ASO
AntiSurfaceOperation
)
(
patient
?ASO ?TARGET)
(
holdsDuring
(
WhenFn
?ASO)
(
located
?TARGET ?LOCATION)))
(
instance
?LOCATION
WaterArea
))
MilitaryProcesses.kif 665-671
Processus
est une
instance
de
AntiSurfaceOperation
entit�
est un
patient
de
processus
entit�
est
situ
� �
entit�
pendant
temps
d'existence de
processus
entit�
est une
instance
de
plan d'eau
(=>
(
and
(
instance
?ATTR
ColorAttribute
)
(
holdsDuring
?T1
(
attribute
?OBJ ?ATTR)))
(
holdsDuring
?T1
(
color
?OBJ ?ATTR)))
Mid-level-ontology.kif 19362-19368
Entit�
est une
instance
de
attribut de couleur
entit�
est un
attribut
de
entit�
pendant
position temporel
color
entit�
and
entit�
pendant
position temporel
(=>
(
and
(
instance
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13831-13839
Processus
est une
instance
de
�vaporer
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
entit�
est une
instance
de
substance pure
entit�
est un
patient
de
processus
la
mesure
de
entit�
est
nombre r�el
unit� de mesure
(s)
pendant
temps
d'existence de
processus
unit� de mesure
est une
instance
de
UnitOfTemperature
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
and
(
instance
?BTS
BimetalTemperatureSensor
)
(
instance
?M1
Metal
)
(
instance
?M2
Metal
)
(
not
(
equal
?M1 ?M2))
(
part
?M1 ?BTS)
(
part
?M2 ?BTS)
(
instance
?T1
TemperatureMeasure
)
(
instance
?T2
TemperatureMeasure
)
(
instance
?L1
LengthMeasure
)
(
instance
?L2
LengthMeasure
)
(
instance
?L3
LengthMeasure
)
(
instance
?L4
LengthMeasure
)
(
not
(
equal
?T1 ?T2))
(
not
(
equal
?TM1 ?TM2))
(
holdsDuring
?TM1
(
and
(
measure
?BTS ?T1)
(
measure
?M1 ?L1)
(
measure
?M2 ?L2)))
(
holdsDuring
?TM2
(
and
(
measure
?BTS ?T2)
(
measure
?M1 ?L3)
(
measure
?M2 ?L4))))
(
not
(
equal
(
DivisionFn
?L1 ?L2)
(
DivisionFn
?L3 ?L4))))
Cars.kif 4081-4113
Objet
est une
instance
de
BimetalTemperatureSensor
objet
est une
instance
de
m�tal
objet
est une
instance
de
m�tal
objet
est
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
entit�
est une
instance
de
mesure de temperature
entit�
est une
instance
de
mesure de temperature
nombre r�el
est une
instance
de
mesure de longueur
nombre r�el
est une
instance
de
mesure de longueur
nombre r�el
est une
instance
de
mesure de longueur
nombre r�el
est une
instance
de
mesure de longueur
entit�
est
entit�
position temporel
est
position temporel
la
mesure
de
objet
est
entit�
la
mesure
de
objet
est
nombre r�el
la
mesure
de
objet
est
nombre r�el
pendant
position temporel
la
mesure
de
objet
est
entit�
la
mesure
de
objet
est
nombre r�el
la
mesure
de
objet
est
nombre r�el
pendant
position temporel
nombre r�el
+
nombre r�el
est
nombre r�el
+
nombre r�el
(=>
(
and
(
instance
?C
Carabiner
)
(
holdsDuring
?T
(
attribute
?C
DeviceClosed
)))
(
holdsDuring
?T
(
attribute
?C
RingTorus
)))
Mid-level-ontology.kif 30807-30813
Entit�
est une
instance
de
Carabiner
DeviceClosed
est un
attribut
de
entit�
pendant
position temporel
RingTorus
est un
attribut
de
entit�
pendant
position temporel
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