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
Processo
e' uma
instancia
de
PsychologicalOperation
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
Entidade
Entidade
e' um
agente
de
Entidade
Entidade
e' o
resultado
de
Entidade
AutonomousAgent
deseja
Entidade
(=>
(
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
Objeto
e' uma
instancia
de
Photocopier
Objeto
e' um
instrumento
para
Processo
Processo
e' uma
instancia
de
Photocopying
ContentBearingPhysical
e' um
patient
de
Processo
ContentBearingPhysical
e' uma
instancia
de
TwoDimensionalObject
ContentBearingPhysical
e' uma
instancia
de
VisualContentBearingObject
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
Objeto
ContentBearingPhysical
e' o
resultado
de
Processo
ContentBearingPhysical
e' uma
instancia
de
TwoDimensionalObject
ContentBearingPhysical
e' uma
instancia
de
VisualContentBearingObject
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
e'
situado
em
Objeto
Objeto
e' uma
instancia
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
Fisico
e' uma
instancia
de
SurveillanceSystem
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
Colecao
e'
situado
em
Objeto
Colecao
e' uma
instancia
de
Camera
Colecao
e'
situado
em
Objeto
Objeto
e'
igual
a
Objeto
Colecao
e' uma
instancia
de
VideoDisplay
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
eventLocated
Entidade
and
Objeto
Entidade
define
Entidade
Camera
e' um
instrumento
para
Entidade
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Luz Irradiante
Colecao
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
o
comeco
de
Entidade
comeca
antes
de o
comeco
de
Entidade
o
comeco
de
Entidade
comeca
antes
de o
comeco
de
Entidade
(=>
(
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
Processo
e'
igual
a
Entidade
elemento
de
MeasuringList
Entidade
e'
igual
a
Entidade
elemento
de
MeasuringResultList
Entidade
e' o
resultado
de
Processo
(=>
(
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
Objeto Organico
and
NaturalSubstance
Objeto
e' uma
instancia
de
Objeto Organico
Processo
Entidade
Processo
e' uma
instancia
de
Processo Biologico
eventLocated
Processo
and
Objeto
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
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
e' uma
sub
-classe de
Newspaper
Posicao Temporal
e' uma
instancia
de
Semana
Processo
Entidade
Processo
e' uma
instancia
de
Publicacao
tempo
de existencia de
Processo
e' uma &parte de
Posicao Temporal
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
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
,
Atributo
and
AutonomousAgent
Atributo
e' uma
instancia
de
FoodRating
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Entidade
Processo
and
Processo
Processo
e' uma
instancia
de
Cozinhar
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
Processo
e' uma
instancia
de
Classificar
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Entidade
Atributo
e' um
patient
de
Processo
(=>
(
attribute
?F
CuredAttribute
)
(
exists
(?C)
(
and
(
instance
?C
CuringFood
)
(
result
?C ?F))))
Food.kif 70-75
CuredAttribute
e' um
atributo
de
Objeto
Processo
Processo
e' uma
instancia
de
CuringFood
Objeto
e' o
resultado
de
Processo
(=>
(
attribute
?F
DryRoastAttribute
)
(
exists
(?X)
(
and
(
instance
?X
DryRoasting
)
(
result
?X ?F))))
Food.kif 114-119
DryRoastAttribute
e' um
atributo
de
Objeto
Processo
Processo
e' uma
instancia
de
DryRoasting
Objeto
e' o
resultado
de
Processo
(=>
(
attribute
?F
HulledAttribute
)
(
exists
(?X)
(
and
(
instance
?X
Hulling
)
(
result
?X ?F))))
Food.kif 160-165
HulledAttribute
e' um
atributo
de
Objeto
Processo
Processo
e' uma
instancia
de
Hulling
Objeto
e' o
resultado
de
Processo
(=>
(
attribute
?FOOD
CookedAttribute
)
(
exists
(?PROC1 ?PROC2)
(
and
(
instance
?PROC1
Cooking
)
(
instance
?PROC2
Heating
)
(
subProcess
?PROC2 ?PROC1)
(
result
?PROC1 ?FOOD))))
Food.kif 37-44
CookedAttribute
e' um
atributo
de
Objeto
Processo
Processo
Processo
e' uma
instancia
de
Cozinhar
Processo
e' uma
instancia
de
Aquecer
Processo
e' um
sub
-processo de
Processo
Objeto
e' o
resultado
de
Processo
(=>
(
attribute
?FOOD
FermentedAttribute
)
(
exists
(?F)
(
and
(
instance
?F
Fermentation
)
(
result
?F ?FOOD))))
Food.kif 211-216
FermentedAttribute
e' um
atributo
de
Objeto
Processo
Processo
e' uma
instancia
de
Fermentation
Objeto
e' o
resultado
de
Processo
(=>
(
attribute
?FOOD
RawAttribute
)
(
not
(
exists
(?PROC)
(
and
(
instance
?PROC
Heating
)
(
result
?PROC ?FOOD)))))
Food.kif 55-61
RawAttribute
e' um
atributo
de
Objeto
Processo
Processo
e' uma
instancia
de
Aquecer
Objeto
e' o
resultado
de
Processo
(=>
(
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
e' um
atributo
de
AutonomousAgent
Processo
Entidade
Entidade
e' uma
instancia
de
Pottery
Processo
e' uma
instancia
de
Fazer
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
(=>
(
attribute
?ROOM
ThemeRoom
)
(
exists
(?DESIGN ?PROP)
(
and
(
instance
?DESIGN
Designing
)
(
result
?DESIGN ?PROP)
(
represents
?ROOM ?PROP))))
Hotel.kif 1088-1094
ThemeRoom
e' um
atributo
de
Objeto
Processo
Entidade
Processo
e' uma
instancia
de
Designing
Entidade
e' o
resultado
de
Processo
Objeto
define
Entidade
(=>
(
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
e' um
atributo
de
AutonomousAgent
Processo
AutonomousAgent
tem a
capacidade
de fazer
Processo
Processo
Processo
e' uma
instancia
de
Processo
Processo
Entidade
and
Processo
T
Processo
e' uma
instancia
de
Fazer
Entidade
e' uma
instancia
de
Aircraft
Entidade
e' uma
instancia
de
Processo
T
typicalPart
Processo
T and
Aircraft
Entidade
e' o
resultado
de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
Processo
LAN,
Entidade
and
Processo
T
Processo
e' uma
instancia
de
Designing
Entidade
e' uma
instancia
de
Aircraft
Entidade
e' uma
instancia
de
Processo
T
typicalPart
Processo
T and
Aircraft
Processo
LAN e' o
resultado
de
Processo
Processo
LAN
define
Entidade
Processo
e' um
sub
-processo de
Processo
(=>
(
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
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Harvesting
Objeto
e' o
resultado
de
Entidade
Objeto
e' uma
instancia
de
Objeto Organico
Objeto
e' uma
instancia
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
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Agriculture
Objeto
e' o
resultado
de
Entidade
Objeto
e' uma
instancia
de
Planta
Objeto
e' uma
instancia
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
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Fazer
involvedInEvent
Entidade
and
Objeto
Objeto
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Artefato
Entidade
e' o
resultado
de
Entidade
Entidade
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
Entidade
e' uma
instancia
de
CommercialService
involvedInEvent
Entidade
and
Objeto
(=>
(
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
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
TourReservation
Entidade
e' uma
instancia
de
Processo Intencional
Entidade
e' um
agente
de
Objeto
Entidade
e' o
resultado
de
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
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
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
TravelReservation
Entidade
e' uma
instancia
de
Processo Intencional
Entidade
e' um
agente
de
Objeto
Entidade
e' o
resultado
de
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
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
e' um
atributo
de
AutonomousAgent
Entidade
Processo
Processo
e' uma
instancia
de
Escrever
Entidade
e' uma
instancia
de
Texto
Entidade
e' uma
instancia
de
Document
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
(=>
(
authors
?AGENT ?TEXTCLASS)
(
exists
(?PROCESS ?INSTANCE)
(
and
(
agent
?PROCESS ?AGENT)
(
instance
?INSTANCE ?TEXTCLASS)
(
result
?PROCESS ?INSTANCE))))
Merge.kif 15466-15472
AutonomousAgent
e' o
autor
de
Objeto Representendo Conteudo Abstrato
Processo
Entidade
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Entidade
e' o
resultado
de
Processo
(=>
(
composer
?A ?M)
(
exists
(?C)
(
and
(
instance
?C
Creation
)
(
agent
?C ?A)
(
result
?C ?M))))
Music.kif 148-154
composer
Agente Cognitivo
and
MusicalComposition
Processo
Processo
e' uma
instancia
de
Criacao
Processo
e' um
agente
de
Agente Cognitivo
MusicalComposition
e' o
resultado
de
Processo
(=>
(
constructionPeriod
?OBJECT ?INTERVAL)
(
holdsDuring
?INTERVAL
(
exists
(?CONSTRUCTING)
(
and
(
instance
?CONSTRUCTING
Constructing
)
(
result
?CONSTRUCTING ?OBJECT)))))
Mid-level-ontology.kif 20808-20814
constructionPeriod
Artefato Estacionario
and
Intervalo Temporal
Entidade
Entidade
e' uma
instancia
de
Construcao
Artefato Estacionario
e' o
resultado
de
Entidade
vale
durante
Intervalo Temporal
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