located
(=>
(
and
(
attribute
?X
Waiter
)
(
instance
?X
Human
)
(
employs
?REST ?X)
(
instance
?REST
Restaurant
)
(
customer
?CUST ?REST)
(
located
?CUST ?TABLE)
(
instance
?TABLE
Table
))
(
exists
(?DINING ?C ?FOOD ?KITCHEN)
(
and
(
possesses
?REST ?KITCHEN)
(
instance
?KITCHEN
KitchenArea
)
(
instance
?DINING
DiningArea
)
(
located
?TABLE ?DINING)
(
hasPurpose
?X
(
and
(
instance
?C
Carrying
)
(
agent
?C ?X)
(
origin
?C ?KITCHEN)
(
destination
?C ?TABLE)
(
patient
?C ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
)))))))
Mid-level-ontology.kif 20600-20622
Waiter
est un
attribut
de
agent cognitif
agent cognitif
est une
instance
de
humain
AutonomousAgent
emploie
agent cognitif
AutonomousAgent
est une
instance
de
Restaurant
customer
agent cognitif
and
AutonomousAgent
agent cognitif
est
situ
� �
objet
objet
est une
instance
de
Table
objet
entit�
,
entit�
and
objet
AutonomousAgent
poss
�de
objet
objet
est une
instance
de
KitchenArea
objet
est une
instance
de
DiningArea
objet
est
situ
� �
objet
agent cognitif
a pour
but
entit�
est une
instance
de
Carrying
entit�
est un
agent
de
agent cognitif
entit�
a pour
origine
objet
entit�
aboutit
�
objet
entit�
est un
patient
de
entit�
entit�
est une
instance
de
FoodForFn
humain
(=>
(
and
(
citizen
?P ?C)
(
not
(
exists
(?L)
(
located
?P ?L))))
(
located
?P ?C))
Military.kif 772-778
Humain
est un
citoyen
de
nation
objet
humain
est
situ
� �
objet
humain
est
situ
� �
nation
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
customer
agent cognitif
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
physique
physique
est une
sous
-classe de
processus
l'argument
entit�
entit�
and
entit�
entit�
est un
appartenir
�
AutonomousAgent
entit�
est un
agent
de
AutonomousAgent
agent cognitif
est un
patient
de
entit�
entit�
est une
instance
de
physique
entit�
est une
instance
de
physique
entit�
est un
sous
-processus de
entit�
entit�
est
situ
� �
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
instance
?AGENT1
Nation
)
(
instance
?AGENT2
GeopoliticalArea
))
(
exists
(?ORG)
(
and
(
instance
?ORG ?TYPE)
(
located
?ORG ?AGENT2)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1)))))
Government.kif 4648-4657
diplomaticOrganizationType
secteur g�opolitique
,
organisation
and
AutonomousAgent
secteur g�opolitique
est une
instance
de
nation
AutonomousAgent
est une
instance
de
secteur g�opolitique
organisation
organisation
est une
instance
de
organisation
organisation
est
situ
� �
AutonomousAgent
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
instance
?AGENT1
Organization
)
(
instance
?AGENT2
GeopoliticalArea
))
(
exists
(?ORG)
(
and
(
instance
?ORG ?TYPE)
(
located
?ORG ?AGENT2)
(
subOrganization
?ORG ?AGENT1))))
Government.kif 4658-4667
diplomaticOrganizationType
organisation
,
organisation
and
AutonomousAgent
organisation
est une
instance
de
organisation
AutonomousAgent
est une
instance
de
secteur g�opolitique
organisation
organisation
est une
instance
de
organisation
organisation
est
situ
� �
AutonomousAgent
organisation
est une partie de l'organization
organisation
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1127-1140
Objet
est un
appartenir
�
organisation
AnnexRoom
est un
attribut
de
objet
objet
est une
instance
de
HotelRoom
objet
objet
and
organisation
organisation
est une partie de l'organization
organisation
organisation
est une
instance
de
HotelFrontDesk
organisation
est
situ
� �
objet
objet
est un
appartenir
�
organisation
objet
est un
appartenir
�
organisation
objet
est une
partie
de
objet
objet
est
objet
(=>
(
and
(
employs
?HOTEL ?ATHLETE)
(
attribute
?HOTEL
TravelerAccommodation
)
(
attribute
?ATHLETE
TennisProfessional
)
(
guest
?CUST ?HOTEL))
(
modalAttribute
(
exists
(?TENNIS ?LOC)
(
and
(
instance
?TENNIS
Tennis
)
(
contestParticipant
?TENNIS ?ATHLETE)
(
contestParticipant
?TENNIS ?CUST)
(
located
?TENNIS ?LOC)
(
located
?HOTEL ?LOC)))
Possibility
))
Hotel.kif 1522-1535
AutonomousAgent
emploie
agent cognitif
TravelerAccommodation
est un
attribut
de
AutonomousAgent
TennisProfessional
est un
attribut
de
agent cognitif
guest
agent cognitif
and
AutonomousAgent
l'argument
entit�
entit�
entit�
est une
instance
de
Tennis
contestParticipant
entit�
and
agent cognitif
contestParticipant
entit�
and
agent cognitif
entit�
est
situ
� �
entit�
AutonomousAgent
est
situ
� �
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
experiencer
?ORGANISM ?PAIN)
(
instance
?PAIN
(
PainFn
?P)))
(
exists
(?PART)
(
and
(
part
?PART ?ORGANISM)
(
located
?PART ?P))))
Mid-level-ontology.kif 6356-6363
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
PainFn
partie du corps
partie du corps
ART
partie du corps
ART est une
partie
de
processus
partie du corps
ART est
situ
� �
partie du corps
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
guest
humain
and
AutonomousAgent
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
TemporaryResidence
est une
instance
de
TemporaryResidence
OOM
roomAmenity
TemporaryResidence
OOM and
physique
physique
est une
sous
-classe de
objet
physique
physique
est une
instance
de
physique
physique
est
situ
� �
TemporaryResidence
AutonomousAgent
autorise
humain
� ex�cut� des t�ches du type
entit�
entit�
est un
agent
de
humain
physique
est un
instrument
pour
entit�
physique
est un
patient
de
entit�
physique
est une
resource
pour
entit�
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR-PLACE ?PRIOR-RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR-RES
Object
)
(
instance
?PRIOR-PLACE
GeopoliticalArea
)
(
located
?PRIOR-RES ?PRIOR-PLACE)
(
not
(
equal
?PLACE ?PRIOR-PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR-RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR-PLACE))
(
not
(
geographicSubregion
?PRIOR-PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
DislocatedCivilian
est un
attribut
de
entit�
entit�
vie
�
entit�
entit�
est
situ
� �
secteur g�ographique
pendant
interval temporel
secteur g�ographique
est une
instance
de
secteur g�ographique
interval temporel
est une
instance
de
interval temporel
interval temporel
entit�
-PLACE and
entit�
-RES
interval temporel
est une
instance
de
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
entit�
-RES est une
instance
de
objet
entit�
-PLACE est une
instance
de
secteur g�opolitique
entit�
-RES est
situ
� �
entit�
-PLACE
secteur g�ographique
est
entit�
-PLACE
entit�
est
entit�
-RES
geographicSubregion
secteur g�ographique
and
entit�
-PLACE
geographicSubregion
entit�
-PLACE and
secteur g�ographique
entit�
vie
�
entit�
-RES
pendant
interval temporel
(=>
(
and
(
instance
?AREA
(
MaritimeClaimsTerritorialSeaFn
?PLACE))
(
width
?AREA
(
MeasureFn
?WIDTH ?UNIT))
(
distance
?OBJ ?PLACE
(
MeasureFn
?DISTANCE ?UNIT))
(
lessThanOrEqualTo
?DISTANCE ?WIDTH))
(
located
?OBJ ?AREA))
Geography.kif 874-880
Objet
est une
instance
de
MaritimeClaimsTerritorialSeaFn
r�gion
la
largeur
de
objet
est
nombre r�el
unit� de mesure
(s) la
distance
entre
physique
et
r�gion
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
physique
est
situ
� �
objet
(=>
(
and
(
instance
?B
Birth
)
(
origin
?B ?F))
(
exists
(?Z ?T)
(
and
(
instance
?Z
Zygote
)
(
earlier
?T
(
WhenFn
?B))
(
holdsDuring
?T
(
located
?Z ?F)))))
Mid-level-ontology.kif 24018-24027
Processus
est une
instance
de
naissance
processus
a pour
origine
objet
entit�
interval temporel
entit�
est une
instance
de
Zygote
interval temporel
arrive
plus
t�t que
temps
d'existence de
processus
entit�
est
situ
� �
objet
pendant
interval temporel
(=>
(
and
(
instance
?C
Choking
)
(
experiencer
?C ?H))
(
exists
(?O ?T ?L)
(
and
(
instance
?O
Object
)
(
instance
?T
Trachea
)
(
instance
?L
Lung
)
(
part
?T ?H)
(
part
?L ?H)
(
holdsDuring
(
WhenFn
?C)
(
or
(
located
?O ?T)
(
located
?O ?L))))))
Mid-level-ontology.kif 11753-11768
Processus
est une
instance
de
Choking
AutonomousAgent
exp
�rimente
processus
entit�
objet
and
objet
entit�
est une
instance
de
objet
objet
est une
instance
de
Trachea
objet
est une
instance
de
Lung
objet
est une
partie
de
AutonomousAgent
objet
est une
partie
de
AutonomousAgent
entit�
est
situ
� �
objet
entit�
est
situ
� �
objet
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6055-6074
Processus
est une
instance
de
Coughing
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Lung
entit�
est une
instance
de
Throat
entit�
est une
instance
de
objet
entit�
est une
instance
de
supprimer
entit�
est une
partie
de
AutonomousAgent
entit�
est une
partie
de
AutonomousAgent
objectTransferred
entit�
and
entit�
entit�
est
situ
� �
entit�
entit�
est
situ
� �
entit�
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
and
(
instance
?C
Sneezing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?N ?NOSE ?O)
(
and
(
instance
?N
NasalCavity
)
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N))
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?NOSE ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
located
?O ?N))))))
Mid-level-ontology.kif 6121-6139
Processus
est une
instance
de
Sneezing
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
,
entit�
OSE and
entit�
entit�
est une
instance
de
NasalCavity
entit�
OSE est une
instance
de
Nose
entit�
OSE est
h
�te du trou
entit�
entit�
est une
instance
de
objet
entit�
est une
instance
de
supprimer
entit�
OSE est une
partie
de
AutonomousAgent
objectTransferred
entit�
and
entit�
entit�
est
situ
� �
entit�
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT_MIL_THIS ?CAA)
(
instance
?AGENT_MIL_THIS
MilitaryOrganization
)
(
militaryOfArea
?AGENT_MIL_THIS ?NATION_THIS)
(
instance
?NATION_THIS
Nation
)
(
located
?AGENT_MIL_THIS ?NATION_FRIENDLY)
(
instance
?NATION_FRIENDLY
Nation
))
(
and
(
not
(
equal
?NATION_THIS ?NATION_FRIENDLY))
(
not
(
enemy
?NATION_THIS ?NATION_FRIENDLY))
(
exists
(?AGENT_FRIENDLY)
(
and
(
located
?AGENT_FRIENDLY ?NATION_FRIENDLY)
(
partyToAgreement
?AGENT_FRIENDLY ?CAA)
(
not
(
instance
?AGENT_FRIENDLY
MilitaryOrganization
))))))
MilitaryProcesses.kif 2309-2328
Agreement
est une
instance
de
CivilAffairsAgreement
partyToAgreement
entit�
_MIL_THIS and
Agreement
entit�
_MIL_THIS est une
instance
de
MilitaryOrganization
militaryOfArea
entit�
_MIL_THIS and
entit�
_THIS
entit�
_THIS est une
instance
de
nation
entit�
_MIL_THIS est
situ
� �
entit�
_FRIENDLY
entit�
_FRIENDLY est une
instance
de
nation
entit�
_THIS est
entit�
_FRIENDLY
enemy
entit�
_THIS and
entit�
_FRIENDLY
entit�
_FRIENDLY
entit�
_FRIENDLY est
situ
� �
entit�
_FRIENDLY
partyToAgreement
entit�
_FRIENDLY and
Agreement
entit�
_FRIENDLY est une
instance
de
MilitaryOrganization
(=>
(
and
(
instance
?CELL
MonoploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
exists
(?COLL)
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
located
?COLL ?N)
(
not
(
exists
(?SET)
(
and
(
instance
?SET
MonoploidChromosomeSet
)
(
not
(
equal
?SET ?COLL))
(
located
?SET ?N)))))))
VirusProteinAndCellPart.kif 755-770
Objet
est une
instance
de
MonoploidCell
objet
est une
instance
de
CellNucleus
objet
est une
partie
de
objet
physique
physique
est une
instance
de
MonoploidChromosomeSet
physique
est
situ
� �
objet
physique
physique
est une
instance
de
MonoploidChromosomeSet
physique
est
physique
physique
est
situ
� �
objet
(=>
(
and
(
instance
?CLOTHING
OutdoorClothing
)
(
holdsDuring
?TIME
(
wears
?PERSON ?CLOTHING)))
(
not
(
exists
(?BUILDING)
(
and
(
instance
?BUILDING
Building
)
(
holdsDuring
?TIME
(
located
?PERSON ?BUILDING))))))
Mid-level-ontology.kif 5042-5050
Entit�
est une
instance
de
OutdoorClothing
entit�
porte
entit�
pendant
position temporel
entit�
entit�
est une
instance
de
immeuble
entit�
est
situ
� �
entit�
pendant
position temporel
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 11995-12004
Processus
est une
instance
de
Discovering
entit�
est un
patient
de
processus
entit�
est
situ
� �
entit�
pendant
temps
d'existence de
processus
processus
processus
est une
instance
de
apprendre
processus
est un
sous
-processus de
processus
entit�
est
situ
� �
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?E
(
EdemaFn
?P))
(
experiencer
?E ?A))
(
exists
(?PI)
(
and
(
instance
?PI
BodyPart
)
(
part
?PI ?A)
(
located
?E ?PI))))
Mid-level-ontology.kif 9985-9993
Processus
est une
instance
de
EdemaFn
partie du corps
AutonomousAgent
exp
�rimente
processus
partie du corps
I
partie du corps
I est une
instance
de
partie du corps
partie du corps
I est une
partie
de
AutonomousAgent
processus
est
situ
� �
partie du corps
I
(=>
(
and
(
instance
?EARPHONE
Earphone
)
(
wears
?PERSON ?EARPHONE)
(
instance
?HEAD
Head
)
(
part
?HEAD ?PERSON))
(
located
?EARPHONE ?HEAD))
ComputerInput.kif 510-516
WearableItem
est une
instance
de
Earphone
animal
porte
WearableItem
objet
est une
instance
de
Head
objet
est une
partie
de
animal
WearableItem
est
situ
� �
objet
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?P
Piston
)
(
instance
?U
UnitOfLength
)
(
part
?P ?E)
(
patient
?EC ?P)
(
eventLocated
?EC ?E)
(
pistonStroke
?E
(
MeasureFn
?LM ?U)))
(
not
(
exists
(?T1 ?T2 ?L1 ?L2 ?D)
(
and
(
during
?T1
(
WhenFn
?EC))
(
during
?T2
(
WhenFn
?EC))
(
holdsDuring
?T1
(
located
?P ?L1))
(
holdsDuring
?T2
(
located
?P ?L2))
(
distance
?L1 ?L2
(
MeasureFn
?D ?U))
(
greaterThan
?D ?LM)))))
Cars.kif 1949-1971
Processus
est une
instance
de
EngineCycle
Engine
est une
instance
de
InternalCombustionEngine
objet
est une
instance
de
Piston
unit� de mesure
est une
instance
de
UnitOfLength
objet
est une
partie
de
Engine
objet
est un
patient
de
processus
eventLocated
processus
and
Engine
pistonStroke
Engine
and
nombre r�el
unit� de mesure
(s)
interval temporel
interval temporel
,
physique
,
physique
and
nombre r�el
interval temporel
prend place
pendant
temps
d'existence de
processus
interval temporel
prend place
pendant
temps
d'existence de
processus
objet
est
situ
� �
physique
pendant
interval temporel
objet
est
situ
� �
physique
pendant
interval temporel
la
distance
entre
physique
et
physique
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
destination
?EXPORT ?AREA))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2447-2454
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
entit�
est une
instance
de
secteur g�opolitique
processus
aboutit
�
entit�
entit�
est
situ
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
entit�
est une
instance
de
secteur g�opolitique
entit�
est
situ
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
situ
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
origin
?EXPORT ?AREA))
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2412-2419
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
entit�
est
situ
� �
objet
pendant
le
d
�but de
temps
d'existence de
processus
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