during
(=>
(
and
(
instance
?W
(
WeekFn
?N ?Y))
(
instance
?YI ?Y))
(
during
?W ?YI))
Merge.kif 8981-8985
Interval temporel
est une
instance
de
WeekFn
nombre entier positif
and
ann�e
ann�e
I est une
instance
de
ann�e
interval temporel
prend place
pendant
ann�e
I
(=>
(
and
(
instance
?X
DryRoasting
)
(
instance
?F
Food
)
(
patient
?X ?F))
(
holdsDuring
?X
(
exists
(?H ?S)
(
and
(
instance
?H
Heating
)
(
instance
?S
Stirring
)
(
subProcess
?H ?X)
(
subProcess
?S ?X)
(
during
(
WhenFn
?S)
(
WhenFn
?H))
(
patient
?H ?F)
(
patient
?S ?F)
(
not
(
exists
(?O ?W)
(
and
(
instance
?O
Oil
)
(
instance
?W
DrinkingWater
)
(
patient
?X ?O)
(
patient
?X ?W))))))))
Food.kif 128-151
Processus
est une
instance
de
DryRoasting
entit�
est une
instance
de
nourriture
entit�
est un
patient
de
processus
entit�
entit�
entit�
est une
instance
de
r�chauffer
entit�
est une
instance
de
Stirring
entit�
est un
sous
-processus de
processus
entit�
est un
sous
-processus de
processus
temps
d'existence de
entit�
prend place
pendant
temps
d'existence de
entit�
entit�
est un
patient
de
entit�
entit�
est un
patient
de
entit�
entit�
entit�
entit�
est une
instance
de
Oil
entit�
est une
instance
de
DrinkingWater
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
pendant
processus
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
Breakfast
)
(
instance
?E
Eating
)
(
patient
?E ?X))
(
modalAttribute
(
exists
(?TIME)
(
and
(
during
(
WhenFn
?E) ?TIME)
(
instance
?TIME
BreakfastTime
)))
Likely
))
Food.kif 1706-1716
Objet
est une
instance
de
Meal
Breakfast
est un
attribut
de
objet
processus
est une
instance
de
manger
objet
est un
patient
de
processus
l'argument
entit�
temps
d'existence de
processus
prend place
pendant
entit�
entit�
est une
instance
de
BreakfastTime
a la
force
modale
de
Likely
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
Dinner
)
(
instance
?E
Eating
)
(
patient
?E ?X))
(
modalAttribute
(
exists
(?TIME)
(
and
(
during
(
WhenFn
?E) ?TIME)
(
instance
?TIME
DinnerTime
)))
Likely
))
Food.kif 1793-1803
Objet
est une
instance
de
Meal
Dinner
est un
attribut
de
objet
processus
est une
instance
de
manger
objet
est un
patient
de
processus
l'argument
entit�
temps
d'existence de
processus
prend place
pendant
entit�
entit�
est une
instance
de
DinnerTime
a la
force
modale
de
Likely
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
Lunch
)
(
instance
?E
Eating
)
(
patient
?E ?X))
(
modalAttribute
(
exists
(?TIME)
(
and
(
during
(
WhenFn
?E) ?TIME)
(
instance
?TIME
LunchTime
)))
Likely
))
Food.kif 1776-1786
Objet
est une
instance
de
Meal
Lunch
est un
attribut
de
objet
processus
est une
instance
de
manger
objet
est un
patient
de
processus
l'argument
entit�
temps
d'existence de
processus
prend place
pendant
entit�
entit�
est une
instance
de
LunchTime
a la
force
modale
de
Likely
(=>
(
and
(
instance
?X
NightClub
)
(
standardRetailHours
?TIME ?X))
(
exists
(?T)
(
and
(
instance
?T ?TIME)
(
during
?T
NightTime
))))
Dining.kif 419-426
AutonomousAgent
est une
instance
de
NightClub
standardRetailHours
interval temporel
and
AutonomousAgent
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
prend place
pendant
NightTime
(=>
(
and
(
newRegisteredUsers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?DURING)
(
and
(
instance
?DURING
TimeInterval
)
(
during
?DURING ?INT)
(
holdsDuring
?DURING
(
registeredUser
?MEMBER ?SITE)))))
UXExperimentalTerms.kif 3629-3638
newRegisteredUsers
interval temporel
,
WebSite
and
collection
physique
est un
membre
de
collection
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
prend place
pendant
interval temporel
registeredUser
physique
and
WebSite
pendant
interval temporel
(=>
(
and
(
not
(
instance
?A
AutonomousAgent
))
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
Motion
)
(
patient
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30243-30254
Entit�
est une
instance
de
AutonomousAgent
Motionless
est un
attribut
de
entit�
pendant
interval temporel
processus
processus
est une
instance
de
d�palcement
entit�
est un
patient
de
processus
temps
d'existence de
processus
prend place
pendant
interval temporel
(=>
(
and
(
observesHoliday
?A ?T1)
(
equal
?T2
(
WhenFn
?A)))
(
during
?T1 ?T2))
Media.kif 258-262
observesHoliday
agent cognitif
and
Holiday
interval temporel
est
temps
d'existence de
agent cognitif
Holiday
prend place
pendant
interval temporel
(=>
(
and
(
passenger
?PROC ?PASS)
(
instance
?V
Vehicle
)
(
instrument
?PROC ?V))
(
not
(
exists
(?G)
(
and
(
during
(
WhenFn
?G)
(
WhenFn
?PROC))
(
instance
?G
Guiding
)
(
agent
?G ?PASS)
(
instrument
?G ?V)))))
Mid-level-ontology.kif 30760-30771
passenger
transf�re
and
AutonomousAgent
objet
est une
instance
de
Vehicle
objet
est un
instrument
pour
transf�re
processus
temps
d'existence de
processus
prend place
pendant
temps
d'existence de
transf�re
processus
est une
instance
de
guider
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
(=>
(
and
(
physicalAmplitude
?T
(
MeasureFn
?L ?U))
(
instance
?U
UnitOfLength
)
(
patient
?T ?O))
(
not
(
exists
(?P1 ?P2 ?T1 ?T2 ?L2)
(
and
(
during
?T1
(
WhenFn
?T))
(
during
?T2
(
WhenFn
?T))
(
holdsDuring
?T1
(
located
?O ?P1))
(
holdsDuring
?T2
(
located
?O ?P2))
(
distance
?P1 ?P2
(
MeasureFn
?L2 ?U))
(
greaterThan
?L2 ?L)))))
Cars.kif 751-768
physicalAmplitude
Tremor
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
entit�
est un
patient
de
Tremor
physique
physique
,
Tremor
1,
Tremor
2 and
nombre r�el
2
Tremor
1 prend place
pendant
temps
d'existence de
Tremor
Tremor
2 prend place
pendant
temps
d'existence de
Tremor
entit�
est
situ
� �
physique
pendant
Tremor
1
entit�
est
situ
� �
physique
pendant
Tremor
2 la
distance
entre
physique
et
physique
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
plus
grand
que
nombre r�el
(=>
(
and
(
physicalAmplitude
?T ?L)
(
patient
?T ?O))
(
exists
(?P1 ?P2 ?T1 ?T2)
(
and
(
during
?T1
(
WhenFn
?T))
(
during
?T2
(
WhenFn
?T))
(
holdsDuring
?T1
(
located
?O ?P1))
(
holdsDuring
?T2
(
located
?O ?P2))
(
distance
?P1 ?P2 ?L))))
Cars.kif 737-749
physicalAmplitude
Tremor
and
mesure de longueur
entit�
est un
patient
de
Tremor
physique
physique
,
Tremor
1 and
Tremor
2
Tremor
1 prend place
pendant
temps
d'existence de
Tremor
Tremor
2 prend place
pendant
temps
d'existence de
Tremor
entit�
est
situ
� �
physique
pendant
Tremor
1
entit�
est
situ
� �
physique
pendant
Tremor
2 la
distance
entre
physique
et
physique
est
mesure de longueur
(=>
(
and
(
property
?X
Booting
)
(
instance
?X
Computer
))
(
exists
(?CD ?OS ?DT)
(
and
(
instance
?CD
DigitalData
)
(
instance
?OS
OperatingSystem
)
(
instance
?DT
DataTransfer
)
(
during
(
WhenFn
?DT)
(
WhenFn
?X))
(
destination
?DT ?X)
(
part
?CD ?OS)
(
objectTransferred
?DT ?CD))))
ComputingBrands.kif 3217-3229
Physique
a un
attribute
Booting
physique
est une
instance
de
Computer
objet
objet
and
transf�re
objet
est une
instance
de
DigitalData
objet
est une
instance
de
OperatingSystem
transf�re
est une
instance
de
DataTransfer
temps
d'existence de
transf�re
prend place
pendant
temps
d'existence de
physique
transf�re
aboutit
�
physique
objet
est une
partie
de
objet
objectTransferred
transf�re
and
objet
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME)))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 467-492
rentalPrice
physique
,
function de quantit�
,
agent cognitif
and
PricingScheme
function de quantit�
est
PerFn
mesure de devise
and la
mesure
de
nombre r�el
est
unit� de mesure
unit� de mesure
est une
instance
de
UnitOfDuration
entit�
est une
instance
imm�diate de
physique
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
existe
pendant
nombre r�el
INT
interval temporel
nombre r�el
nombre r�el
INT prend place
pendant
interval temporel
interval temporel
est une
instance
de
interval temporel
la
dur
�� de
interval temporel
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
financial transaction
financial transaction
est une
instance
de
Payment
financial transaction
aboutit
�
agent cognitif
financial transaction
est un
agent
de
AutonomousAgent
transactionAmount
financial transaction
and
mesure de devise
(=>
(
and
(
restingBreathingRate
?H ?R)
(
instance
?L
Lung
)
(
part
?L ?H))
(
exists
(?T)
(
and
(
not
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
agent
?REC ?H)
(
during
?T
(
WhenFn
?REC)))))
(
instance
?T
Minute
)
(
breathingRate
?H ?T ?R))))
Medicine.kif 342-357
restingBreathingRate
mammif�re
and
nombre entier
objet
est une
instance
de
Lung
objet
est une
partie
de
mammif�re
interval temporel
nombre entier
EC
nombre entier
EC est une
instance
de
r�cr�ation ou exercice
nombre entier
EC est un
agent
de
mammif�re
interval temporel
prend place
pendant
temps
d'existence de
nombre entier
EC
interval temporel
est une
instance
de
minute
breathingRate
mammif�re
,
interval temporel
and
nombre entier
(=>
(
and
(
restingHeartRate
?H ?R)
(
instance
?HEART
Heart
)
(
part
?HEART ?H))
(
exists
(?T)
(
and
(
not
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
agent
?REC ?H)
(
during
?T
(
WhenFn
?REC)))))
(
instance
?T
Minute
)
(
heartRate
?H ?T ?R))))
Medicine.kif 122-136
restingHeartRate
mammif�re
and
nombre entier
mammif�re
EART est une
instance
de
Heart
mammif�re
EART est une
partie
de
mammif�re
interval temporel
nombre entier
EC
nombre entier
EC est une
instance
de
r�cr�ation ou exercice
nombre entier
EC est un
agent
de
mammif�re
interval temporel
prend place
pendant
temps
d'existence de
nombre entier
EC
interval temporel
est une
instance
de
minute
heartRate
mammif�re
,
interval temporel
and
nombre entier
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30944-30959
shortage
agent cognitif
,
objet
,
mesure de devise
,
interval temporel
and
quantit�
quantit�
est une
instance
de
nombre entier
agent cognitif
desire
entit�
entit�
entit�
est une
instance
de
acheter
temps
d'existence de
entit�
prend place
pendant
interval temporel
objectTransferred
entit�
and
entit�
transactionAmount
entit�
and
mesure de devise
entit�
est un
agent
de
agent cognitif
entit�
est une
instance
de
collection
memberType
entit�
and
objet
memberCount
entit�
and
quantit�
agent cognitif
poss
�de
entit�
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30911-30926
shortage
AutonomousAgent
,
objet
,
mesure de devise
,
interval temporel
and
nombre entier
nombre entier
est une
instance
de
nombre entier
transf�re
collection
transf�re
est une
instance
de
acheter
temps
d'existence de
transf�re
prend place
pendant
interval temporel
objectTransferred
transf�re
and
collection
transactionAmount
transf�re
and
mesure de devise
transf�re
est un
agent
de
AutonomousAgent
collection
est une
instance
de
collection
memberType
collection
and
objet
memberCount
collection
and
nombre entier
AutonomousAgent
poss
�de
collection
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30961-30975
shortage
agent cognitif
,
objet
,
mesure de devise
,
interval temporel
and
quantit�
quantit�
est une
instance
de
quantit� physique
agent cognitif
desire
entit�
entit�
entit�
est une
instance
de
acheter
temps
d'existence de
entit�
prend place
pendant
interval temporel
objectTransferred
entit�
and
entit�
transactionAmount
entit�
and
mesure de devise
entit�
est un
agent
de
agent cognitif
entit�
est une
instance
de
objet
la
mesure
de
entit�
est
quantit�
agent cognitif
poss
�de
entit�
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30928-30942
shortage
AutonomousAgent
,
objet
,
mesure de devise
,
interval temporel
and
quantit� physique
quantit� physique
est une
instance
de
quantit� physique
transf�re
objet
transf�re
est une
instance
de
acheter
temps
d'existence de
transf�re
prend place
pendant
interval temporel
objectTransferred
transf�re
and
objet
transactionAmount
transf�re
and
mesure de devise
transf�re
est un
agent
de
AutonomousAgent
objet
est une
instance
de
objet
la
mesure
de
objet
est
quantit� physique
AutonomousAgent
poss
�de
objet
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
))
(
not
(
exists
(?Observe ?A ?B ?D2)
(
and
(
instance
?Observe
Looking
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
during
(
WhenFn
?Observe) ?Time)
(
eventLocated
?Observe ?Area)
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?D2 ?Distance)))))
Weather.kif 2705-2722
visibilityInMeteorology
r�gion
,
interval temporel
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
processus
AutonomousAgent
,
objet
and
nombre r�el
processus
est une
instance
de
Looking
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
AutonomousAgent
est
Horizontal
�
objet
temps
d'existence de
processus
prend place
pendant
interval temporel
eventLocated
processus
and
r�gion
la
distance
entre
AutonomousAgent
et
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
breathingRate
?H ?T ?I)
(
exists
(?C ?M)
(
and
(
instance
?C
Collection
)
(
memberType
?C
Breath
)
(
memberCount
?C ?I)
(=>
(
member
?M ?C)
(
and
(
patient
?M ?H)
(
during
(
WhenFn
?M) ?T))))))
Mid-level-ontology.kif 10385-10397
breathingRate
Lung
,
interval temporel
and
nombre entier
collection
processus
collection
est une
instance
de
collection
memberType
collection
and
Breath
memberCount
collection
and
nombre entier
processus
est un
membre
de
collection
Lung
est un
patient
de
processus
temps
d'existence de
processus
prend place
pendant
interval temporel
(=>
(
equal
?C
(
ContestFn
?CONTEST ?TI))
(
and
(
instance
?C ?CONTEST)
(
during
(
WhenFn
?C) ?TI)))
Music.kif 1051-1055
Affrontement
est
ContestFn
affrontement
ONTEST and
interval temporel
affrontement
est une
instance
de
affrontement
ONTEST
temps
d'existence de
affrontement
prend place
pendant
interval temporel
(=>
(
grossMerchandiseBoughtInPeriod
?A ?O ?CM ?TP)
(
and
(
monetaryValue
?CI ?CM)
(
instance
?CI
(
KappaFn
?COL
(
and
(
instance
?B
Buying
)
(
instance
?ITEM ?COL)
(
agent
?B ?A)
(
patient
?B ?ITEM)
(
patient
?B ?O)
(
during
?B ?TP))))))
ComputerInput.kif 2974-2986
grossMerchandiseBoughtInPeriod
AutonomousAgent
,
organisation
,
mesure de devise
and
interval temporel
valeur
de
physique
est
mesure de devise
physique
est une
instance
de la
classe
d�crite par
cha�ne sympbolique
(=>
(
grossMerchandiseSoldInPeriod
?A ?O ?CM ?TP)
(
and
(
monetaryValue
?CI ?CM)
(
instance
?CI
(
KappaFn
?COL
(
and
(
instance
?S
Selling
)
(
instance
?ITEM ?COL)
(
agent
?S ?A)
(
patient
?S ?ITEM)
(
patient
?S ?O)
(
during
?S ?TP))))))
ComputerInput.kif 2998-3010
grossMerchandiseSoldInPeriod
AutonomousAgent
,
organisation
,
mesure de devise
and
interval temporel
valeur
de
physique
est
mesure de devise
physique
est une
instance
de la
classe
d�crite par
cha�ne sympbolique
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