before
(=>
(
during
?INTERVAL1 ?INTERVAL2)
(
and
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2))
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))))
Merge.kif 8315-8319
Interval temporel
prend place
pendant
interval temporel
la
fin
de
interval temporel
se produit
avant
la
fin
de
interval temporel
le
d
�but de
interval temporel
se produit
avant
le
d
�but de
interval temporel
(=>
(
earlier
?INTERVAL1 ?INTERVAL2)
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8378-8380
Interval temporel
arrive
plus
t�t que
interval temporel
la
fin
de
interval temporel
se produit
avant
le
d
�but de
interval temporel
(=>
(
equal
(
BeginFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?POINT ?OTHERPOINT))))
Merge.kif 7998-8005
Le
d
�but de
interval temporel
est
point temporel
point temporel
point temporel
est une
partie
de
interval temporel
point temporel
est
point temporel
point temporel
se produit
avant
point temporel
(=>
(
equal
(
EndFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?OTHERPOINT ?POINT))))
Merge.kif 8016-8023
La
fin
de
interval temporel
est
point temporel
point temporel
point temporel
est une
partie
de
interval temporel
point temporel
est
point temporel
point temporel
se produit
avant
point temporel
(=>
(
finishes
?INTERVAL1 ?INTERVAL2)
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1))))
Merge.kif 8076-8084
Interval temporel
finit
interval temporel
le
d
�but de
interval temporel
se produit
avant
le
d
�but de
interval temporel
la
fin
de
interval temporel
est
fin
de
interval temporel
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
believes
?A
(
modalAttribute
(
exists
(?P)
(
and
(
not
(
wants
?A ?P))
(
before
?T
(
WhenFn
?P))))
Likely
)))
emotion.kif 1025-1036
Peur
est un
attribut
de
agent cognitif
pendant
position temporel
agent cognitif
croit
l'argument
entit�
agent cognitif
ne
veut
%n{pas}
entit�
position temporel
se produit
avant
temps
d'existence de
entit�
a la
force
modale
de
Likely
(=>
(
instance
?A
Ambulance
)
(
hasPurpose
?A
(
exists
(?P ?T)
(
and
(
instance
?P
Human
)
(
or
(
attribute
?P
DiseaseOrSyndrome
)
(
exists
(?I ?H)
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?H)
(
before
?I ?T))))
(
instance
?T
Transportation
)
(
instrument
?T ?A)
(
patient
?T ?H)))))
Transportation.kif 1906-1921
Physique
est une
instance
de
Ambulance
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
humain
maladie ou syndrome
est un
attribut
de
entit�
entit�
entit�
entit�
est une
instance
de
blesser
entit�
exp
�rimente
entit�
entit�
se produit
avant
entit�
entit�
est une
instance
de
transporter
physique
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
(=>
(
instance
?CHECK
CheckOutService
)
(
exists
(?CHECKIN)
(
and
(
instance
?CHECKIN
CheckInService
)
(
before
(
BeginFn
(
WhenFn
?CHECKIN))
(
BeginFn
(
WhenFn
?CHECK))))))
Hotel.kif 2187-2194
Physique
est une
instance
de
CheckOutService
physique
IN
physique
IN est une
instance
de
CheckInService
le
d
�but de
temps
d'existence de
physique
IN se produit
avant
le
d
�but de
temps
d'existence de
physique
(=>
(
instance
?CM
CoffeeMaking
)
(
holdsDuring
?CM
(
exists
(?LM ?S ?R)
(
and
(
instance
?LM
LiquidMotion
)
(
instance
?S
Soaking
)
(
instance
?R
Removing
)
(
before
(
BeginFn
(
WhenFn
?LM))
(
BeginFn
(
WhenFn
?S)))
(
before
(
BeginFn
(
WhenFn
?S))
(
BeginFn
(
WhenFn
?R)))))))
Food.kif 703-716
Position temporel
est une
instance
de
CoffeeMaking
entit�
entit�
and
entit�
entit�
est une
instance
de
LiquidMotion
entit�
est une
instance
de
Soaking
entit�
est une
instance
de
supprimer
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
pendant
position temporel
(=>
(
instance
?E
EidAlFitr
)
(
exists
(?R ?Y)
(
and
(
instance
?R
Ramadan
)
(
instance
?Y
Year
)
(
during
?R ?Y)
(
during
?E ?Y)
(
before
?R ?E))))
ArabicCulture.kif 229-237
Interval temporel
est une
instance
de
EidAlFitr
interval temporel
interval temporel
interval temporel
est une
instance
de
Ramadan
interval temporel
est une
instance
de
ann�e
interval temporel
prend place
pendant
interval temporel
interval temporel
prend place
pendant
interval temporel
interval temporel
se produit
avant
interval temporel
(=>
(
instance
?INTERVAL
TimeInterval
)
(
before
(
BeginFn
?INTERVAL)
(
EndFn
?INTERVAL)))
Merge.kif 8132-8134
Interval temporel
est une
instance
de
interval temporel
le
d
�but de
interval temporel
se produit
avant
la
fin
de
interval temporel
(=>
(
instance
?INVOICE
Invoice
)
(
exists
(?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?INVOICE)
(
buys
?BUYER ?SELLER ?ENT)
(
confersRight
(
exists
(?SELLING)
(
and
(
before
(
BeginFn
(
WhenFn
?INVOICE))
(
BeginFn
(
WhenFn
?SELLING)))
(
instance
?SELLING
Selling
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?SELLING ?PRODUCT)
(
refers
?INVOICE ?PRODUCT)
(
agent
?SELLING ?SELLER)
(
patient
?SELLING ?BUYER))) ?SELLER ?BUYER))))
Mid-level-ontology.kif 29868-29888
Entit�
est une
instance
de
Invoice
cha�ne sympbolique
agent cognitif
,
AutonomousAgent
,
entit�
and
entit�
l'
unique
identifier de
cha�ne sympbolique
est
entit�
buys
agent cognitif
,
AutonomousAgent
and
entit�
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
entit�
est une
instance
de
vendre
entit�
est une
instance
de
produit
objectTransferred
entit�
and
entit�
entit�
inclut une
r
�f�rence �
entit�
entit�
est un
agent
de
AutonomousAgent
agent cognitif
est un
patient
de
entit�
(=>
(
instance
?LOCK
ElectronicLock
)
(
hasPurpose
?LOCK
(
exists
(?ES ?PROC)
(
and
(
instance
?ES
ElectronicSignalling
)
(
destination
?ES ?LOCK)
(
instance
?PROC
Opening
)
(
instrument
?PROC ?LOCK)
(
before
(
BeginFn
(
WhenFn
?ES))
(
BeginFn
(
WhenFn
?PROC)))))))
Mid-level-ontology.kif 25787-25798
Physique
est une
instance
de
ElectronicLock
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
ElectronicSignalling
entit�
aboutit
�
physique
entit�
est une
instance
de
Opening
physique
est un
instrument
pour
entit�
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
(=>
(
instance
?MS
MuakharSadaq
)
(
exists
(?H ?W ?T1 ?T2)
(
and
(
agent
?MS ?H)
(
origin
?MS ?H)
(
destination
?MS ?W)
(
holdsDuring
?T1
(
wife
?W ?H))
(
not
(
holdsDuring
?T2
(
wife
?W ?H)))
(
finishes
?T1 ?MS)
(
before
?T1 ?T2)
(
starts
?T2 ?MS))))
ArabicCulture.kif 285-299
Interval temporel
est une
instance
de
MuakharSadaq
AutonomousAgent
entit�
,
interval temporel
and
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
a pour
origine
AutonomousAgent
interval temporel
aboutit
�
entit�
wife
entit�
and
AutonomousAgent
pendant
interval temporel
wife
entit�
and
AutonomousAgent
pendant
interval temporel
interval temporel
finit
interval temporel
interval temporel
se produit
avant
interval temporel
interval temporel
commence
interval temporel
(=>
(
instance
?MS
MuqaddamSadaq
)
(
exists
(?H ?W ?T1 ?T2)
(
and
(
agent
?MS ?H)
(
origin
?MS ?H)
(
destination
?MS ?W)
(
not
(
holdsDuring
?T1
(
wife
?W ?H)))
(
holdsDuring
?T2
(
wife
?W ?H))
(
finishes
?T1 ?MS)
(
before
?T1 ?T2)
(
starts
?T2 ?MS))))
ArabicCulture.kif 305-319
Interval temporel
est une
instance
de
MuqaddamSadaq
AutonomousAgent
entit�
,
interval temporel
and
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
a pour
origine
AutonomousAgent
interval temporel
aboutit
�
entit�
wife
entit�
and
AutonomousAgent
pendant
interval temporel
wife
entit�
and
AutonomousAgent
pendant
interval temporel
interval temporel
finit
interval temporel
interval temporel
se produit
avant
interval temporel
interval temporel
commence
interval temporel
(=>
(
instance
?N
AntiInflammatory
)
(
hasPurpose
?N
(
exists
(?I ?H ?IN)
(
and
(
instance
?I
Inflammation
)
(
experiencer
?H ?I)
(
instance
?IN
Ingesting
)
(
before
(
BeginFn
(
WhenFn
?I))
(
BeginFn
(
WhenFn
?IN)))
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
not
(
exists
(?I2)
(
and
(
instance
?I2
Inflammation
)
(
experiencer
?I2 ?H)))))))))
Mid-level-ontology.kif 12421-12441
Physique
est une
instance
de
AntiInflammatory
physique
a pour
but
entit�
entit�
and
entit�
N
entit�
est une
instance
de
Inflammation
entit�
exp
�rimente
entit�
entit�
N est une
instance
de
ing�rer
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
N
entit�
2
entit�
2 est une
instance
de
Inflammation
entit�
exp
�rimente
entit�
2
pendant
apr
�s
temps
d'existence de
entit�
(=>
(
instance
?OBJ
Object
)
(
exists
(?TIME1 ?TIME2)
(
and
(
instance
?TIME1
TimePoint
)
(
instance
?TIME2
TimePoint
)
(
before
?TIME1 ?TIME2)
(
forall
(?TIME)
(=>
(
and
(
beforeOrEqual
?TIME1 ?TIME)
(
beforeOrEqual
?TIME ?TIME2))
(
time
?OBJ ?TIME))))))
Merge.kif 8110-8122
Physique
est une
instance
de
objet
point temporel
point temporel
point temporel
est une
instance
de
point temporel
point temporel
est une
instance
de
point temporel
point temporel
se produit
avant
point temporel
point temporel
point temporel
se
produit avant ou pendant
point temporel
point temporel
se
produit avant ou pendant
point temporel
physique
existe
pendant
point temporel
(=>
(
instance
?PO
PurchaseOrder
)
(
exists
(?NUMBER ?BUYER ?SELLER ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?PO)
(
buys
?BUYER ?SELLER ?PRODUCT)
(
confersObligation
(
exists
(?BUYING)
(
and
(
before
(
BeginFn
(
WhenFn
?PO))
(
BeginFn
(
WhenFn
?BUYING)))
(
instance
?BUYING
Buying
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?BUYING ?PRODUCT)
(
refers
?PO ?PRODUCT)
(
agent
?BUYING ?BUYER)
(
patient
?BUYING ?SELLER))) ?BUYER ?SELLER))))
Mid-level-ontology.kif 29895-29915
Entit�
est une
instance
de
PurchaseOrder
cha�ne sympbolique
agent cognitif
,
agent cognitif
and
entit�
l'
unique
identifier de
cha�ne sympbolique
est
entit�
buys
agent cognitif
,
agent cognitif
and
entit�
agent cognitif
oblige
agent cognitif
� ex�cut� des t�ches du type
entit�
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
entit�
est une
instance
de
acheter
entit�
est une
instance
de
produit
objectTransferred
entit�
and
entit�
entit�
inclut une
r
�f�rence �
entit�
entit�
est un
agent
de
agent cognitif
agent cognitif
est un
patient
de
entit�
(=>
(
instance
?SVC
LaundryService
)
(
exists
(?CLOTHES ?WASH ?DRY ?IRON)
(
and
(
instance
?CLOTHES
Clothing
)
(
patient
?SVC ?CLOTHES)
(
subProcess
?WASH ?SVC)
(
instance
?WASH
Washing
)
(
patient
?WASH ?CLOTHES)
(
result
?WASH
(
attribute
?CLOTHES
Clean
))
(
subProcess
?DRY ?SVC)
(
instance
?DRY
Drying
)
(
patient
?DRY ?CLOTHES)
(
instance
?IRON
Ironing
)
(
subProcess
?IRON ?SVC)
(
patient
?IRON ?CLOTHES)
(
before
(
BeginFn
(
WhenFn
?WASH))
(
BeginFn
(
WhenFn
?DRY)))
(
before
(
BeginFn
(
WhenFn
?DRY))
(
BeginFn
(
WhenFn
?IRON))))))
Hotel.kif 1785-1802
Processus
est une
instance
de
LaundryService
entit�
processus
,
processus
and
processus
entit�
est une
instance
de
v�tement
entit�
est un
patient
de
processus
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Washing
entit�
est un
patient
de
processus
Clean
est un
attribut
de
entit�
est le
resultat
de
processus
processus
est un
sous
-processus de
processus
processus
est une
instance
de
s�cher
entit�
est un
patient
de
processus
processus
est une
instance
de
Ironing
processus
est un
sous
-processus de
processus
entit�
est un
patient
de
processus
le
d
�but de
temps
d'existence de
processus
se produit
avant
le
d
�but de
temps
d'existence de
processus
le
d
�but de
temps
d'existence de
processus
se produit
avant
le
d
�but de
temps
d'existence de
processus
(=>
(
instance
?SVC
RoomService
)
(
exists
(?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC)
(
and
(
customer
?CUSTOMER ?AGENT)
(
agent
?SVC ?AGENT)
(
instance
?RQST
Requesting
)
(
agent
?RQST ?CUSTOMER)
(
patient
?RQST ?ORDER)
(
represents
?ORDER ?FOOD)
(
instance
?FOOD
PreparedFood
)
(
located
?CUSTOMER ?LOC)
(
instance
?LOC
HotelUnit
)
(
instance
?DELIVERY
DeliveryService
)
(
patient
?DELIVERY ?FOOD)
(
destination
?DELIVERY ?LOC)
(
before
(
BeginFn
(
WhenFn
?RQST))
(
BeginFn
(
WhenFn
?DELIVERY))))))
Hotel.kif 1969-1987
Processus
est une
instance
de
RoomService
AutonomousAgent
entit�
,
agent cognitif
,
processus
,
entit�
,
processus
and
objet
customer
agent cognitif
and
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
demander
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
entit�
d
�finie
entit�
entit�
est une
instance
de
PreparedFood
agent cognitif
est
situ
� �
objet
objet
est une
instance
de
HotelUnit
processus
est une
instance
de
DeliveryService
entit�
est un
patient
de
processus
processus
aboutit
�
objet
le
d
�but de
temps
d'existence de
processus
se produit
avant
le
d
�but de
temps
d'existence de
processus
(=>
(
instance
?SVC
ValetLaundryService
)
(
exists
(?CUST ?AGENT ?LOC ?CLOTHES ?LAUNDRY ?PICKUP ?DELIVERY)
(
and
(
customer
?CUST ?AGENT)
(
stays
?CUST ?LOC)
(
agent
?SVC ?AGENT)
(
instance
?CLOTHES
Clothing
)
(
instance
?PICKUP
Getting
)
(
located
?PICKUP ?LOC)
(
patient
?PICKUP ?CLOTHES)
(
agent
?PICKUP ?AGENT)
(
or
(
instance
?LAUNDRY
LaundryService
)
(
instance
?LAUNDRY
DryCleaningService
))
(
agent
?LAUNDRY ?AGENT)
(
patient
?LAUNDRY ?CLOTHES)
(
instance
?DELIVERY
DeliveryService
)
(
patient
?DELIVERY ?CLOTHES)
(
destination
?DELIVERY ?LOC)
(
before
(
BeginFn
(
WhenFn
?PICKUP))
(
BeginFn
(
WhenFn
?LAUNDRY)))
(
before
(
BeginFn
(
WhenFn
?LAUNDRY))
(
BeginFn
(
WhenFn
?DELIVERY))))))
Hotel.kif 1827-1848
Processus
est une
instance
de
ValetLaundryService
humain
AutonomousAgent
,
TemporaryResidence
,
entit�
,
processus
,
processus
and
processus
customer
humain
and
AutonomousAgent
stays
humain
and
TemporaryResidence
processus
est un
agent
de
AutonomousAgent
entit�
est une
instance
de
v�tement
processus
est une
instance
de
obtenir
processus
est
situ
� �
TemporaryResidence
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
LaundryService
processus
est une
instance
de
DryCleaningService
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
est une
instance
de
DeliveryService
entit�
est un
patient
de
processus
processus
aboutit
�
TemporaryResidence
le
d
�but de
temps
d'existence de
processus
se produit
avant
le
d
�but de
temps
d'existence de
processus
le
d
�but de
temps
d'existence de
processus
se produit
avant
le
d
�but de
temps
d'existence de
processus
(=>
(
instance
?X
Bidet
)
(
hasPurpose
?X
(
exists
(?PROC ?WASH ?PART)
(
and
(
or
(
instance
?PROC
Defecation
)
(
instance
?PROC
Urination
))
(
instrument
?PROC ?PART)
(
instance
?WASH
Washing
)
(
objectTransferred
?WASH ?PART)
(
instrument
?WASH ?X)
(
before
(
BeginFn
(
WhenFn
?PROC))
(
BeginFn
(
WhenFn
?WASH)))))))
Mid-level-ontology.kif 2182-2196
Physique
est une
instance
de
Bidet
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
Defecation
entit�
est une
instance
de
Urination
entit�
est un
instrument
pour
entit�
entit�
est une
instance
de
Washing
objectTransferred
entit�
and
entit�
physique
est un
instrument
pour
entit�
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
(=>
(
instance
?X
Earphone
)
(
hasPurpose
?X
(
exists
(?ES ?RS ?SIGNAL ?EAR ?PROC)
(
and
(
instance
?ES
ElectricalSignalling
)
(
patient
?ES ?SIGNAL)
(
destination
?ES ?X)
(
instance
?PROC
Process
)
(
instrument
?PROC ?X)
(
patient
?PROC ?SIGNAL)
(
result
?PROC ?RS)
(
instance
?RS
RadiatingSound
)
(
origin
?RS ?X)
(
before
(
BeginFn
(
WhenFn
?ES))
(
BeginFn
(
WhenFn
?PROC)))
(
before
(
BeginFn
(
WhenFn
?PROC))
(
BeginFn
(
WhenFn
?RS)))
(
instance
?EAR
Ear
)
(
orientation
?X ?EAR
Adjacent
)))))
Mid-level-ontology.kif 26053-26074
Physique
est une
instance
de
Earphone
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
ElectricalSignalling
entit�
est un
patient
de
entit�
entit�
aboutit
�
physique
entit�
est une
instance
de
processus
physique
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est le
resultat
de
entit�
entit�
est une
instance
de
son irradiant
entit�
a pour
origine
physique
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
entit�
est une
instance
de
Ear
physique
est
Adjacent
�
entit�
(=>
(
instance
?X
Iftar
)
(
exists
(?R ?S ?D)
(
and
(
instance
?S
Sunset
)
(
instance
?R
Ramadan
)
(
instance
?D
Day
)
(
during
?D ?R)
(
during
(
WhenFn
?X) ?D)
(
during
?S ?D)
(
before
?S
(
WhenFn
?X)))))
ArabicCulture.kif 91-101
Physique
est une
instance
de
Iftar
interval temporel
interval temporel
and
interval temporel
interval temporel
est une
instance
de
Sunset
interval temporel
est une
instance
de
Ramadan
interval temporel
est une
instance
de
jour
interval temporel
prend place
pendant
interval temporel
temps
d'existence de
physique
prend place
pendant
interval temporel
interval temporel
prend place
pendant
interval temporel
interval temporel
se produit
avant
temps
d'existence de
physique
(=>
(
instance
?X
Suhur
)
(
exists
(?R ?S ?D)
(
and
(
instance
?S
Sunrise
)
(
instance
?R
Ramadan
)
(
instance
?D
Day
)
(
during
?D ?R)
(
during
(
WhenFn
?X) ?D)
(
during
?S ?D)
(
before
(
WhenFn
?X) ?S))))
ArabicCulture.kif 36-46
Physique
est une
instance
de
Suhur
interval temporel
interval temporel
and
interval temporel
interval temporel
est une
instance
de
Sunrise
interval temporel
est une
instance
de
Ramadan
interval temporel
est une
instance
de
jour
interval temporel
prend place
pendant
interval temporel
temps
d'existence de
physique
prend place
pendant
interval temporel
interval temporel
prend place
pendant
interval temporel
temps
d'existence de
physique
se produit
avant
interval temporel
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