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
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
secteur g�opolitique
est une
instance
de
secteur g�opolitique
entit�
est
situ
� �
secteur g�opolitique
pendant
le
d
�but de
temps
d'existence de
processus
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
sous-division g�opolitique sous-division g�opolitique
entit�
est
situ
� �
secteur g�opolitique
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
objet
est une
instance
de
secteur g�opolitique
physique
est une
instance
de
secteur g�opolitique
entit�
est
situ
� �
objet
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
situ
� �
physique
pendant
la
fin
de
temps
d'existence de
processus
physique
est
situ
� �
objet
(=>
(
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
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
objet
est une
instance
de
secteur g�opolitique
processus
a pour
origine
objet
physique
est une
instance
de
secteur g�opolitique
processus
aboutit
�
physique
physique
est
situ
� �
objet
(=>
(
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
Processus
est une
instance
de
Farming
processus
est un
agent
de
AutonomousAgent
entit�
entit�
est une
instance
de
Farm
AutonomousAgent
est
situ
� �
entit�
pendant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
ForeignInternalDefense
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
entit�
est une
instance
de
apprendre
entit�
exp
�rimente
entit�
entit�
est un
agent
de
AutonomousAgent
militaryOfArea
entit�
and
AutonomousAgent
entit�
est une
instance
de
MilitaryForce
entit�
est
situ
� �
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
Processus
est une
instance
de
Flying
entit�
est un
patient
de
processus
entit�
est une
instance
de
AirLaunchMissile
entit�
entit�
est une
instance
de
AtmosphericRegion
entit�
est
situ
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
(=>
(
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
Objet
est une
instance
de
Gene
objet
est
situ
� �
objet
objet
est une
instance
de
cellule
processus
objet
and
objet
processus
est une
instance
de
processus biologique
eventLocated
processus
and
objet
processus
a pour
origine
objet
objet
est le
resultat
de
processus
objet
est une
instance
de
Nucleotide
objet
est une
partie
de
objet
objet
est une
instance
de
RNAMolecule
objet
est
situ
� �
objet
(=>
(
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
Objet
est une
instance
de
GameGoal
objet
est un
instrument
pour
processus
processus
est une
instance
de
jeu
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Score
entit�
position temporel
entit�
est une
instance
de
GamePiece
entit�
est un
patient
de
processus
position temporel
est une
partie
de
temps
d'existence de
processus
entit�
est
situ
� �
objet
pendant
position temporel
(=>
(
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
Processus
est une
instance
de
Itching
processus
est
situ
� �
objet
objet
est une
partie
de
agent cognitif
agent cognitif
exp
�rimente
processus
agent cognitif
desire
entit�
entit�
est une
instance
de
Scratching
temps
d'existence de
entit�
prend place
pendant
temps
d'existence de
processus
entit�
est
situ
� �
objet
(=>
(
and
(
instance
?KEEP
Keeping
)
(
patient
?KEEP ?OBJ))
(
exists
(?PLACE)
(
forall
(?TIME)
(=>
(
temporalPart
?TIME
(
WhenFn
?KEEP))
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE))))))
Merge.kif 12190-12198
Processus
est une
instance
de
garder
entit�
est un
patient
de
processus
entit�
position temporel
position temporel
est une
partie
de
temps
d'existence de
processus
entit�
est
situ
� �
entit�
pendant
position temporel
(=>
(
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
Processus
est une
instance
de
Locating
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
a pour
but
entit�
entit�
est une
instance
de
r�gion
AutonomousAgent
conna
�t
entit�
est
situ
� �
entit�
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11052-11057
D�palcement
est une
instance
de
d�palcement
moves
d�palcement
and
objet
d�palcement
aboutit
�
entit�
objet
est
situ
� �
entit�
pendant
la
fin
de
temps
d'existence de
d�palcement
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
origin
?MOTION ?PLACE))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11036-11041
D�palcement
est une
instance
de
d�palcement
moves
d�palcement
and
objet
d�palcement
a pour
origine
objet
objet
est
situ
� �
objet
pendant
le
d
�but de
temps
d'existence de
d�palcement
(=>
(
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
Processus
est une
instance
de
Translocation
processus
a pour
origine
objet
objet
processus
objet
est une
instance
de
r�gion
objet
est
objet
processus
est un
sous
-processus de
processus
processus
est
situ
� �
objet
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
exists
(?SUB)
(
and
(
part
?SUB ?OBJ1)
(
located
?SUB ?OBJ2))))
Merge.kif 4061-4068
Objet
est une
instance
de
objet
objet
est
partiellement
localis� �
objet
objet
objet
est une
partie
de
objet
objet
est
situ
� �
objet
(=>
(
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
Collection
est une
instance
de
organisation
WarehousingAndStorage
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
entit�
AutonomousAgent
est une
instance
de
vendre
entit�
est une
instance
de
objet
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
entit�
est une
instance
de
interval temporel
entit�
est une
instance
de
immeuble
agent cognitif
poss
�de
entit�
entit�
est
situ
� �
entit�
pendant
entit�
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
located
?P ?SI)
Likely
))
Medicine.kif 2725-2733
Processus
est une
instance
de
CeliacDisease
AutonomousAgent
exp
�rimente
processus
objet
est une
instance
de
SmallIntestine
objet
est une
partie
de
AutonomousAgent
l'argument
processus
est
situ
� �
objet
a la
force
modale
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
Processus
est une
instance
de
FoodPickup
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
FoodForFn
humain
objet
processus
and
processus
AutonomousAgent
est
situ
� �
objet
processus
est une
instance
de
Translocation
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
objet
processus
est une
instance
de
obtenir
processus
a pour
origine
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?P
HeartPalpitations
)
(
experiencer
?P ?H))
(
exists
(?HEART)
(
and
(
instance
?HEART
Heart
)
(
part
?HEART ?H)
(
located
?P ?HEART))))
Medicine.kif 2072-2080
Processus
est une
instance
de
HeartPalpitations
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
EART
AutonomousAgent
EART est une
instance
de
Heart
AutonomousAgent
EART est une
partie
de
AutonomousAgent
processus
est
situ
� �
AutonomousAgent
EART
(=>
(
and
(
instance
?P
PassCertificate
)
(
possesses
?A ?P))
(
exists
(?L)
(
confersNorm
?P
(
located
?A ?L)
Permission
)))
Mid-level-ontology.kif 16582-16589
Objet
est une
instance
de
PassCertificate
AutonomousAgent
poss
�de
objet
entit�
confersNorm
objet
,
AutonomousAgent
est
situ
� �
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
est une
instance
de
NoChildrenPolicy
policyLocationCoverage
Policy
and
objet
policyOwner
organisation
and
Policy
deprivesNorm
organisation
,
entit�
entit�
est une
instance
de
HumanChild
entit�
est
situ
� �
objet
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
est une
instance
de
NoPetsPolicy
policyLocationCoverage
Policy
and
objet
policyOwner
organisation
and
Policy
deprivesNorm
organisation
,
entit�
entit�
est une
instance
de
DomesticAnimal
entit�
est
situ
� �
objet
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
est une
instance
de
NoSmokingPolicy
policyLocationCoverage
Policy
and
objet
policyOwner
organisation
and
Policy
deprivesNorm
organisation
,
entit�
entit�
est une
instance
de
Smoking
entit�
est
situ
� �
objet
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
est une
instance
de
PetPolicy
policyLocationCoverage
Policy
and
objet
Policy
contient
information l'argument
entit�
entit�
est une
instance
de
DomesticAnimal
entit�
est
situ
� �
objet
a la
force
modale
de
Permission
Policy
contient
information l'argument
entit�
entit�
est une
instance
de
DomesticAnimal
entit�
est
situ
� �
objet
a la
force
modale
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
est une
instance
de
PetsAllowedPolicy
policyLocationCoverage
Policy
and
objet
policyOwner
organisation
and
Policy
confersNorm
organisation
,
entit�
entit�
est une
instance
de
DomesticAnimal
entit�
est
situ
� �
objet
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