modalAttribute
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13505-13514
defaultMinimumMeasure
objet
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
CompositeUnitOfMeasure
l'argument
entit�
nombre r�el
UANTITY
entit�
est une
instance
de
objet
la
mesure
de
entit�
est
nombre r�el
UANTITY
unit� de mesure
(s)
nombre r�el
UANTITY est
moins
que
nombre r�el
a la
force
modale
de
Unlikely
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13516-13527
defaultMinimumMeasure
objet
and
nombre r�el
unit� de mesure
(s)
classe
est une
sous
-classe de
NonCompositeUnitOfMeasure
unit� de mesure
est une
instance
de
classe
l'argument
entit�
nombre r�el
UANTITY and
entit�
entit�
est une
instance
de
objet
la
mesure
de
entit�
est
nombre r�el
UANTITY
entit�
(s)
entit�
est une
instance
de
classe
nombre r�el
UANTITY est
moins
que
nombre r�el
a la
force
modale
de
Unlikely
(=>
(
and
(
defaultMinimumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
lessThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13467-13477
defaultMinimumSphereRadius
objet
and
nombre r�el
unit� de mesure
(s)
objet
est une
instance
de
objet
Sphere
est un
attribut
de
objet
l'argument
nombre r�el
ADIUS
sphereRadius
objet
and
nombre r�el
ADIUS
unit� de mesure
(s)
nombre r�el
ADIUS est
moins
que
nombre r�el
a la
force
modale
de
Unlikely
(=>
(
and
(
defaultValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
equal
?N ?VAL)
Likely
))
Merge.kif 18463-18468
defaultValue
predicat
,
nombre entier positif
and
quantit�
predicat
@ARGS
entit�
est
nombre entier positif
th
quantit�
est
entit�
a la
force
modale
de
Likely
(=>
(
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
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?S ?PROC)
(
suffers
?PROC ?CO)))
Possibility
))
Medicine.kif 3040-3054
AutonomousAgent
emploie
agent cognitif
processus
est une
instance
de
DoNetworkMessaging
objet
est le
resultat
de
processus
NSFW
est un
attribut
de
objet
processus
est une
instance
de
voir
objet
est un
patient
de
processus
processus
est un
agent
de
agent cognitif
l'argument
entit�
processus
cause
entit�
suffers
entit�
and
agent cognitif
a la
force
modale
de
Possibility
(=>
(
and
(
employs
?ORG ?P)
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
agent
?D ?P)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?D ?PROC)
(
suffers
?PROC ?P)))
Likely
))
Medicine.kif 3022-3038
AutonomousAgent
emploie
agent cognitif
AutonomousAgent
emploie
agent cognitif
processus
est une
instance
de
DoNetworkMessaging
objet
est le
resultat
de
processus
NSFW
est un
attribut
de
objet
processus
est un
agent
de
agent cognitif
processus
est une
instance
de
voir
objet
est un
patient
de
processus
processus
est un
agent
de
agent cognitif
l'argument
agent cognitif
ROC
processus
cause
agent cognitif
ROC
suffers
agent cognitif
ROC and
agent cognitif
a la
force
modale
de
Likely
(=>
(
and
(
engineIdleSpeed
?E
(
RotationFn
(
MeasureFn
?N1
MilesPerHour
) ?M))
(
instance
?A
Automobile
)
(
instance
?P
GasPedal
)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?E ?A)
(
part
?GP ?A)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
holdsDuring
(
WhenFn
?P)
(
measure
?C
(
RotationFn
(
MeasureFn
?N2
MilesPerHour
) ?M))))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Cars.kif 2585-2603
engineIdleSpeed
InternalCombustionEngine
and
RotationFn
nombre r�el
MilesPerHour
(s) and
dur�e temporel
objet
est une
instance
de
Automobile
processus
est une
instance
de
GasPedal
processus
est une
instance
de
Pushing
processus
aboutit
�
objet
InternalCombustionEngine
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Crankshaft
objet
est une
partie
de
InternalCombustionEngine
la
mesure
de
objet
est
RotationFn
entit�
MilesPerHour
(s) and
dur�e temporel
pendant
temps
d'existence de
processus
l'argument
entit�
est
plus
grand
que
nombre r�el
a la
force
modale
de
Likely
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
Hardwood
objet organique
est une
sous
-classe de
PlantStem
l'argument
initialPart
objet organique
and
DeciduousTree
a la
force
modale
de
Likely
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
Softwood
objet organique
est une
sous
-classe de
PlantStem
l'argument
initialPart
objet organique
and
Conifers
a la
force
modale
de
Likely
(=>
(
and
(
facility
?AGENT ?OBJ)
(
customer
?CUST ?AGENT)
(
instance
?X ?OBJ)
(
desires
?CUST
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
patient
?PROC ?X)
(
agent
?PROC ?CUST)))))
(
modalAttribute
(
confersRight
(
uses
?X ?CUST) ?AGENT ?CUST)
Possibility
))
Dining.kif 336-350
facility
AutonomousAgent
and
objet
customer
agent cognitif
and
AutonomousAgent
entit�
est une
instance
de
objet
agent cognitif
desire
entit�
entit�
est une
instance
de
processus intentionnel
entit�
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
l'argument
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
agent cognitif
utilise
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
functionRoomAmenity
HotelFunctionRoom
and
physique
entit�
est une
instance
de
HotelFunctionRoom
entit�
est un
appartenir
�
AutonomousAgent
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
physique
est une
sous
-classe de
objet
l'argument
entit�
entit�
entit�
est une
instance
de
physique
entit�
est une
instance
de
processus
entit�
est une
resource
pour
entit�
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
entit�
entit�
exp
�rimente
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
governmentType
?PLACE
Monarchy
)
(
instance
?MONARCH
Human
)
(
instance
?SUCCESSOR
Human
)
(
holdsDuring
?T1
(
chiefOfState
?PLACE ?ROLE ?MONARCH))
(
familyRelation
?MONARCH ?SUCCESSOR)
(
earlier
?T1 ?T2))
(
modalAttribute
(
holdsDuring
?T2
(
chiefOfState
?PLACE ?ROLE ?SUCCESSOR))
Possibility
))
Government.kif 223-234
governmentType
AutonomousAgent
and
Monarchy
organisme
est une
instance
de
humain
organisme
est une
instance
de
humain
chiefOfState
AutonomousAgent
,
entit�
and
organisme
pendant
interval temporel
organisme
et
organisme
sont
parents
interval temporel
arrive
plus
t�t que
interval temporel
l'argument
chiefOfState
AutonomousAgent
,
entit�
and
organisme
pendant
interval temporel
a la
force
modale
de
Possibility
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4427-4444
hasAccount
agent cognitif
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
agent cognitif
ne
conna
�t %n{pas}
password
ComputerPassword
and
UserAccount
agent cognitif
conna
�t
recoveryKey
entit�
and
UserAccount
agent cognitif
poss
�de
Computer
l'argument
entit�
entit�
est une
instance
de
ChangingPassword
UserAccount
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
a la
force
modale
de
Possibility
(=>
(
and
(
holdsDuring
?T
(
attribute
?A ?ES))
(
actionTendency
?ES ?PI))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PI)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?A)))
Likely
))
emotion.kif 161-172
�tat �motionnel
Est un
attribut
de
entit�
pendant
position temporel
actionTendency
�tat �motionnel
and
EmotionalBehavioralProcess
l'argument
entit�
entit�
est une
instance
de
EmotionalBehavioralProcess
temps
d'existence de
entit�
prend place
pendant
position temporel
entit�
exp
�rimente
entit�
a la
force
modale
de
Likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?F
Menopausal
))
(
birthdate
?F ?B)
(
instance
?B
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?A1
(
AdditionFn
49 ?Y))
(
equal
?A2
(
AdditionFn
52 ?Y))
(
equal
?START
(
BeginFn
?T)))
(
modalAttribute
(
and
(
greaterThan
?START ?A1)
(
greaterThan
?A2 ?START))
Likely
))
Mid-level-ontology.kif 23916-23932
Menopausal
est un
attribut
de
humain
pendant
interval temporel
birthdate
humain
and
jour
jour
est une
instance
de le
jour
nombre entier positif
nombre r�el
est
nombre entier
)
nombre r�el
est
nombre entier
)
point temporel
est
d
�but de
interval temporel
l'argument
point temporel
est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que
point temporel
a la
force
modale
de
Likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18225-18235
ImpairedBodyPartFn
classe
est un
attribut
de
objet
pendant
position temporel
classe
I est une
instance
de
classe
classe
I est une
partie
de
objet
classe
I a pour
but
formule
l'argument
formule
a la
force
modale
de
Likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
ChronicFatigueSyndrome
))
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
(
WhenFn
?R) ?T))
(
modalAttribute
(
and
(
holdsDuring
?T2
(
attribute
?H
PostExertionalMalaise
))
(
earlier
(
WhenFn
?R) ?T2))
Likely
))
Medicine.kif 1500-1512
ChronicFatigueSyndrome
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
r�cr�ation ou exercice
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
interval temporel
l'argument
PostExertionalMalaise
est un
attribut
de
AutonomousAgent
pendant
interval temporel
2
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
2 a la
force
modale
de
Likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?X
Booting
))
(
holdsDuring
?T2
(
attribute
?X
HostReady
))
(
equal
?T2
(
ImmediateFutureFn
(
WhenFn
?T)))
(
instance
?DIS
ComputerDisplay
)
(
connectedEngineeringComponents
?DIS ?X))
(
modalAttribute
(
exists
(?HS)
(
and
(
instance
?HS
HomeScreen
)
(
displayedUpon
?HS ?DIS)))
Likely
))
ComputingBrands.kif 3231-3245
Booting
est un
attribut
de
composant d'un appareil
pendant
physique
HostReady
est un
attribut
de
composant d'un appareil
pendant
physique
2
physique
2 est
apr
�s
temps
d'existence de
physique
composant d'un appareil
est une
instance
de
ComputerDisplay
composant d'un appareil
est
connect
� �
composant d'un appareil
l'argument
entit�
entit�
est une
instance
de
HomeScreen
displayedUpon
entit�
and
composant d'un appareil
a la
force
modale
de
Likely
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2567-2583
La
mesure
de
objet
est
function de quantit�
pendant
position temporel
engineIdleSpeed
InternalCombustionEngine
and
function de quantit�
objet
est une
instance
de
Automobile
InternalCombustionEngine
est une
partie
de
objet
objet
est une
partie
de
InternalCombustionEngine
l'argument
entit�
entit�
entit�
prend place
pendant
position temporel
entit�
est une
instance
de
Pushing
entit�
aboutit
�
entit�
entit�
est une
partie
de
objet
a la
force
modale
de
Likely
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30662-30683
Dieting
est un
attribut
de
AutonomousAgent
pendant
interval temporel
Dieting
est un
attribut
de
AutonomousAgent
pendant
interval temporel
objet
est une
instance
de
Meal
processus
est une
instance
de
manger
processus
est un
agent
de
AutonomousAgent
objet
est une
resource
pour
processus
temps
d'existence de
processus
prend place
pendant
interval temporel
la
mesure
de
objet
est
nombre r�el
Calorie
(s)
objet
est une
instance
de
Meal
processus
est une
instance
de
manger
processus
est un
agent
de
AutonomousAgent
objet
est une
resource
pour
processus
temps
d'existence de
processus
prend place
pendant
interval temporel
la
mesure
de
objet
est
nombre r�el
Calorie
(s)
l'argument
nombre r�el
est
plus
grand
que
nombre r�el
a la
force
modale
de
Likely
(=>
(
and
(
instance
?A
Anaphylaxis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
causes
?A ?D)))
Possibility
))
Medicine.kif 1545-1555
Processus
est une
instance
de
Anaphylaxis
AutonomousAgent
exp
�rimente
processus
l'argument
entit�
entit�
est une
instance
de
mort
AutonomousAgent
exp
�rimente
entit�
processus
cause
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
instance
?A
AntibodyCOVIDTest
)
(
instrument
?M ?A)
(
instance
?M
Measuring
)
(
patient
?M ?H)
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))
(
modalAttribute
(
knows
?H
(
exists
(?CA)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))))
Likely
))
Medicine.kif 2763-2777
Objet
est une
instance
de
AntibodyCOVIDTest
objet
est un
instrument
pour
processus
processus
est une
instance
de
mesurer
objet
est un
patient
de
processus
objet
est une
instance
de
COVIDAntibody
objet
est une
partie
de
objet
l'argument
objet
conna
�t
objet
objet
est une
instance
de
COVIDAntibody
objet
est une
partie
de
objet
a la
force
modale
de
Likely
(=>
(
and
(
instance
?A
Biped
)
(
instance
?W
Ambulating
)
(
agent
?W ?A))
(
modalAttribute
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
part
?L1 ?A)
(
part
?L2 ?A)
(
instrument
?W ?L1)
(
instrument
?W ?L2)))
Likely
))
Mid-level-ontology.kif 4411-4425
AutonomousAgent
est une
instance
de
Biped
processus
est une
instance
de
Ambulating
processus
est un
agent
de
AutonomousAgent
l'argument
entit�
entit�
entit�
est une
instance
de
Leg
entit�
est une
instance
de
Leg
entit�
est une
partie
de
AutonomousAgent
entit�
est une
partie
de
AutonomousAgent
entit�
est un
instrument
pour
processus
entit�
est un
instrument
pour
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?A
RheumatoidArthritis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?JP)
(
and
(
instance
?JP
JointPain
)
(
causes
?A ?JP)))
Likely
))
Medicine.kif 2230-2239
Processus
est une
instance
de
RheumatoidArthritis
AutonomousAgent
exp
�rimente
processus
l'argument
entit�
entit�
est une
instance
de
JointPain
processus
cause
entit�
a la
force
modale
de
Likely
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