Likely
(=>
(
and
(
instance
?DUST
DustStorm
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?DUST ?PLACE))
(
holdsDuring
(
WhenFn
?DUST)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2600-2608
Processus
est une
instance
de
DustStorm
objet
est une
instance
de
secteur g�ographique
eventLocated
processus
and
objet
l'argument
BadAirQuality
est un
attribut
de
objet
a la
force
modale
de
Likely
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGAbnormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
attribute
?P
(
ImpairedBodyPartFn
Heart
))
Likely
))
Medicine.kif 1882-1891
Objet
est une
instance
de
Electrocardiogram
EKGAbnormal
est un
attribut
de
objet
objet
inclut une
r
�f�rence �
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Heart
l'argument
ImpairedBodyPartFn
Heart
est un
attribut
de
objet
a la
force
modale
de
Likely
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGNormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
not
(
attribute
?P
(
ImpairedBodyPartFn
Heart
)))
Likely
))
Medicine.kif 1865-1875
Objet
est une
instance
de
Electrocardiogram
EKGNormal
est un
attribut
de
objet
objet
inclut une
r
�f�rence �
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Heart
l'argument
ImpairedBodyPartFn
Heart
est un
attribut
de
objet
a la
force
modale
de
Likely
(=>
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?EXP
Experimenting
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
exclusiveEvent
?EXP ?PROC))
(
exists
(?EXPERIMENTER)
(
and
(
instance
?EXPERIMENTER
AutonomousAgent
)
(
experimenter
?EXP ?EXPERIMENTER)
(
believes
?EXPERIMENTER
(
modalAttribute
(
causes
?EVP ?PROC)
Likely
)))))
UXExperimentalTerms.kif 4357-4374
Processus
est une
instance
de
processus
humain
est une
instance
de
AutonomousAgent
Experimenting
est une
instance
de
Experimenting
treatedUser
humain
and
Experimenting
experimentalVariableProcess
Experimenting
and
processus
humain
exp
�rimente
processus
humain
exp
�rimente
processus
exclusiveEvent
Experimenting
and
processus
Experimenting
ERIMENTER
Experimenting
ERIMENTER est une
instance
de
AutonomousAgent
experimenter
Experimenting
and
Experimenting
ERIMENTER
Experimenting
ERIMENTER
croit
l'argument
processus
cause
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
TelecomNumber
est une
instance
de
Hotline
telephoneNumber
TelecomNumber
and
AutonomousAgent
AutonomousAgent
est une
instance
de
organisation
TelecomNumber
a pour
but
entit�
entit�
est une
instance
de
Telephoning
entit�
aboutit
�
AutonomousAgent
l'argument
entit�
entit�
est une
instance
de
communication
TelecomNumber
est un
instrument
pour
entit�
le
d
�but de
temps
d'existence de
entit�
est
d
�but de immediatement
apr
�s
temps
d'existence de
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?HAZE ?PLACE))
(
holdsDuring
(
WhenFn
?HAZE)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2590-2598
Processus
est une
instance
de
AtmosphericHazing
objet
est une
instance
de
secteur g�ographique
eventLocated
processus
and
objet
l'argument
BadAirQuality
est un
attribut
de
objet
a la
force
modale
de
Likely
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
Processus
est une
instance
de
impacte
entit�
est un
patient
de
processus
ImpairedBodyPartFn
Brain
est un
attribut
de
entit�
pendant
immediatement
apr
�s
processus
l'argument
Concussion
est un
attribut
de
entit�
pendant
immediatement
apr
�s
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
pathologicSideEffect
?DC ?DIS))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?DIS)
(
experiencer
?H ?P)))
Likely
))
WMD.kif 1563-1575
Transf�re
est une
instance
de
ing�rer
AutonomousAgent
exp
�rimente
transf�re
objectTransferred
transf�re
and
objet
objet
est une
instance
de
objet
C
pathologicSideEffect
objet
C and
objet
IS
l'argument
entit�
entit�
est une
instance
de
objet
IS
entit�
exp
�rimente
AutonomousAgent
a la
force
modale
de
Likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
sideEffect
?DC ?DIS))
(
modalAttribute
(
attribute
?H ?DIS)
Likely
))
WMD.kif 1545-1554
Transf�re
est une
instance
de
ing�rer
AutonomousAgent
exp
�rimente
transf�re
objectTransferred
transf�re
and
objet
objet
est une
instance
de
objet
C
sideEffect
objet
C and
objet
IS
l'argument
objet
IS est un
attribut
de
AutonomousAgent
a la
force
modale
de
Likely
(=>
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?H)
(
instance
?H
Hallucinogen
)
(
destination
?I ?P))
(
modalAttribute
(
exists
(?HAL)
(
and
(
instance
?HAL
Hallucination
)
(
experiencer
?HAL ?P)))
Likely
))
TransnationalIssues.kif 88-99
Transf�re
est une
instance
de
ing�rer
objectTransferred
transf�re
and
objet
objet
est une
instance
de
Hallucinogen
transf�re
aboutit
�
entit�
l'argument
objet
AL
objet
AL est une
instance
de
Hallucination
entit�
exp
�rimente
objet
AL a la
force
modale
de
Likely
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
Transf�re
est une
instance
de
Injecting
objet
est une
instance
de
Adalimumab
objectTransferred
transf�re
and
objet
transf�re
est
situ
� �
objet
objet
est une
instance
de
partie du corps
transf�re
aboutit
�
entit�
l'argument
entit�
PainFn
objet
est un
attribut
de
entit�
pendant
entit�
entit�
prend place
pendant
apr
�s
temps
d'existence de
transf�re
a la
force
modale
de
Likely
(=>
(
and
(
instance
?I
Intestine
)
(
instance
?A
Animal
)
(
part
?I ?A))
(
modalAttribute
(
exists
(?E)
(
and
(
instance
?E
EscherichiaColi
)
(
contains
?I ?E)))
Likely
))
Medicine.kif 5490-5500
Objet
est une
instance
de
Intestine
objet
est une
instance
de
animal
objet
est une
partie
de
objet
l'argument
entit�
entit�
est une
instance
de
EscherichiaColi
objet
contient
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?L
LeafSpring
)
(
part
?L ?RV)
(
instance
?RV
RoadVehicle
))
(
modalAttribute
(
exists
(?L2)
(
and
(
instance
?L2
LeafSpring
)
(
part
?L2 ?RV)
(
not
(
equal
?L ?L2))
(
meetsSpatially
?L ?L2)))
Likely
))
Cars.kif 902-915
Objet
est une
instance
de
LeafSpring
objet
est une
partie
de
objet
objet
est une
instance
de
RoadVehicle
l'argument
objet
2
objet
2 est une
instance
de
LeafSpring
objet
2 est une
partie
de
objet
objet
est
objet
2
objet
rencontre
objet
2 a la
force
modale
de
Likely
(=>
(
and
(
instance
?L
Lupus
)
(
experiencer
?L ?H))
(
modalAttribute
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H)))
Likely
))
Medicine.kif 2265-2274
Processus
est une
instance
de
Lupus
AutonomousAgent
exp
�rimente
processus
l'argument
entit�
entit�
est une
instance
de
SkinRash
AutonomousAgent
exp
�rimente
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Diarrhoea
)
(
experiencer
?D ?H1)
(
causes
?P ?D)))
Likely
))
Medicine.kif 2735-2747
Processus
est une
instance
de
CeliacDisease
AutonomousAgent
exp
�rimente
processus
objet
est une
instance
de
SmallIntestine
objet
est une
partie
de
AutonomousAgent
l'argument
entit�
entit�
est une
instance
de
Diarrhoea
AutonomousAgent
exp
�rimente
entit�
processus
cause
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
located
?P ?SI)
Likely
))
Medicine.kif 2725-2733
Processus
est une
instance
de
CeliacDisease
AutonomousAgent
exp
�rimente
processus
objet
est une
instance
de
SmallIntestine
objet
est une
partie
de
AutonomousAgent
l'argument
processus
est
situ
� �
objet
a la
force
modale
de
Likely
(=>
(
and
(
instance
?POLICY
DailyHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY))
(
modalAttribute
(
exists
(?GUEST ?ROOM ?STAY)
(
and
(
guest
?GUEST ?AGENT)
(
stays
?GUEST ?ROOM)
(
equal
?STAY
(
WhenFn
(
stays
?GUEST ?ROOM)))
(
holdsDuring
?STAY
(
forall
(?DAY)
(=>
(
and
(
instance
?DAY
Day
)
(
during
?DAY ?STAY))
(
exists
(?RC)
(
and
(
instance
?RC
RoomCleaningService
)
(
patient
?RC ?ROOM)
(
during
?RC ?DAY))))))))
Likely
))
Hotel.kif 2654-2674
Policy
est une
instance
de
DailyHousekeepingPolicy
policyOwner
organisation
and
Policy
l'argument
entit�
entit�
and
entit�
guest
entit�
and
organisation
stays
entit�
and
entit�
entit�
est
temps
d'existence de
stays
entit�
and
entit�
entit�
entit�
est une
instance
de
jour
entit�
prend place
pendant
entit�
entit�
entit�
est une
instance
de
RoomCleaningService
entit�
est un
patient
de
entit�
entit�
prend place
pendant
entit�
pendant
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?POLICY
NoHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))
(
modalAttribute
(
exists
(?GUEST ?ROOM)
(
and
(
guest
?GUEST ?AGENT)
(
holdsDuring
(
WhenFn
(
stays
?GUEST ?ROOM))
(
not
(
exists
(?CLEAN)
(
and
(
instance
?CLEAN
RoomCleaningService
)
(
patient
?CLEAN ?ROOM)))))))
Likely
))
Hotel.kif 2681-2697
Policy
est une
instance
de
NoHousekeepingPolicy
policyOwner
organisation
and
Policy
TravelerAccommodation
est un
attribut
de
organisation
l'argument
entit�
entit�
guest
entit�
and
organisation
entit�
entit�
est une
instance
de
RoomCleaningService
entit�
est un
patient
de
entit�
pendant
temps
d'existence de
stays
entit�
and
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?POLICY
WithHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))
(
modalAttribute
(
exists
(?GUEST ?ROOM)
(
and
(
guest
?GUEST ?AGENT)
(
holdsDuring
(
WhenFn
(
stays
?GUEST ?ROOM))
(
exists
(?CLEAN)
(
and
(
instance
?CLEAN
RoomCleaningService
)
(
patient
?CLEAN ?ROOM))))))
Likely
))
Hotel.kif 2704-2719
Policy
est une
instance
de
WithHousekeepingPolicy
policyOwner
organisation
and
Policy
TravelerAccommodation
est un
attribut
de
organisation
l'argument
entit�
entit�
guest
entit�
and
organisation
entit�
entit�
est une
instance
de
RoomCleaningService
entit�
est un
patient
de
entit�
pendant
temps
d'existence de
stays
entit�
and
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?PV
PhysicalViolence
)
(
agent
?PV ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?PV)
(
attribute
?A
Anger
))
Likely
))
emotion.kif 1646-1654
Processus
est une
instance
de
PhysicalViolence
processus
est un
agent
de
AutonomousAgent
l'argument
colère
est un
attribut
de
AutonomousAgent
pendant
temps
d'existence de
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
AutonomousAgent
est une
instance
de
Restaurant
objet
est une
instance
de
DiningRoom
PrivateAttribute
est un
attribut
de
objet
AutonomousAgent
poss
�de
objet
customer
agent cognitif
and
AutonomousAgent
processus
est une
instance
de
manger
processus
est un
agent
de
agent cognitif
agent cognitif
est une
instance
de
GroupOfPeople
l'argument
entit�
entit�
customer
entit�
and
AutonomousAgent
agent cognitif
est
entit�
entit�
est une
instance
de
manger
entit�
est un
agent
de
entit�
eventLocated
entit�
and
objet
pendant
temps
d'existence de
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?S
Laughing
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1626-1634
Processus
est une
instance
de
Laughing
AutonomousAgent
exp
�rimente
processus
l'argument
bonheur
est un
attribut
de
AutonomousAgent
pendant
temps
d'existence de
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?S
SkinRash
)
(
experiencer
?S ?H))
(
modalAttribute
(
exists
(?I)
(
and
(
instance
?I
Itching
)
(
experiencer
?I ?H)
(
during
(
WhenFn
?I)
(
WhenFn
?S))))
Likely
))
Mid-level-ontology.kif 5749-5759
Processus
est une
instance
de
SkinRash
AutonomousAgent
exp
�rimente
processus
l'argument
entit�
entit�
est une
instance
de
Itching
AutonomousAgent
exp
�rimente
entit�
temps
d'existence de
entit�
prend place
pendant
temps
d'existence de
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?S
Smiling
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1614-1622
Processus
est une
instance
de
Smiling
AutonomousAgent
exp
�rimente
processus
l'argument
bonheur
est un
attribut
de
AutonomousAgent
pendant
temps
d'existence de
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?S
Spamming
)
(
instance
?G
GroupOfPeople
)
(
memberCount
?G ?N)
(
destination
?S ?G))
(
modalAttribute
(
greaterThan
?N 100)
Likely
))
ComputingBrands.kif 4187-4195
Processus
est une
instance
de
Spamming
collection
est une
instance
de
GroupOfPeople
memberCount
collection
and
nombre entier
processus
aboutit
�
collection
l'argument
nombre entier
est
plus
grand
que 100 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