result
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 18084-18092
Processus
est une
instance
de
Harvesting
entit�
est le
resultat
de
processus
entit�
RG
entit�
est une
instance
de
DeadFn
entit�
RG
entit�
RG est une
sous
-classe de
objet organique
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?X)
(
instance
?X
Herb
))
(
attribute
?X
Produce
))
Food.kif 2159-2164
Processus
est une
instance
de
Harvesting
objet
est le
resultat
de
processus
objet
est une
instance
de
Herb
Produce
est un
attribut
de
objet
(=>
(
and
(
instance
?HELPING
Helping
)
(
agent
?HELPING ?AGENT)
(
result
?HELPING ?RESULT))
(
exists
(?PATIENT)
(
and
(
not
(
equal
?AGENT ?PATIENT))
(
or
(
patient
?HELPING ?PATIENT)
(
experiencer
?HELPING ?PATIENT))
(
wants
?PATIENT ?RESULT))))
MilitaryProcesses.kif 1419-1431
Processus
est une
instance
de
Helping
processus
est un
agent
de
AutonomousAgent
physique
est le
resultat
de
processus
agent cognitif
AutonomousAgent
est
agent cognitif
agent cognitif
est un
patient
de
processus
agent cognitif
exp
�rimente
processus
agent cognitif
veut
physique
(=>
(
and
(
instance
?IC
IgnitionCoil
)
(
instance
?P
ElectricTransmission
)
(
resource
?P ?E1)
(
instance
?E1
Electricity
)
(
instance
?E2
Electricity
)
(
result
?P ?E2)
(
instrument
?P ?IC)
(
measure
?E1
(
MeasureFn
?N1
Volt
)))
(
approximateValue
?N1 12))
Cars.kif 3155-3165
Objet
est une
instance
de
IgnitionCoil
processus
est une
instance
de
ElectricTransmission
objet
est une
resource
pour
processus
objet
est une
instance
de
Electricity
entit�
est une
instance
de
Electricity
entit�
est le
resultat
de
processus
objet
est un
instrument
pour
processus
la
mesure
de
objet
est
nombre r�el
Volt
(s)
approximateValue
nombre r�el
and 12
(=>
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
result
?JUDGE ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?JUDGE))
(
not
(
believes
?AGENT ?P)))
(
holdsDuring
(
EndFn
(
WhenFn
?JUDGE))
(
believes
?AGENT ?P))))
Merge.kif 12092-12106
Processus
est une
instance
de
Judging
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
AutonomousAgent
ne
croit
%n{pas}
entit�
pendant
le
d
�but de
temps
d'existence de
processus
AutonomousAgent
croit
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?M
Measuring
)
(
result
?M ?Q)
(
instrument
?M ?C)
(
instance
?C
Clock
))
(
instance
?Q
TimeMeasure
))
Mid-level-ontology.kif 2886-2892
Processus
est une
instance
de
mesurer
entit�
est le
resultat
de
processus
objet
est un
instrument
pour
processus
objet
est une
instance
de
Clock
entit�
est une
instance
de
mesure temporel
(=>
(
and
(
instance
?M
Measuring
)
(
result
?M ?Q)
(
instrument
?M ?T)
(
instance
?T
Thermometer
))
(
instance
?Q
TemperatureMeasure
))
Mid-level-ontology.kif 2922-2928
Processus
est une
instance
de
mesurer
entit�
est le
resultat
de
processus
objet
est un
instrument
pour
processus
objet
est une
instance
de
Thermometer
entit�
est une
instance
de
mesure de temperature
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
patient
?MEASURE ?OBJ)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?ABSOLUTEMETER)
(
instance
?ABSOLUTEMETER
AbsoluteAltimeter
))
(
exists
(?OBJ2)
(
and
(
altitude
?OBJ ?OBJ2 ?QUANTITY)
(
surface
?OBJ2
PlanetEarth
))))
MilitaryDevices.kif 1441-1451
Processus
est une
instance
de
mesurer
physique
est un
patient
de
processus
mesure de longueur
est le
resultat
de
processus
objet
est un
instrument
pour
processus
objet
est une
instance
de
AbsoluteAltimeter
physique
2 le
altitude
de
physique
est
physique
2
physique
2 est une
surface
de
PlanetEarth
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
patient
?MEASURE ?OBJ)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?BAROMETER)
(
instance
?BAROMETER
BarometricAltimeter
))
(
altitude
?OBJ
SeaLevel
?QUANTITY))
MilitaryDevices.kif 1477-1484
Processus
est une
instance
de
mesurer
physique
est un
patient
de
processus
mesure de longueur
est le
resultat
de
processus
objet
est un
instrument
pour
processus
objet
est une
instance
de
BarometricAltimeter
le
altitude
de
physique
est
SeaLevel
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
patient
?MEASURE ?OBJ)
(
surface
?OBJ
PlanetEarth
)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?BAROMETER)
(
instance
?BAROMETER
BarometricAltimeter
))
(
elevation
?OBJ ?QUANTITY))
MilitaryDevices.kif 1488-1496
Processus
est une
instance
de
mesurer
objet en une partie
est un
patient
de
processus
objet en une partie
est une
surface
de
PlanetEarth
mesure de longueur
est le
resultat
de
processus
objet
est un
instrument
pour
processus
objet
est une
instance
de
BarometricAltimeter
elevation
objet en une partie
and
mesure de longueur
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?ALTIMETER)
(
instance
?ALTIMETER
Altimeter
))
(
instance
?QUANTITY
AltitudeMeasure
))
MilitaryDevices.kif 1426-1432
Processus
est une
instance
de
mesurer
entit�
est le
resultat
de
processus
objet
est un
instrument
pour
processus
objet
est une
instance
de
Altimeter
entit�
est une
instance
de
AltitudeMeasure
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?THERMOMETER)
(
instance
?THERMOMETER
Thermometer
))
(
instance
?QUANTITY
TemperatureMeasure
))
Mid-level-ontology.kif 2910-2916
Processus
est une
instance
de
mesurer
entit�
est le
resultat
de
processus
objet
est un
instrument
pour
processus
objet
est une
instance
de
Thermometer
entit�
est une
instance
de
mesure de temperature
(=>
(
and
(
instance
?ORDER
Ordering
)
(
result
?ORDER ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
instance
?SENTENCE
Order
))
Mid-level-ontology.kif 14287-14292
Processus
est une
instance
de
ordonner
entit�
est le
resultat
de
processus
entit�
est une
instance
de
phrase
entit�
est une
instance
de
Order
(=>
(
and
(
instance
?P
ForestProduct
)
(
instance
?M
Manufacture
)
(
result
?M ?P)
(
patient
?M ?X)
(
instance
?X
Organism
))
(
exists
(?A ?F)
(
and
(
instance
?A
Agriculture
)
(
result
?A ?X)
(
eventLocated
?A ?F)
(
instance
?F
Forest
))))
Economy.kif 5210-5222
Entit�
est une
instance
de
ForestProduct
processus
est une
instance
de
manufacture
entit�
est le
resultat
de
processus
entit�
est un
patient
de
processus
entit�
est une
instance
de
organisme
processus
objet
processus
est une
instance
de
Agriculture
entit�
est le
resultat
de
processus
eventLocated
processus
and
objet
objet
est une
instance
de
Forest
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?WRITE
Writing
)
(
or
(
instance
?TEXT
Text
)
(
instance
?TEXT
Document
))
(
result
?WRITE ?TEXT)
(
agent
?WRITE ?PERSON))
(
attribute
?PERSON
Writer
))
Biography.kif 742-751
AutonomousAgent
est une
instance
de
humain
processus
est une
instance
de
�crire
entit�
est une
instance
de
texte
entit�
est une
instance
de
Document
entit�
est le
resultat
de
processus
processus
est un
agent
de
AutonomousAgent
Writer
est un
attribut
de
AutonomousAgent
(=>
(
and
(
instance
?PLAN
OperationPlan
)
(
containsInformation
?CBO ?PLAN)
(
instance
?CBO
ContentBearingObject
)
(
result
?EVENT ?CBO))
(
instance
?EVENT
OperationPlanning
))
MilitaryProcesses.kif 1535-1541
Proposition
est une
instance
de
OperationPlan
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
ContentBearingPhysical
est le
resultat
de
processus
processus
est une
instance
de
OperationPlanning
(=>
(
and
(
instance
?PLAN
OperationPlan
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PLAN)
(
instance
?OP
MilitaryOperation
)
(
result
?OP ?CBO))
(
represents
?PLAN ?OP))
MilitaryProcesses.kif 1573-1580
Proposition
est une
instance
de
OperationPlan
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
ContentBearingPhysical
contient
information
proposition
processus
est une
instance
de
MilitaryOperation
ContentBearingPhysical
est le
resultat
de
processus
proposition
d
�finie
processus
(=>
(
and
(
instance
?PLANNING
JointOperationPlanning
)
(
result
?PLANNING ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OPLAN
))
MilitaryProcesses.kif 1812-1818
Processus
est une
instance
de
JointOperationPlanning
ContentBearingPhysical
est le
resultat
de
processus
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
ContentBearingPhysical
contient
information
proposition
proposition
est une
instance
de
OPLAN
(=>
(
and
(
instance
?PROC
ChemicalProcess
)
(
or
(
resource
?PROC ?STUFF)
(
result
?PROC ?STUFF)))
(
instance
?STUFF
PureSubstance
))
Merge.kif 12514-12520
Processus
est une
instance
de
processus chimique
objet
est une
resource
pour
processus
objet
est le
resultat
de
processus
objet
est une
instance
de
substance pure
(=>
(
and
(
instance
?PROC
IntentionalProcess
)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
attribute
?AG
Legal
))
(
exists
(?O ?A ?A1 ?A2)
(
and
(
instance
?O
Offering
)
(
instance
?A
ReachingAgreement
)
(
refers
?O ?AG)
(
refers
?A ?AG)
(
agent
?O ?A1)
(
agent
?A ?A2)
(
earlier
(
WhenFn
?O)
(
WhenFn
?A)))))
Law.kif 526-540
Processus
est une
instance
de
processus intentionnel
ContentBearingPhysical
est le
resultat
de
processus
recordForAgreement
ContentBearingPhysical
and
Agreement
Legal
est un
attribut
de
Agreement
processus
processus
,
processus
1 and
processus
2
processus
est une
instance
de
Offering
processus
est une
instance
de
ReachingAgreement
processus
inclut une
r
�f�rence �
Agreement
processus
inclut une
r
�f�rence �
Agreement
processus
est un
agent
de
processus
1
processus
est un
agent
de
processus
2
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
and
(
instance
?PROCESS
Separating
)
(
resource
?PROCESS ?SOURCE)
(
result
?PROCESS ?PRODUCT)
(
instance
?PRODUCT
Iron
))
(
instance
?SOURCE
IronOre
))
Economy.kif 5629-5635
Processus
est une
instance
de
separer
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
entit�
est une
instance
de
Iron
objet
est une
instance
de
IronOre
(=>
(
and
(
instance
?QUESTION
Questioning
)
(
result
?QUESTION ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
instance
?SENTENCE
Question
))
Mid-level-ontology.kif 14254-14259
Processus
est une
instance
de
questioner
entit�
est le
resultat
de
processus
entit�
est une
instance
de
phrase
entit�
est une
instance
de
Question
(=>
(
and
(
instance
?RA
ReachingAgreement
)
(
agent
?RA ?AGENT)
(
result
?RA ?PROP)
(
instance
?PROP
Agreement
))
(
holdsDuring
(
FutureFn
(
WhenFn
?RA))
(
partyToAgreement
?AGENT ?PROP)))
Media.kif 153-160
Processus
est une
instance
de
ReachingAgreement
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
entit�
est une
instance
de
Agreement
partyToAgreement
AutonomousAgent
and
entit�
pendant
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?REM
(
DeadFn
?ORGTYPE))
(
instance
?DEATH
Death
)
(
result
?DEATH ?REM)
(
experiencer
?DEATH ?ORG))
(
instance
?ORG ?ORGTYPE))
Mid-level-ontology.kif 121-127
Entit�
est une
instance
de
DeadFn
objet organique
processus
est une
instance
de
mort
entit�
est le
resultat
de
processus
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
objet organique
(=>
(
and
(
instance
?REM
OrganicObject
)
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG)
(
result
?DEATH ?REM))
(
instance
?REM
OrganismRemains
))
Mid-level-ontology.kif 58-65
Entit�
est une
instance
de
objet organique
processus
est une
instance
de
mort
AutonomousAgent
est une
instance
de
organisme
AutonomousAgent
exp
�rimente
processus
entit�
est le
resultat
de
processus
entit�
est une
instance
de
OrganismRemains
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