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
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
Entit�
è
localizzato
in
AreaGeopolitica
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
geopoliticalSubdivision
AreaGeopolitica
and
AreaGeopolitica
geopoliticalSubdivision
AreaGeopolitica
and
AreaGeopolitica
Entit�
è
localizzato
in
AreaGeopolitica
vales
durante
la
fine
di il
tempo
di esistenza di
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
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
AreaGeopolitica
Entit�Concreta
è un'
istanza
di
AreaGeopolitica
Entit�
è
localizzato
in
Oggetto
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Entit�Concreta
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
Entit�Concreta
è
localizzato
in
Oggetto
(=>
(
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
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
AreaGeopolitica
Processo
si
originas in
Oggetto
Entit�Concreta
è un'
istanza
di
AreaGeopolitica
Processo
fine
s in
Entit�Concreta
Entit�Concreta
è
localizzato
in
Oggetto
(=>
(
and
(
instance
?FARMING
Farming
)
(
agent
?FARMING ?FARMER))
(
exists
(?FARM)
(
and
(
instance
?FARM
Farm
)
(
holdsDuring
(
WhenFn
?FARMING)
(
located
?FARMER ?FARM)))))
Mid-level-ontology.kif 20506-20513
Processo
è un'
istanza
di
Farming
Processo
è un
agente
di
AutonomousAgent
Entit�
Entit�
è un'
istanza
di
Farm
AutonomousAgent
è
localizzato
in
Entit�
vales
durante
il
tempo
di esistenza di
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
è un'
istanza
di
ForeignInternalDefense
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
esperisce
s
Processo
Processo
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Apprendere
Entit�
esperisce
s
Entit�
Entit�
è un
agente
di
AutonomousAgent
militaryOfArea
Entit�
and
AutonomousAgent
Entit�
è un'
istanza
di
MilitaryForce
Entit�
è
localizzato
in
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
è un'
istanza
di
Flying
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
AirLaunchMissile
Entit�
Entit�
è un'
istanza
di
AtmosphericRegion
Entit�
è
localizzato
in
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
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 654-668
Oggetto
è un'
istanza
di
Gene
Oggetto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Cellula
Processo
Oggetto
and
Oggetto
Processo
è un'
istanza
di
ProcesoBiologico
eventLocated
Processo
and
Oggetto
Processo
si
originas in
Oggetto
Oggetto
è un
risultato
di
Processo
Oggetto
è un'
istanza
di
Nucleotide
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
RNAMolecule
Oggetto
è
localizzato
in
Oggetto
(=>
(
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 17050-17062
Oggetto
è un'
istanza
di
GameGoal
Oggetto
è uno
strumento
per
Processo
Processo
è un'
istanza
di
Gioco
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
Score
Entit�
PosizioneTemporale
Entit�
è un'
istanza
di
GamePiece
Entit�
è un
paziente
di
Processo
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Oggetto
vales
durante
PosizioneTemporale
(=>
(
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 5724-5735
Processo
è un'
istanza
di
Itching
Processo
è
localizzato
in
Oggetto
Oggetto
è una
parte
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Processo
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Scratching
il
tempo
di esistenza di
Entit�
has luogo
durante
il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Oggetto
(=>
(
and
(
instance
?KEEP
Keeping
)
(
patient
?KEEP ?OBJ))
(
exists
(?PLACE)
(
forall
(?TIME)
(=>
(
temporalPart
?TIME
(
WhenFn
?KEEP))
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE))))))
Merge.kif 12212-12220
Processo
è un'
istanza
di
Trattenere
Entit�
è un
paziente
di
Processo
Entit�
PosizioneTemporale
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Entit�
vales
durante
PosizioneTemporale
(=>
(
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
è un'
istanza
di
Locating
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
Regione
AutonomousAgent
conosce
s
Entit�
è
localizzato
in
Entit�
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11074-11079
Movimento
è un'
istanza
di
Movimento
moves
Movimento
and
Oggetto
Movimento
fine
s in
Entit�
Oggetto
è
localizzato
in
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Movimento
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
origin
?MOTION ?PLACE))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11058-11063
Movimento
è un'
istanza
di
Movimento
moves
Movimento
and
Oggetto
Movimento
si
originas in
Oggetto
Oggetto
è
localizzato
in
Oggetto
vales
durante
l'
inizio
di il
tempo
di esistenza di
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 11580-11589
Processo
è un'
istanza
di
Translocation
Processo
si
originas in
Oggetto
Oggetto
Processo
Oggetto
è un'
istanza
di
Regione
Oggetto
is
uguale
a
Oggetto
Processo
è un
sottoprocesso
di
Processo
Processo
è
localizzato
in
Oggetto
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
exists
(?SUB)
(
and
(
part
?SUB ?OBJ1)
(
located
?SUB ?OBJ2))))
Merge.kif 4061-4068
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è
in
parte localizzato in
Oggetto
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è
localizzato
in
Oggetto
(=>
(
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
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
WarehousingAndStorage
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
Entit�
AutonomousAgent
è un'
istanza
di
Vendere
Entit�
è un'
istanza
di
Oggetto
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
è un
paziente
di
AutonomousAgent
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
Entit�
è un'
istanza
di
IntervalloTemporale
Entit�
è un'
istanza
di
Costruzione
AgenteCognitivo
possiede
es
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
Entit�
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
located
?P ?SI)
Likely
))
Medicine.kif 2725-2733
Processo
è un'
istanza
di
CeliacDisease
AutonomousAgent
esperisce
s
Processo
Oggetto
è un'
istanza
di
SmallIntestine
Oggetto
è una
parte
di
AutonomousAgent
l'affermazione
Processo
è
localizzato
in
Oggetto
ha il modello di forza di
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
è un'
istanza
di
FoodPickup
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
AutonomousAgent
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
FoodForFn
Umano
Oggetto
Processo
and
Processo
AutonomousAgent
è
localizzato
in
Oggetto
Processo
è un'
istanza
di
Translocation
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Oggetto
Processo
è un'
istanza
di
Ottenere
Processo
si
originas in
AutonomousAgent
Processo
fine
s in
AutonomousAgent
Entit�
è un
paziente
di
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
è un'
istanza
di
HeartPalpitations
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
EART
AutonomousAgent
EART è un'
istanza
di
Heart
AutonomousAgent
EART è una
parte
di
AutonomousAgent
Processo
è
localizzato
in
AutonomousAgent
EART
(=>
(
and
(
instance
?P
PassCertificate
)
(
possesses
?A ?P))
(
exists
(?L)
(
confersNorm
?P
(
located
?A ?L)
Permission
)))
Mid-level-ontology.kif 16581-16588
Oggetto
è un'
istanza
di
PassCertificate
AutonomousAgent
possiede
es
Oggetto
Entit�
confersNorm
Oggetto
,
AutonomousAgent
è
localizzato
in
Entit�
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
è un'
istanza
di
NoChildrenPolicy
policyLocationCoverage
Policy
and
Oggetto
policyOwner
Organizzazione
and
Policy
deprivesNorm
Organizzazione
,
Entit�
Entit�
è un'
istanza
di
HumanChild
Entit�
è
localizzato
in
Oggetto
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
è un'
istanza
di
NoPetsPolicy
policyLocationCoverage
Policy
and
Oggetto
policyOwner
Organizzazione
and
Policy
deprivesNorm
Organizzazione
,
Entit�
Entit�
è un'
istanza
di
DomesticAnimal
Entit�
è
localizzato
in
Oggetto
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
è un'
istanza
di
NoSmokingPolicy
policyLocationCoverage
Policy
and
Oggetto
policyOwner
Organizzazione
and
Policy
deprivesNorm
Organizzazione
,
Entit�
Entit�
è un'
istanza
di
Smoking
Entit�
è
localizzato
in
Oggetto
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
è un'
istanza
di
PetPolicy
policyLocationCoverage
Policy
and
Oggetto
Policy
contiene
s informazione l'affermazione
Entit�
Entit�
è un'
istanza
di
DomesticAnimal
Entit�
è
localizzato
in
Oggetto
ha il modello di forza di
Permission
Policy
contiene
s informazione l'affermazione
Entit�
Entit�
è un'
istanza
di
DomesticAnimal
Entit�
è
localizzato
in
Oggetto
ha il modello di forza di
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
è un'
istanza
di
PetsAllowedPolicy
policyLocationCoverage
Policy
and
Oggetto
policyOwner
Organizzazione
and
Policy
confersNorm
Organizzazione
,
Entit�
Entit�
è un'
istanza
di
DomesticAnimal
Entit�
è
localizzato
in
Oggetto
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