result
(=>
(
and
(
instance
?PSYOP
PsychologicalOperation
)
(
agent
?PSYOP ?AGENT)
(
patient
?PSYOP ?TARGET))
(
hasPurpose
?PSYOP
(
exists
(?PROCESS ?RESULT)
(
and
(
agent
?PROCESS ?TARGET)
(
result
?PROCESS ?RESULT)
(
desires
?AGENT ?RESULT)))))
MilitaryProcesses.kif 1184-1194
Processus
est une
instance
de
PsychologicalOperation
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
a pour
but
entit�
entit�
entit�
est un
agent
de
entit�
entit�
est le
resultat
de
entit�
AutonomousAgent
desire
entit�
(=>
(
and
(
instance
?X
Photocopier
)
(
instrument
?COPY ?X)
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
TwoDimensionalObject
)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO))
(
exists
(?OBJ2 ?SHEET)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
TwoDimensionalObject
)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO)
(
located
?OBJ2 ?SHEET)
(
instance
?SHEET
PrintedSheet
))))
Mid-level-ontology.kif 26299-26315
Objet
est une
instance
de
Photocopier
objet
est un
instrument
pour
processus
processus
est une
instance
de
Photocopying
ContentBearingPhysical
est un
patient
de
processus
ContentBearingPhysical
est une
instance
de
TwoDimensionalObject
ContentBearingPhysical
est une
instance
de
VisualContentBearingObject
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
objet
ContentBearingPhysical
est le
resultat
de
processus
ContentBearingPhysical
est une
instance
de
TwoDimensionalObject
ContentBearingPhysical
est une
instance
de
VisualContentBearingObject
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
est
situ
� �
objet
objet
est une
instance
de
PrintedSheet
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26973-26999
Physique
est une
instance
de
SurveillanceSystem
physique
est un
membre
de
collection
physique
est un
membre
de
collection
collection
est
situ
� �
objet
collection
est une
instance
de
Camera
collection
est
situ
� �
objet
objet
est
objet
collection
est une
instance
de
VideoDisplay
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
processus
eventLocated
entit�
and
objet
entit�
d
�finie
entit�
Camera
est un
instrument
pour
entit�
entit�
est le
resultat
de
entit�
entit�
est une
instance
de
lumi�re irradiante
collection
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
le
d
�but de
entit�
se produit
avant
le
d
�but de
entit�
le
d
�but de
entit�
se produit
avant
le
d
�but de
entit�
(=>
(
and
(
measuringResult
?MLIST ?RLIST)
(
equal
?M
(
ListOrderFn
?MLIST ?N))
(
equal
?R
(
ListOrderFn
?RLIST ?N)))
(
result
?M ?R))
Weather.kif 1806-1811
measuringResult
MeasuringList
and
MeasuringResultList
processus
est
entit�
MeasuringList
entit�
est
entit�
MeasuringResultList
entit�
est le
resultat
de
processus
(=>
(
and
(
secretesSubstance
?O ?S)
(
instance
?I1 ?O))
(
exists
(?P ?I2)
(
and
(
instance
?P
BiologicalProcess
)
(
eventLocated
?P ?I1)
(
result
?P ?I2)
(
instance
?I2 ?S))))
Mid-level-ontology.kif 12211-12220
secretesSubstance
objet organique
and
NaturalSubstance
objet
est une
instance
de
objet organique
processus
entit�
processus
est une
instance
de
processus biologique
eventLocated
processus
and
objet
entit�
est le
resultat
de
processus
entit�
est une
instance
de
NaturalSubstance
(=>
(
and
(
subclass
?PAPER
Newspaper
)
(
instance
?WEEK
Week
))
(
exists
(?PUBLICATION ?ISSUE)
(
and
(
instance
?PUBLICATION
Publication
)
(
temporalPart
(
WhenFn
?PUBLICATION) ?WEEK)
(
result
?PUBLICATION ?ISSUE)
(
instance
?ISSUE ?PAPER))))
Mid-level-ontology.kif 14789-14798
Classe
est une
sous
-classe de
Newspaper
position temporel
est une
instance
de
semaine
processus
entit�
processus
est une
instance
de
publier
temps
d'existence de
processus
est une
partie
de
position temporel
entit�
est le
resultat
de
processus
entit�
est une
instance
de
classe
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
FoodRating
)
(
instance
?ENTITY
AutonomousAgent
))
(
exists
(?FOOD ?COOK ?CLASSIFY)
(
and
(
instance
?COOK
Cooking
)
(
agent
?COOK ?ENTITY)
(
result
?COOK ?FOOD)
(
instance
?CLASSIFY
Classifying
)
(
agent
?CLASSIFY ?AGENT)
(
destination
?CLASSIFY ?FOOD)
(
patient
?CLASSIFY ?ATTR))))
Hotel.kif 3062-3075
subjectiveAttribute
AutonomousAgent
,
attribut
and
AutonomousAgent
attribut
est une
instance
de
FoodRating
AutonomousAgent
est une
instance
de
AutonomousAgent
entit�
processus
and
processus
processus
est une
instance
de
cuisiner
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
processus
est une
instance
de
classifier
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
attribut
est un
patient
de
processus
(=>
(
attribute
?F
CuredAttribute
)
(
exists
(?C)
(
and
(
instance
?C
CuringFood
)
(
result
?C ?F))))
Food.kif 70-75
CuredAttribute
est un
attribut
de
objet
processus
processus
est une
instance
de
CuringFood
objet
est le
resultat
de
processus
(=>
(
attribute
?F
DryRoastAttribute
)
(
exists
(?X)
(
and
(
instance
?X
DryRoasting
)
(
result
?X ?F))))
Food.kif 114-119
DryRoastAttribute
est un
attribut
de
objet
processus
processus
est une
instance
de
DryRoasting
objet
est le
resultat
de
processus
(=>
(
attribute
?F
HulledAttribute
)
(
exists
(?X)
(
and
(
instance
?X
Hulling
)
(
result
?X ?F))))
Food.kif 160-165
HulledAttribute
est un
attribut
de
objet
processus
processus
est une
instance
de
Hulling
objet
est le
resultat
de
processus
(=>
(
attribute
?FOOD
CookedAttribute
)
(
exists
(?PROC1 ?PROC2)
(
and
(
instance
?PROC1
Cooking
)
(
instance
?PROC2
Heating
)
(
subProcess
?PROC2 ?PROC1)
(
result
?PROC1 ?FOOD))))
Food.kif 37-44
CookedAttribute
est un
attribut
de
objet
processus
processus
processus
est une
instance
de
cuisiner
processus
est une
instance
de
r�chauffer
processus
est un
sous
-processus de
processus
objet
est le
resultat
de
processus
(=>
(
attribute
?FOOD
FermentedAttribute
)
(
exists
(?F)
(
and
(
instance
?F
Fermentation
)
(
result
?F ?FOOD))))
Food.kif 211-216
FermentedAttribute
est un
attribut
de
objet
processus
processus
est une
instance
de
Fermentation
objet
est le
resultat
de
processus
(=>
(
attribute
?FOOD
RawAttribute
)
(
not
(
exists
(?PROC)
(
and
(
instance
?PROC
Heating
)
(
result
?PROC ?FOOD)))))
Food.kif 55-61
RawAttribute
est un
attribut
de
objet
processus
processus
est une
instance
de
r�chauffer
objet
est le
resultat
de
processus
(=>
(
attribute
?H
Potter
)
(
exists
(?M ?P)
(
and
(
instance
?P
Pottery
)
(
instance
?M
Making
)
(
agent
?M ?H)
(
result
?M ?P))))
Mid-level-ontology.kif 20867-20874
Potter
est un
attribut
de
AutonomousAgent
processus
entit�
entit�
est une
instance
de
Pottery
processus
est une
instance
de
faire
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
(=>
(
attribute
?ROOM
ThemeRoom
)
(
exists
(?DESIGN ?PROP)
(
and
(
instance
?DESIGN
Designing
)
(
result
?DESIGN ?PROP)
(
represents
?ROOM ?PROP))))
Hotel.kif 1088-1094
ThemeRoom
est un
attribut
de
objet
processus
entit�
processus
est une
instance
de
Designing
entit�
est le
resultat
de
processus
objet
d
�finie
entit�
(=>
(
attribute
?X
AeronauticalEngineer
)
(
exists
(?SKILL)
(
and
(
hasSkill
?SKILL ?X)
(
forall
(?P)
(=>
(
instance
?P ?SKILL)
(
or
(
exists
(?CONS ?OBJ ?PT)
(
and
(
instance
?CONS
Making
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?CONS ?OBJ)
(
subProcess
?P ?CONS)))
(
exists
(?DESIGN ?PLAN ?OBJ ?PT)
(
and
(
instance
?DESIGN
Designing
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?DESIGN ?PLAN)
(
represents
?PLAN ?OBJ)
(
subProcess
?P ?DESIGN)))))))))
Biography.kif 436-465
AeronauticalEngineer
est un
attribut
de
AutonomousAgent
processus
AutonomousAgent
a la
capacit
� de faire
processus
processus
processus
est une
instance
de
processus
processus
entit�
and
processus
T
processus
est une
instance
de
faire
entit�
est une
instance
de
Aircraft
entit�
est une
instance
de
processus
T
typicalPart
processus
T and
Aircraft
entit�
est le
resultat
de
processus
processus
est un
sous
-processus de
processus
processus
processus
LAN,
entit�
and
processus
T
processus
est une
instance
de
Designing
entit�
est une
instance
de
Aircraft
entit�
est une
instance
de
processus
T
typicalPart
processus
T and
Aircraft
processus
LAN est le
resultat
de
processus
processus
LAN
d
�finie
entit�
processus
est un
sous
-processus de
processus
(=>
(
attribute
?X
Fodder
)
(
hasPurpose
?X
(
exists
(?H)
(
and
(
instance
?H
Harvesting
)
(
result
?H ?X)
(
instance
?X
OrganicObject
)
(
instance
?X
(
FoodForFn
DomesticAnimal
))))))
Mid-level-ontology.kif 20041-20050
Fodder
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
est une
instance
de
Harvesting
objet
est le
resultat
de
entit�
objet
est une
instance
de
objet organique
objet
est une
instance
de
FoodForFn
DomesticAnimal
(=>
(
attribute
?X
ForageCrop
)
(
hasPurpose
?X
(
exists
(?A)
(
and
(
instance
?A
Agriculture
)
(
result
?A ?X)
(
instance
?X
Plant
)
(
instance
?X
(
FoodForFn
DomesticAnimal
))))))
Economy.kif 4809-4818
ForageCrop
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
est une
instance
de
Agriculture
objet
est le
resultat
de
entit�
objet
est une
instance
de
plante
objet
est une
instance
de
FoodForFn
DomesticAnimal
(=>
(
attribute
?X
MeanOfProduction
)
(
hasPurpose
?X
(
or
(
exists
(?MAKE ?PRODUCT)
(
and
(
instance
?MAKE
Making
)
(
involvedInEvent
?MAKE ?X)
(
not
(
result
?MAKE ?X))
(
instance
?PRODUCT
Artifact
)
(
result
?MAKE ?PRODUCT)
(
hasPurpose
?PRODUCT
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?PRODUCT))))))
(
exists
(?SERVICE)
(
and
(
instance
?SERVICE
CommercialService
)
(
involvedInEvent
?SERVICE ?X))))))
Economy.kif 5747-5767
MeanOfProduction
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
faire
involvedInEvent
entit�
and
objet
objet
est le
resultat
de
entit�
entit�
est une
instance
de
artefact
entit�
est le
resultat
de
entit�
entit�
a pour
but
entit�
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
entit�
est une
instance
de
CommercialService
involvedInEvent
entit�
and
objet
(=>
(
attribute
?X
TourArrangementAndReservationServices
)
(
hasPurpose
?X
(
exists
(?PROC ?RESERVE)
(
and
(
instance
?RESERVE
TourReservation
)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?X)
(
or
(
result
?PROC ?RESERVE)
(
patient
?PROC ?RESERVE))))))
Hotel.kif 2336-2346
TourArrangementAndReservationServices
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
TourReservation
entit�
est une
instance
de
processus intentionnel
entit�
est un
agent
de
objet
entit�
est le
resultat
de
entit�
entit�
est un
patient
de
entit�
(=>
(
attribute
?X
TravelArrangementAndReservationServices
)
(
hasPurpose
?X
(
exists
(?PROC ?RESERVE)
(
and
(
instance
?RESERVE
TravelReservation
)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?X)
(
or
(
result
?PROC ?RESERVE)
(
patient
?PROC ?RESERVE))))))
naics.kif 10451-10461
TravelArrangementAndReservationServices
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
TravelReservation
entit�
est une
instance
de
processus intentionnel
entit�
est un
agent
de
objet
entit�
est le
resultat
de
entit�
entit�
est un
patient
de
entit�
(=>
(
attribute
?X
Writer
)
(
exists
(?OBJ ?PROC)
(
and
(
instance
?PROC
Writing
)
(
or
(
instance
?OBJ
Text
)
(
instance
?OBJ
Document
))
(
agent
?PROC ?X)
(
result
?PROC ?OBJ))))
Biography.kif 717-726
Writer
est un
attribut
de
AutonomousAgent
entit�
processus
processus
est une
instance
de
�crire
entit�
est une
instance
de
texte
entit�
est une
instance
de
Document
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
(=>
(
authors
?AGENT ?TEXTCLASS)
(
exists
(?PROCESS ?INSTANCE)
(
and
(
agent
?PROCESS ?AGENT)
(
instance
?INSTANCE ?TEXTCLASS)
(
result
?PROCESS ?INSTANCE))))
Merge.kif 15466-15472
AutonomousAgent
est l'
auteur
de
objet exprimant un sens
processus
entit�
processus
est un
agent
de
AutonomousAgent
entit�
est une
instance
de
objet exprimant un sens
entit�
est le
resultat
de
processus
(=>
(
composer
?A ?M)
(
exists
(?C)
(
and
(
instance
?C
Creation
)
(
agent
?C ?A)
(
result
?C ?M))))
Music.kif 148-154
composer
agent cognitif
and
MusicalComposition
processus
processus
est une
instance
de
cr�ation
processus
est un
agent
de
agent cognitif
MusicalComposition
est le
resultat
de
processus
(=>
(
constructionPeriod
?OBJECT ?INTERVAL)
(
holdsDuring
?INTERVAL
(
exists
(?CONSTRUCTING)
(
and
(
instance
?CONSTRUCTING
Constructing
)
(
result
?CONSTRUCTING ?OBJECT)))))
Mid-level-ontology.kif 20808-20814
constructionPeriod
artefact stationnaire
and
interval temporel
entit�
entit�
est une
instance
de
construire
artefact stationnaire
est le
resultat
de
entit�
pendant
interval 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