located
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
Processo
e' uma
instancia
de
Exporting
Entidade
e' um
patient
de
Processo
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Entidade
e'
situado
em
Area Geopolitica
vale
durante o
comeco
de
tempo
de existencia de
Processo
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
sub-divisao geopolitica sub-divisao geopolitica
Entidade
e'
situado
em
Area Geopolitica
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
Processo
e' uma
instancia
de
Exporting
Entidade
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Area Geopolitica
Fisico
e' uma
instancia
de
Area Geopolitica
Entidade
e'
situado
em
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
situado
em
Fisico
vale
durante o
fim
de
tempo
de existencia de
Processo
Fisico
e'
situado
em
Objeto
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
origin
?EXPORT ?AREA1)
(
instance
?AREA2
GeopoliticalArea
)
(
destination
?EXPORT ?AREA2))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2478-2486
Processo
e' uma
instancia
de
Exporting
Entidade
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Area Geopolitica
Processo
tem como
origem
Objeto
Fisico
e' uma
instancia
de
Area Geopolitica
Processo
termina
em
Fisico
Fisico
e'
situado
em
Objeto
(=>
(
and
(
instance
?FARMING
Farming
)
(
agent
?FARMING ?FARMER))
(
exists
(?FARM)
(
and
(
instance
?FARM
Farm
)
(
holdsDuring
(
WhenFn
?FARMING)
(
located
?FARMER ?FARM)))))
Mid-level-ontology.kif 20507-20514
Processo
e' uma
instancia
de
Farming
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
e' uma
instancia
de
Farm
AutonomousAgent
e'
situado
em
Entidade
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
experiencer
?FID ?HN))
(
hasPurpose
?FID
(
exists
(?ORG ?LEARNING)
(
and
(
instance
?LEARNING
Learning
)
(
experiencer
?LEARNING ?ORG)
(
agent
?LEARNING ?MIL)
(
or
(
militaryOfArea
?ORG ?HN)
(
and
(
instance
?ORG
MilitaryForce
)
(
located
?ORG ?HN)))))))
MilitaryProcesses.kif 1960-1975
Processo
e' uma
instancia
de
ForeignInternalDefense
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
experimenta
Processo
Processo
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Aprender
Entidade
experimenta
Entidade
Entidade
e' um
agente
de
AutonomousAgent
militaryOfArea
Entidade
and
AutonomousAgent
Entidade
e' uma
instancia
de
MilitaryForce
Entidade
e'
situado
em
AutonomousAgent
(=>
(
and
(
instance
?FLYING
Flying
)
(
patient
?FLYING ?ALM)
(
instance
?ALM
AirLaunchMissile
))
(
exists
(?REGION)
(
and
(
instance
?REGION
AtmosphericRegion
)
(
holdsDuring
(
BeginFn
(
WhenFn
?FLYING))
(
located
?ALM ?REGION)))))
MilitaryDevices.kif 944-955
Processo
e' uma
instancia
de
Flying
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
AirLaunchMissile
Entidade
Entidade
e' uma
instancia
de
AtmosphericRegion
Entidade
e'
situado
em
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?G
Gene
)
(
located
?G ?C)
(
instance
?C
Cell
))
(
exists
(?B ?N ?R)
(
and
(
instance
?B
BiologicalProcess
)
(
eventLocated
?B ?C)
(
origin
?B ?G)
(
result
?B ?N)
(
instance
?N
Nucleotide
)
(
part
?N ?R)
(
instance
?R
RNAMolecule
)
(
located
?R ?C))))
VirusProteinAndCellPart.kif 655-669
Objeto
e' uma
instancia
de
Gene
Objeto
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Celula
Processo
Objeto
and
Objeto
Processo
e' uma
instancia
de
Processo Biologico
eventLocated
Processo
and
Objeto
Processo
tem como
origem
Objeto
Objeto
e' o
resultado
de
Processo
Objeto
e' uma
instancia
de
Nucleotide
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RNAMolecule
Objeto
e'
situado
em
Objeto
(=>
(
and
(
instance
?GOAL
GameGoal
)
(
instrument
?GAME ?GOAL)
(
instance
?GAME
Game
)
(
subProcess
?SCORE ?GAME)
(
instance
?SCORE
Score
))
(
exists
(?PIECE ?TIME)
(
and
(
instance
?PIECE
GamePiece
)
(
patient
?SCORE ?PIECE)
(
temporalPart
?TIME
(
WhenFn
?SCORE))
(
holdsDuring
?TIME
(
located
?PIECE ?GOAL)))))
Mid-level-ontology.kif 17051-17063
Objeto
e' uma
instancia
de
GameGoal
Objeto
e' um
instrumento
para
Processo
Processo
e' uma
instancia
de
Jogo
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Score
Entidade
Posicao Temporal
Entidade
e' uma
instancia
de
GamePiece
Entidade
e' um
patient
de
Processo
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Processo
Entidade
e'
situado
em
Objeto
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?I
Itching
)
(
located
?I ?P)
(
part
?P ?H)
(
experiencer
?I ?H))
(
desires
?H
(
exists
(?S)
(
and
(
instance
?S
Scratching
)
(
during
(
WhenFn
?S)
(
WhenFn
?I))
(
located
?S ?P)))))
Mid-level-ontology.kif 5725-5736
Processo
e' uma
instancia
de
Itching
Processo
e'
situado
em
Objeto
Objeto
e' uma &parte de
Agente Cognitivo
Agente Cognitivo
experimenta
Processo
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Scratching
tempo
de existencia de
Entidade
acontece
durante
tempo
de existencia de
Processo
Entidade
e'
situado
em
Objeto
(=>
(
and
(
instance
?KEEP
Keeping
)
(
patient
?KEEP ?OBJ))
(
exists
(?PLACE)
(
forall
(?TIME)
(=>
(
temporalPart
?TIME
(
WhenFn
?KEEP))
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE))))))
Merge.kif 12190-12198
Processo
e' uma
instancia
de
Manter
Entidade
e' um
patient
de
Processo
Entidade
Posicao Temporal
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Processo
Entidade
e'
situado
em
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?LOCATING
Locating
)
(
patient
?LOCATING ?THING)
(
agent
?LOCATING ?AGENT))
(
hasPurpose
?LOCATING
(
exists
(?LOCATION)
(
and
(
instance
?LOCATION
Region
)
(
knows
?AGENT
(
located
?THING ?LOCATION))))))
MilitaryProcesses.kif 577-587
Processo
e' uma
instancia
de
Locating
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Regiao
AutonomousAgent
sabe
Entidade
e'
situado
em
Entidade
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11052-11057
Movimento
e' uma
instancia
de
Movimento
moves
Movimento
and
Objeto
Movimento
termina
em
Entidade
Objeto
e'
situado
em
Entidade
vale
durante o
fim
de
tempo
de existencia de
Movimento
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
origin
?MOTION ?PLACE))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11036-11041
Movimento
e' uma
instancia
de
Movimento
moves
Movimento
and
Objeto
Movimento
tem como
origem
Objeto
Objeto
e'
situado
em
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Movimento
(=>
(
and
(
instance
?MOVEMENT
Translocation
)
(
origin
?MOVEMENT ?PLACE1))
(
exists
(?PLACE2 ?STAGE)
(
and
(
instance
?PLACE2
Region
)
(
not
(
equal
?PLACE1 ?PLACE2))
(
subProcess
?STAGE ?MOVEMENT)
(
located
?STAGE ?PLACE2))))
Merge.kif 11558-11567
Processo
e' uma
instancia
de
Translocation
Processo
tem como
origem
Objeto
Objeto
Processo
Objeto
e' uma
instancia
de
Regiao
Objeto
e'
igual
a
Objeto
Processo
e' um
sub
-processo de
Processo
Processo
e'
situado
em
Objeto
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
exists
(?SUB)
(
and
(
part
?SUB ?OBJ1)
(
located
?SUB ?OBJ2))))
Merge.kif 4061-4068
Objeto
e' uma
instancia
de
Objeto
Objeto
e'
parcialmente
localizado em
Objeto
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
situado
em
Objeto
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WarehousingAndStorage
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?B ?T)
(
and
(
instance
?T
TimeInterval
)
(
instance
?B
Building
)
(
possesses
?P ?OBJ)
(
holdsDuring
?T
(
located
?B ?OBJ)))) ?MEM ?P))))))
naics.kif 8776-8797
Colecao
e' uma
instancia
de
Organizacao
WarehousingAndStorage
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
Entidade
AutonomousAgent
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
Objeto
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
Entidade
e' uma
instancia
de
Intervalo Temporal
Entidade
e' uma
instancia
de
Predio
Agente Cognitivo
possui
Entidade
Entidade
e'
situado
em
Entidade
vale
durante
Entidade
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
located
?P ?SI)
Likely
))
Medicine.kif 2725-2733
Processo
e' uma
instancia
de
CeliacDisease
AutonomousAgent
experimenta
Processo
Objeto
e' uma
instancia
de
SmallIntestine
Objeto
e' uma &parte de
AutonomousAgent
o argumento
Processo
e'
situado
em
Objeto
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?P
FoodPickup
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST)
(
patient
?P ?FOOD))
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
exists
(?LOC ?T ?G)
(
and
(
located
?AGENT ?LOC)
(
instance
?T
Translocation
)
(
agent
?T ?CUST)
(
destination
?T ?LOC)
(
instance
?G
Getting
)
(
origin
?G ?AGENT)
(
destination
?G ?CUST)
(
patient
?G ?FOOD)))))
Dining.kif 610-627
Processo
e' uma
instancia
de
FoodPickup
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
FoodForFn
Humano
Objeto
Processo
and
Processo
AutonomousAgent
e'
situado
em
Objeto
Processo
e' uma
instancia
de
Translocation
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Objeto
Processo
e' uma
instancia
de
Obter
Processo
tem como
origem
AutonomousAgent
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?P
HeartPalpitations
)
(
experiencer
?P ?H))
(
exists
(?HEART)
(
and
(
instance
?HEART
Heart
)
(
part
?HEART ?H)
(
located
?P ?HEART))))
Medicine.kif 2072-2080
Processo
e' uma
instancia
de
HeartPalpitations
AutonomousAgent
experimenta
Processo
AutonomousAgent
EART
AutonomousAgent
EART e' uma
instancia
de
Heart
AutonomousAgent
EART e' uma &parte de
AutonomousAgent
Processo
e'
situado
em
AutonomousAgent
EART
(=>
(
and
(
instance
?P
PassCertificate
)
(
possesses
?A ?P))
(
exists
(?L)
(
confersNorm
?P
(
located
?A ?L)
Permission
)))
Mid-level-ontology.kif 16582-16589
Objeto
e' uma
instancia
de
PassCertificate
AutonomousAgent
possui
Objeto
Entidade
confersNorm
Objeto
,
AutonomousAgent
e'
situado
em
Entidade
and
Permission
(=>
(
and
(
instance
?POLICY
NoChildrenPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
deprivesNorm
?AGENT
(
exists
(?CHILD)
(
and
(
instance
?CHILD
HumanChild
)
(
located
?CHILD ?LOC)))
Permission
))
Hotel.kif 2626-2635
Policy
e' uma
instancia
de
NoChildrenPolicy
policyLocationCoverage
Policy
and
Objeto
policyOwner
Organizacao
and
Policy
deprivesNorm
Organizacao
,
Entidade
Entidade
e' uma
instancia
de
HumanChild
Entidade
e'
situado
em
Objeto
and
Permission
(=>
(
and
(
instance
?POLICY
NoPetsPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
deprivesNorm
?AGENT
(
exists
(?PET)
(
and
(
instance
?PET
DomesticAnimal
)
(
located
?PET ?LOC)))
Permission
))
Hotel.kif 2577-2586
Policy
e' uma
instancia
de
NoPetsPolicy
policyLocationCoverage
Policy
and
Objeto
policyOwner
Organizacao
and
Policy
deprivesNorm
Organizacao
,
Entidade
Entidade
e' uma
instancia
de
DomesticAnimal
Entidade
e'
situado
em
Objeto
and
Permission
(=>
(
and
(
instance
?POLICY
NoSmokingPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
deprivesNorm
?AGENT
(
exists
(?SMOKE)
(
and
(
instance
?SMOKE
Smoking
)
(
located
?SMOKE ?LOC)))
Permission
))
Hotel.kif 2593-2602
Policy
e' uma
instancia
de
NoSmokingPolicy
policyLocationCoverage
Policy
and
Objeto
policyOwner
Organizacao
and
Policy
deprivesNorm
Organizacao
,
Entidade
Entidade
e' uma
instancia
de
Smoking
Entidade
e'
situado
em
Objeto
and
Permission
(=>
(
and
(
instance
?POLICY
PetPolicy
)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?PET1)
(
and
(
instance
?PET1
DomesticAnimal
)
(
located
?PET1 ?LOC)))
Permission
))
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?PET2)
(
and
(
instance
?PET2
DomesticAnimal
)
(
located
?PET2 ?LOC)))
Prohibition
))))
Hotel.kif 2512-2528
Policy
e' uma
instancia
de
PetPolicy
policyLocationCoverage
Policy
and
Objeto
Policy
contem
informacao o argumento
Entidade
Entidade
e' uma
instancia
de
DomesticAnimal
Entidade
e'
situado
em
Objeto
tem a
forca
modal
de
Permission
Policy
contem
informacao o argumento
Entidade
Entidade
e' uma
instancia
de
DomesticAnimal
Entidade
e'
situado
em
Objeto
tem a
forca
modal
de
Prohibition
(=>
(
and
(
instance
?POLICY
PetsAllowedPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
confersNorm
?AGENT
(
exists
(?PET)
(
and
(
instance
?PET
DomesticAnimal
)
(
located
?PET ?LOC)))
Permission
))
Hotel.kif 2561-2570
Policy
e' uma
instancia
de
PetsAllowedPolicy
policyLocationCoverage
Policy
and
Objeto
policyOwner
Organizacao
and
Policy
confersNorm
Organizacao
,
Entidade
Entidade
e' uma
instancia
de
DomesticAnimal
Entidade
e'
situado
em
Objeto
and
Permission
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