located
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
located
?E ?L)))
Anatomy.kif 1708-1729
muscleOrigin
muscle
and
partie du corps
objet
est une
instance
de
humain
StandardAnatomicalPosition
est un
attribut
de
objet
pendant
interval temporel
Healthy
est un
attribut
de
objet
interval temporel
est une
instance
de
MuscularContraction
temps
d'existence de
interval temporel
prend place
pendant
interval temporel
objet
est une
instance
de
muscle
objet
est une
partie
de
objet
objet
est un
instrument
pour
interval temporel
physicalEnd
objet
and
objet
objet
rencontre
objet
objet
est
situ
� �
entit�
pendant
le
d
�but de
interval temporel
objet
est
situ
� �
entit�
pendant
la
fin
de
interval temporel
(=>
(
and
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
located
?P ?R)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
exists
(?PRICE ?U)
(
and
(
price
?O
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 396-417
paidRoomAmenity
HotelUnit
and
physique
physique
est une
sous
-classe de
objet
TemporaryResidence
est une
instance
de
HotelUnit
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
objet
est une
instance
de
physique
objet
est
situ
� �
TemporaryResidence
processus
est une
instance
de
processus
processus
est un
agent
de
humain
processus
est
situ
� �
TemporaryResidence
objet
est un
patient
de
processus
objet
est un
instrument
pour
processus
objet
est une
resource
pour
processus
processus
RICE
unit� de mesure
price
objet
,
processus
RICE
unit� de mesure
(s) and
humain
unit� de mesure
est une
instance
de
UnitOfCurrency
processus
RICE est
plus
grand
que 0
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
exists
(?PRICE ?U)
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 419-438
paidRoomAmenity
HotelUnit
and
physique
physique
est une
sous
-classe de
processus
TemporaryResidence
est une
instance
de
HotelUnit
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
humain
est un
patient
de
processus
processus
est une
instance
de
physique
processus
est une
instance
de
physique
processus
est un
sous
-processus de
processus
processus
est
situ
� �
TemporaryResidence
processus
RICE
unit� de mesure
price
processus
,
processus
RICE
unit� de mesure
(s) and
humain
unit� de mesure
est une
instance
de
UnitOfCurrency
processus
RICE est
plus
grand
que 0
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
attribute
?AG
Legal
))
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N2
YearDuration
))
(
greaterThan
?N2 ?N))))
Law.kif 573-588
partyToAgreement
agent cognitif
and
Agreement
processus
est une
instance
de
processus intentionnel
processus
est
situ
� �
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
ageOfMajorityForProcess
nombre r�el
YearDuration
(s),
secteur g�opolitique
and
processus
ContentBearingPhysical
est le
resultat
de
processus
recordForAgreement
ContentBearingPhysical
and
Agreement
Legal
est un
attribut
de
Agreement
l'
agent cognitif
est
nombre r�el
2
YearDuration
(s)
nombre r�el
2 est
plus
grand
que
nombre r�el
pendant
temps
d'existence de
processus
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
Nation
)
(
located
?PROC ?LOC2)
(
instance
?LOC2
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N2
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N3
YearDuration
))
(
greaterThan
?N3 ?N2))))
(
attribute
?AG
Legal
))
Law.kif 554-571
partyToAgreement
agent cognitif
and
Agreement
processus
est une
instance
de
processus intentionnel
processus
est
situ
� �
secteur g�opolitique
secteur g�opolitique
est une
instance
de
nation
processus
est
situ
� �
secteur g�opolitique
2
secteur g�opolitique
2 est une
instance
de
secteur g�opolitique
ageOfMajorityForProcess
nombre r�el
YearDuration
(s),
secteur g�opolitique
and
processus
ContentBearingPhysical
est le
resultat
de
processus
recordForAgreement
ContentBearingPhysical
and
Agreement
l'
agent cognitif
est
entit�
YearDuration
(s)
entit�
est
plus
grand
que
nombre r�el
pendant
temps
d'existence de
processus
Legal
est un
attribut
de
Agreement
(=>
(
and
(
possesses
?BUS ?PARK)
(
instance
?BUS
CommercialAgent
)
(
instance
?PARK
ParkingLot
)
(
instance
?BLDG
Building
)
(
located
?BUS ?BLDG)
(
customer
?BUS ?CUST)
(
holdsDuring
?T
(
located
?CUST ?BLDG))
(
instance
?DRIVE
Driving
)
(
patient
?DRIVE ?VEHICLE)
(
agent
?DRIVE ?CUST)
(
destination
?DRIVE ?BLDG))
(
holdsDuring
?T
(
confersRight
(
and
(
instance
?PUT
Keeping
)
(
destination
?PUT ?PARK)
(
patient
?PUT ?VEHICLE)) ?BUS ?CUST)))
TransportDetail.kif 102-121
Agent cognitif
poss
�de
objet
agent cognitif
est une
instance
de
CommercialAgent
objet
est une
instance
de
ParkingLot
objet
est une
instance
de
immeuble
agent cognitif
est
situ
� �
objet
customer
agent cognitif
and
AutonomousAgent
AutonomousAgent
est
situ
� �
objet
pendant
position temporel
processus
est une
instance
de
conduire
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
objet
agent cognitif
autorise
AutonomousAgent
� ex�cut� des t�ches du type
entit�
est une
instance
de
garder
entit�
aboutit
�
objet
entit�
est un
patient
de
entit�
pendant
position temporel
(=>
(
and
(
wears
?P ?C)
(
located
?C ?W)
(
instance
?C
Clock
)
(
instance
?W
Wrist
)
(
part
?W ?P))
(
instance
?C
WatchClock
))
Mid-level-ontology.kif 2897-2904
Animal
porte
WearableItem
WearableItem
est
situ
� �
objet
WearableItem
est une
instance
de
Clock
objet
est une
instance
de
Wrist
objet
est une
partie
de
animal
WearableItem
est une
instance
de
WatchClock
(=>
(
holdsDuring
?T
(
and
(
located
?H ?L)
(
airTemperature
?L
(
MeasureFn
?T ?TU))
(
attribute
?H
FeelingCold
)))
(
desires
?H
(
holdsDuring
?T
(
and
(
airTemperature
?L
(
MeasureFn
?T2 ?TU))
(
greaterThan
?T2 ?T)))))
emotion.kif 1865-1877
Agent cognitif
est
situ
� �
entit�
airTemperature
entit�
and
position temporel
position temporel
U(s)
FeelingCold
est un
attribut
de
agent cognitif
pendant
position temporel
agent cognitif
desire
airTemperature
entit�
and
position temporel
2
position temporel
U(s)
position temporel
2 est
plus
grand
que
position temporel
pendant
position temporel
(=>
(
holdsDuring
?T
(
and
(
located
?H ?L)
(
airTemperature
?L
(
MeasureFn
?T ?TU))
(
attribute
?H
FeelingHot
)))
(
desires
?H
(
holdsDuring
?T
(
and
(
airTemperature
?L
(
MeasureFn
?T2 ?TU))
(
greaterThan
?T ?T2)))))
emotion.kif 1902-1914
Agent cognitif
est
situ
� �
entit�
airTemperature
entit�
and
position temporel
position temporel
U(s)
FeelingHot
est un
attribut
de
agent cognitif
pendant
position temporel
agent cognitif
desire
airTemperature
entit�
and
position temporel
2
position temporel
U(s)
position temporel
est
plus
grand
que
position temporel
2
pendant
position temporel
(=>
(
holdsDuring
?T
(
and
(
maxDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3629-3642
maxDeviceOperatingTemp
entit�
and
entit�
entit�
(s)
entit�
est une
instance
de
UnitOfTemperature
entit�
est
situ
� �
entit�
DeviceOn
est un
attribut
de
entit�
airTemperature
entit�
and
entit�
entit�
(s)
entit�
est
plus
grand
que
entit�
pendant
position temporel
l'argument
DeviceDamaged
est un
attribut
de
entit�
pendant
immediatement
apr
�s
position temporel
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
and
(
maxDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3657-3670
maxDeviceStorageTemp
entit�
and
entit�
entit�
(s)
entit�
est une
instance
de
UnitOfTemperature
entit�
est
situ
� �
entit�
DeviceOff
est un
attribut
de
entit�
airTemperature
entit�
and
entit�
entit�
(s)
entit�
est
plus
grand
que
entit�
pendant
position temporel
l'argument
DeviceDamaged
est un
attribut
de
entit�
pendant
immediatement
apr
�s
position temporel
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
and
(
minDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3682-3695
minDeviceOperatingTemp
entit�
and
entit�
entit�
(s)
entit�
est une
instance
de
UnitOfTemperature
entit�
est
situ
� �
entit�
DeviceOn
est un
attribut
de
entit�
airTemperature
entit�
and
entit�
entit�
(s)
entit�
est
moins
que
entit�
pendant
position temporel
l'argument
DeviceDamaged
est un
attribut
de
entit�
pendant
immediatement
apr
�s
position temporel
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T
(
and
(
minDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3708-3721
minDeviceStorageTemp
entit�
and
entit�
entit�
(s)
entit�
est une
instance
de
UnitOfTemperature
entit�
est
situ
� �
entit�
DeviceOff
est un
attribut
de
entit�
airTemperature
entit�
and
entit�
entit�
(s)
entit�
est
moins
que
entit�
pendant
position temporel
l'argument
DeviceDamaged
est un
attribut
de
entit�
pendant
immediatement
apr
�s
position temporel
a la
force
modale
de
Likely
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
CivilianInternee
)
(
located
?P ?LOC)))
(
holdsDuring
?T1
(
attribute
?LOC
WarState
)))
MilitaryPersons.kif 311-317
CivilianInternee
est un
attribut
de
entit�
entit�
est
situ
� �
entit�
pendant
position temporel
WarState
est un
attribut
de
entit�
pendant
position temporel
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
DisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
not
(
partlyLocated
?PLACE ?NATION)))
MilitaryPersons.kif 70-78
DisplacedPerson
est un
attribut
de
entit�
entit�
vie
�
entit�
entit�
est
situ
� �
entit�
LACE
entit�
est un
citoyen
de
objet
pendant
position temporel
entit�
LACE est
partiellement
localis� �
objet
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
InternallyDisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
partlyLocated
?PLACE ?NATION))
MilitaryPersons.kif 92-99
InternallyDisplacedPerson
est un
attribut
de
entit�
entit�
vie
�
entit�
entit�
est
situ
� �
entit�
LACE
entit�
est un
citoyen
de
objet
pendant
position temporel
entit�
LACE est
partiellement
localis� �
objet
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
PrisonerOfWar
)
(
located
?P ?LOC)))
(
holdsDuring
?T1
(
attribute
?LOC
WarState
)))
MilitaryPersons.kif 274-280
PrisonerOfWar
est un
attribut
de
entit�
entit�
est
situ
� �
entit�
pendant
position temporel
WarState
est un
attribut
de
entit�
pendant
position temporel
(=>
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
homePhoneNumber
?NUMBER ?AGENT)
(
located
?DEVICE ?PLACE)
(
instance
?PLACE
PermanentResidence
)))
(
holdsDuring
?TIME
(
home
?AGENT ?PLACE)))
Mid-level-ontology.kif 25026-25033
deviceTelecomNumber
entit�
and
entit�
homePhoneNumber
entit�
and
entit�
entit�
est
situ
� �
entit�
entit�
est une
instance
de
PermanentResidence
pendant
position temporel
le
domicile
de
entit�
est
entit�
pendant
position temporel
(=>
(
located
?OBJ1 ?OBJ2)
(
forall
(?SUB)
(=>
(
part
?SUB ?OBJ1)
(
located
?SUB ?OBJ2))))
Merge.kif 4082-4087
Objet
est
situ
� �
objet
objet
objet
est une
partie
de
objet
objet
est
situ
� �
objet
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