EndFn
(=>
(
and
(
instance
?LIE
LyingDown
)
(
agent
?LIE ?AGENT))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?LIE))
(
attribute
?AGENT
Sitting
))
(
holdsDuring
(
EndFn
(
WhenFn
?LIE))
(
attribute
?AGENT
Prostrate
))))
Mid-level-ontology.kif 21452-21462
Processus
est une
instance
de
LyingDown
processus
est un
agent
de
AutonomousAgent
Sitting
est un
attribut
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
Prostrate
est un
attribut
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?LIST
ConsecutiveTimeIntervalList
)
(
equal
?T1
(
ListOrderFn
?LIST ?N))
(
equal
?T2
(
ListOrderFn
?LIST
(
AdditionFn
?N 1))))
(
equal
(
BeginFn
?T2)
(
EndFn
?T1)))
Weather.kif 2659-2668
Liste
est une
instance
de
ConsecutiveTimeIntervalList
equal
interval temporel
and
entit�
liste
equal
interval temporel
and (
nombre entier positif
+ 1)th
liste
equal
le
d
�but de
interval temporel
and la
fin
de
interval temporel
(=>
(
and
(
instance
?Loan
InterestOnlyLoan
)
(
agreementPeriod
?Loan ?Period)
(
principalAmount
?Loan ?Principal)
(
interestEarned
?Loan ?Interest ?Period))
(
and
(
amountDue
?Loan ?Principal
(
EndFn
?Period))
(
amountDue
?Loan ?Interest ?Date)
(
before
(
EndFn
?Date)
(
EndFn
?Period))))
FinancialOntology.kif 1631-1640
FinancialAccount
est une
instance
de
InterestOnlyLoan
agreementPeriod
FinancialAccount
and
interval temporel
principalAmount
FinancialAccount
and
mesure de devise
interestEarned
FinancialAccount
,
Interest
and
interval temporel
amountDue
FinancialAccount
,
mesure de devise
and la
fin
de
interval temporel
amountDue
FinancialAccount
,
Interest
and
interval temporel
la
fin
de
interval temporel
se produit
avant
la
fin
de
interval temporel
(=>
(
and
(
instance
?M
Mounting
)
(
agent
?M ?A)
(
patient
?M ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
orientation
?A ?O
On
)))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
orientation
?A ?O
On
))))
Mid-level-ontology.kif 462-473
Processus
est une
instance
de
Mounting
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
est
On
�
entit�
pendant
le
d
�but de
temps
d'existence de
processus
AutonomousAgent
est
On
�
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?M
OrganizationalMerging
)
(
patient
?M ?ORG1)
(
patient
?M ?ORG2)
(
not
(
equal
?ORG1 ?ORG2)))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
exists
(?S1)
(
and
(
subOrganization
?ORG1 ?S1)
(
subOrganization
?ORG2 ?S1)))))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
exists
(?S2)
(
and
(
subOrganization
?ORG1 ?S2)
(
subOrganization
?ORG2 ?S2))))))
Mid-level-ontology.kif 17692-17711
Processus
est une
instance
de
OrganizationalMerging
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
equal
entit�
and
entit�
entit�
entit�
est une partie de l'organization
entit�
entit�
est une partie de l'organization
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
entit�
est une partie de l'organization
entit�
entit�
est une partie de l'organization
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?MAF
MovingAwayFrom
)
(
instance
?RELATIVEOBJECT
Object
)
(
instance
?REFERENCEOBJECT
Object
)
(
patient
?MAF ?RELATIVEOBJECT)
(
patient
?MAF ?REFERENCEOBJECT))
(
exists
(?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE ?U)
(
and
(
instance
?BEFOREDISTANCE
RealNumber
)
(
instance
?AFTERDISTANCE
RealNumber
)
(
moves
?MAF ?RELATIVEOBJECT)
(
holdsDuring
(
BeginFn
(
WhenFn
?MAF))
(
distance
?RELATIVEOBJECT ?REFERENCEOBJECT
(
MeasureFn
?BEFOREDISTANCE ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?MAF))
(
distance
?RELATIVEOBJECT ?REFERENCEOBJECT
(
MeasureFn
?AFTERDISTANCE ?U)))
(
greaterThan
?AFTERDISTANCE ?BEFOREDISTANCE))))
Mid-level-ontology.kif 33729-33749
D�palcement
est une
instance
de
MovingAwayFrom
objet
est une
instance
de
objet
entit�
est une
instance
de
objet
objet
est un
patient
de
d�palcement
entit�
est un
patient
de
d�palcement
entit�
nombre r�el
,
nombre r�el
and
entit�
nombre r�el
est une
instance
de
nombre r�el
nombre r�el
est une
instance
de
nombre r�el
moves
d�palcement
and
objet
la
distance
entre
objet
et
entit�
est
nombre r�el
entit�
(s)
pendant
le
d
�but de
temps
d'existence de
d�palcement
la
distance
entre
objet
et
entit�
est
nombre r�el
entit�
(s)
pendant
la
fin
de
temps
d'existence de
d�palcement
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?MEAS
Measuring
)
(
agent
?MEAS ?AGENT)
(
patient
?MEAS ?OBJ))
(
exists
(?QUANT ?UNIT)
(
holdsDuring
(
EndFn
(
WhenFn
?MEAS))
(
knows
?AGENT
(
measure
?OBJ
(
MeasureFn
?QUANT ?UNIT))))))
Merge.kif 12272-12279
Processus
est une
instance
de
mesurer
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
entit�
AutonomousAgent
conna
�t la
mesure
de
entit�
est
entit�
entit�
(s)
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?MELT
Melting
)
(
patient
?MELT ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?MELT))
(
attribute
?PART
Solid
))
(
holdsDuring
(
EndFn
(
WhenFn
?MELT))
(
attribute
?PART
Liquid
)))))
Merge.kif 14065-14073
Processus
est une
instance
de
mettre en fusion
objet
est un
patient
de
processus
objet
objet
est une
partie
de
objet
Solid
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
Liquid
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11190-11195
D�palcement
est une
instance
de
d�palcement
moves
d�palcement
and
objet
d�palcement
aboutit
�
entit�
objet
est
situ
� �
entit�
pendant
la
fin
de
temps
d'existence de
d�palcement
(=>
(
and
(
instance
?MOVE
MovingResidence
)
(
agent
?MOVE ?AGENT))
(
exists
(?HOME1 ?HOME2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?MOVE))
(
home
?AGENT ?HOME1))
(
holdsDuring
(
EndFn
(
WhenFn
?MOVE))
(
home
?AGENT ?HOME2))
(
not
(
equal
?HOME1 ?HOME2)))))
Mid-level-ontology.kif 19630-19638
Processus
est une
instance
de
MovingResidence
processus
est un
agent
de
AutonomousAgent
entit�
entit�
le
domicile
de
AutonomousAgent
est
entit�
pendant
le
d
�but de
temps
d'existence de
processus
le
domicile
de
AutonomousAgent
est
entit�
pendant
la
fin
de
temps
d'existence de
processus
equal
entit�
and
entit�
(=>
(
and
(
instance
?MT
MovingTowards
)
(
instance
?RELATIVEOBJECT
Object
)
(
instance
?REFERENCEOBJECT
Object
)
(
patient
?MT ?REFERENCEOBJECT)
(
patient
?MT ?RELATIVEOBJECT))
(
exists
(?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE)
(
and
(
instance
?BEFOREDISTANCE
RealNumber
)
(
instance
?AFTERDISTANCE
RealNumber
)
(
moves
?MT ?RELATIVEOBJECT)
(
holdsDuring
(
BeginFn
(
WhenFn
?MT))
(
distance
?RELATIVEOBJECT ?REFERENCEOBJECT
(
MeasureFn
?BEFOREDISTANCE ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?MT))
(
distance
?RELATIVEOBJECT ?REFERENCEOBJECT
(
MeasureFn
?AFTERDISTANCE ?U)))
(
greaterThan
?BEFOREDISTANCE ?AFTERDISTANCE))))
Mid-level-ontology.kif 33756-33776
D�palcement
est une
instance
de
MovingTowards
objet
est une
instance
de
objet
entit�
est une
instance
de
objet
entit�
est un
patient
de
d�palcement
objet
est un
patient
de
d�palcement
entit�
nombre r�el
and
nombre r�el
nombre r�el
est une
instance
de
nombre r�el
nombre r�el
est une
instance
de
nombre r�el
moves
d�palcement
and
objet
la
distance
entre
objet
et
entit�
est
nombre r�el
entit�
(s)
pendant
le
d
�but de
temps
d'existence de
d�palcement
la
distance
entre
objet
et
entit�
est
nombre r�el
entit�
(s)
pendant
la
fin
de
temps
d'existence de
d�palcement
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?O
Odometer
)
(
instance
?V
Vehicle
)
(
part
?O ?V)
(
instance
?T
Translocation
)
(
instrument
?T ?V)
(
path
?T ?P)
(
distanceOnPath
(
MeasureFn
?D ?U) ?P)
(
instance
?U
LengthMeasure
))
(
hasPurpose
?O
(
exists
(?M ?L ?DIST ?U)
(
and
(
instance
?M
Measuring
)
(
instrument
?M ?O)
(
measurementReading
?O ?DIST)
(
inList
?D ?L)
(
holdsDuring
(
WhenFn
(
EndFn
?M))
(
and
(
equal
?DIST
(
MeasureFn
(
ListSumFn
?L) ?U))
(
not
(
attribute
?O
ResetMeasuringDevice
))))))))
Cars.kif 2970-2996
Objet
est une
instance
de
Odometer
objet
est une
instance
de
Vehicle
objet
est une
partie
de
objet
d�palcement
est une
instance
de
Translocation
objet
est un
instrument
pour
d�palcement
Transitway
est le
chemin
le long duquel
d�palcement
se produit
distanceOnPath
nombre r�el
unit� de mesure
(s) and
Transitway
unit� de mesure
est une
instance
de
mesure de longueur
objet
a pour
but
entit�
entit�
,
nombre r�el
IST and
unit� de mesure
entit�
est une
instance
de
mesurer
objet
est un
instrument
pour
entit�
measurementReading
objet
and
nombre r�el
IST
nombre r�el
est un
membre
de
entit�
equal
nombre r�el
IST and
ListSumFn
entit�
unit� de mesure
(s)
ResetMeasuringDevice
est un
attribut
de
objet
pendant
temps
d'existence de la
fin
de
entit�
(=>
(
and
(
instance
?O
Oxidation
)
(
patient
?O ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?O))
(
electronNumber
?S ?G)))
(
exists
(?L)
(
and
(
lessThan
?L ?G)
(
holdsDuring
(
EndFn
(
WhenFn
?O))
(
electronNumber
?S ?L)))))
Mid-level-ontology.kif 21154-21166
Processus
est une
instance
de
Oxidation
entit�
est un
patient
de
processus
electronNumber
entit�
and
nombre r�el
pendant
le
d
�but de
temps
d'existence de
processus
nombre r�el
nombre r�el
est
moins
que
nombre r�el
electronNumber
entit�
and
nombre r�el
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?OPEN
MaximizingGraphicalWindow
)
(
patient
?OPEN ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
and
(
holdsDuring
(
EndFn
(
WhenFn
?OPEN))
(
hasGUEState
?WINDOW
GUE_MaximizedWindowState
))
(
holdsDuring
(
BeginFn
(
WhenFn
?OPEN))
(
not
(
hasGUEState
?WINDOW
GUE_MaximizedWindowState
)))))
ComputerInput.kif 2469-2478
Processus
est une
instance
de
MaximizingGraphicalWindow
entit�
est un
patient
de
processus
entit�
est une
instance
de
InterfaceWindow
hasGUEState
entit�
and
GUE_MaximizedWindowState
pendant
la
fin
de
temps
d'existence de
processus
hasGUEState
entit�
and
GUE_MaximizedWindowState
pendant
le
d
�but de
temps
d'existence de
processus
(=>
(
and
(
instance
?OPEN
MinimizingGraphicalWindow
)
(
patient
?OPEN ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
and
(
holdsDuring
(
EndFn
(
WhenFn
?OPEN))
(
hasGUEState
?WINDOW
GUE_MinimizedState
))
(
holdsDuring
(
BeginFn
(
WhenFn
?OPEN))
(
not
(
hasGUEState
?WINDOW
GUE_MinimizedState
)))))
ComputerInput.kif 2451-2460
Processus
est une
instance
de
MinimizingGraphicalWindow
entit�
est un
patient
de
processus
entit�
est une
instance
de
InterfaceWindow
hasGUEState
entit�
and
GUE_MinimizedState
pendant
la
fin
de
temps
d'existence de
processus
hasGUEState
entit�
and
GUE_MinimizedState
pendant
le
d
�but de
temps
d'existence de
processus
(=>
(
and
(
instance
?OPEN
ReopeningGraphicalWindow
)
(
patient
?OPEN ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?OPEN))
(
hasGUEState
?WINDOW
GUE_MinimizedState
))
(
holdsDuring
(
EndFn
(
WhenFn
?OPEN))
(
not
(
hasGUEState
?WINDOW
GUE_MinimizedState
)))))
ComputerInput.kif 2389-2398
Processus
est une
instance
de
ReopeningGraphicalWindow
entit�
est un
patient
de
processus
entit�
est une
instance
de
InterfaceWindow
hasGUEState
entit�
and
GUE_MinimizedState
pendant
le
d
�but de
temps
d'existence de
processus
hasGUEState
entit�
and
GUE_MinimizedState
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?P
Roughening
)
(
patient
?P ?OBJ))
(
exists
(?PART)
(
and
(
superficialPart
?PART ?OBJ)
(
holdsDuring
(
EndFn
(
WhenFn
?P))
(
attribute
?PART
Rough
)))))
Mid-level-ontology.kif 26898-26907
Processus
est une
instance
de
Roughening
objet
est un
patient
de
processus
processus
ART
processus
ART est une partie
superficielle
de
objet
Rough
est un
attribut
de
processus
ART
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?P
TurningOffDevice
)
(
patient
?P ?D))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?P))
(
attribute
?D
DeviceOn
))
(
holdsDuring
(
EndFn
(
WhenFn
?P))
(
attribute
?D
DeviceOff
))))
Mid-level-ontology.kif 1064-1074
Processus
est une
instance
de
TurningOffDevice
entit�
est un
patient
de
processus
DeviceOn
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
DeviceOff
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?P
TurningOnDevice
)
(
patient
?P ?D))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?P))
(
attribute
?D
DeviceOff
))
(
holdsDuring
(
EndFn
(
WhenFn
?P))
(
attribute
?D
DeviceOn
))))
Mid-level-ontology.kif 1088-1098
Processus
est une
instance
de
TurningOnDevice
entit�
est un
patient
de
processus
DeviceOff
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
DeviceOn
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?PASS
PassingABill
)
(
patient
?PASS ?TEXT))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?PASS))
(
attribute
?TEXT
LegislativeBill
))
(
holdsDuring
(
EndFn
(
WhenFn
?PASS))
(
attribute
?TEXT
Law
))))
Mid-level-ontology.kif 15197-15203
Processus
est une
instance
de
PassingABill
entit�
est un
patient
de
processus
LegislativeBill
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
Law
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC))
(
exists
(?PLANNING ?CBO)
(
and
(
instance
?PLANNING
Planning
)
(
instance
?CBO
ContentBearingPhysical
)
(
containsInformation
?CBO ?PLAN)
(
result
?PLANNING ?CBO)
(
earlier
(
BeginFn
(
WhenFn
?PLANNING))
(
BeginFn
(
WhenFn
?PROC)))
(
earlier
(
EndFn
(
WhenFn
?PLANNING))
(
EndFn
(
WhenFn
?PROC))))))
Military.kif 32-44
Proposition
est une
instance
de
plan
physique
est une
instance
de
processus
proposition
d
�finie
physique
proposition
NING
ContentBearingPhysical
proposition
NING est une
instance
de
planifier
ContentBearingPhysical
est une
instance
de
ContentBearingPhysical
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
est le
resultat
de
proposition
NING le
d
�but de
temps
d'existence de
proposition
NING arrive
plus
t�t que le
d
�but de
temps
d'existence de
physique
la
fin
de
temps
d'existence de
proposition
NING arrive
plus
t�t que la
fin
de
temps
d'existence de
physique
(=>
(
and
(
instance
?POINT1
TimePoint
)
(
instance
?POINT2
TimePoint
)
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
TimeIntervalFn
?POINT1 ?POINT2) ?INTERVAL))
(
and
(
equal
(
BeginFn
?INTERVAL) ?POINT1)
(
equal
(
EndFn
?INTERVAL) ?POINT2)))
Merge.kif 8533-8541
Point temporel
est une
instance
de
point temporel
point temporel
est une
instance
de
point temporel
interval temporel
est une
instance
de
interval temporel
equal
l'
intervale
entre
point temporel
et
point temporel
and
interval temporel
equal
le
d
�but de
interval temporel
and
point temporel
equal
la
fin
de
interval temporel
and
point temporel
(=>
(
and
(
instance
?PROCESS
StateChange
)
(
patient
?PROCESS ?OBJ))
(
exists
(?PART ?STATE1 ?STATE2)
(
and
(
part
?PART ?OBJ)
(
instance
?STATE1
PhysicalState
)
(
instance
?STATE2
PhysicalState
)
(
not
(
equal
?STATE1 ?STATE2))
(
holdsDuring
(
BeginFn
(
WhenFn
?PROCESS))
(
attribute
?PART ?STATE1))
(
holdsDuring
(
EndFn
(
WhenFn
?PROCESS))
(
attribute
?PART ?STATE2)))))
Merge.kif 13910-13921
Processus
est une
instance
de
changement d'�tat
objet
est un
patient
de
processus
objet
entit�
and
entit�
objet
est une
partie
de
objet
entit�
est une
instance
de
�tat physique
entit�
est une
instance
de
�tat physique
equal
entit�
and
entit�
entit�
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?PUT
Putting
)
(
destination
?PUT ?PLACE)
(
patient
?PUT ?OBJ))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?PUT))
(
not
(
located
?OBJ ?PLACE)))
(
holdsDuring
(
EndFn
(
WhenFn
?PUT))
(
located
?OBJ ?PLACE))))
Merge.kif 11555-11562
Processus
est une
instance
de
mettre
processus
aboutit
�
entit�
entit�
est un
patient
de
processus
entit�
est
situ
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
situ
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?R
ChemicalReduction
)
(
patient
?R ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?R))
(
electronNumber
?S ?L)))
(
exists
(?G)
(
and
(
greaterThan
?G ?L)
(
holdsDuring
(
EndFn
(
WhenFn
?R))
(
electronNumber
?S ?G)))))
Mid-level-ontology.kif 21136-21148
Processus
est une
instance
de
ChemicalReduction
entit�
est un
patient
de
processus
electronNumber
entit�
and
nombre r�el
pendant
le
d
�but de
temps
d'existence de
processus
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
electronNumber
entit�
and
nombre r�el
pendant
la
fin
de
temps
d'existence de
processus
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
