Likely
(=>
(
holdsDuring
?T
(
attribute
?H
Hypersalivation
))
(
modalAttribute
(
exists
(?S)
(
and
(
experiencer
?S ?H)
(
during
(
WhenFn
?S) ?T)
(
or
(
instance
?S
Spitting
)
(
instance
?S
Drooling
)
(
instance
?S
Nausea
))))
Likely
))
Medicine.kif 5326-5340
Hypersalivation
est un
attribut
de
entit�
pendant
position temporel
l'argument
entit�
entit�
exp
�rimente
entit�
temps
d'existence de
entit�
prend place
pendant
position temporel
entit�
est une
instance
de
Spitting
entit�
est une
instance
de
Drooling
entit�
est une
instance
de
Nausea
a la
force
modale
de
Likely
(=>
(
instance
?C
Cell
)
(
modalAttribute
(
or
(
cellShape
?C
Sphere
)
(
cellShape
?C
Cylinder
))
Likely
))
VirusProteinAndCellPart.kif 418-423
Entit�
est une
instance
de
cellule
l'argument
cellShape
entit�
and
Sphere
cellShape
entit�
and
Cylinder
a la
force
modale
de
Likely
(=>
(
instance
?CAC
Cactus
)
(
modalAttribute
(
exists
(?AREA)
(
and
(
instance
?AREA
GeographicArea
)
(
located
?CAC ?AREA)
(
exists
(?D)
(
and
(
instance
?D
Drought
)
(
eventLocated
?D ?AREA)))))
Likely
))
Geography.kif 6302-6312
Entit�
est une
instance
de
Cactus
l'argument
entit�
entit�
est une
instance
de
secteur g�ographique
entit�
est
situ
� �
entit�
entit�
entit�
est une
instance
de
Drought
eventLocated
entit�
and
entit�
a la
force
modale
de
Likely
(=>
(
instance
?CLOTHING
Clothing
)
(
modalAttribute
(
exists
(?FABRIC)
(
and
(
instance
?FABRIC
Fabric
)
(
part
?FABRIC ?CLOTHING)))
Likely
))
Merge.kif 15927-15934
Entit�
est une
instance
de
v�tement
l'argument
entit�
entit�
est une
instance
de
textile
entit�
est une
partie
de
entit�
a la
force
modale
de
Likely
(=>
(
instance
?DISEASE
VaccinatableDisease
)
(
exists
(?VACCINE ?HUMAN ?PUT)
(
and
(
instance
?VACCINE
Vaccine
)
(
instance
?PUT
Putting
)
(
destination
?PUT ?HUMAN)
(
instance
?HUMAN
Human
)
(
modalAttribute
(
holdsDuring
(
FutureFn
(
WhenFn
?PUT))
(
not
(
attribute
?HUMAN ?DISEASE)))
Likely
))))
WMD.kif 1046-1059
Entit�
est une
instance
de
VaccinatableDisease
entit�
entit�
and
processus
entit�
est une
instance
de
Vaccine
processus
est une
instance
de
mettre
processus
aboutit
�
entit�
entit�
est une
instance
de
humain
l'argument
entit�
est un
attribut
de
entit�
pendant
apr
�s
temps
d'existence de
processus
a la
force
modale
de
Likely
(=>
(
instance
?DRIZZLE
Drizzling
)
(
exists
(?CLTN ?R ?SIZE)
(
and
(
instance
?CLTN
Collection
)
(
instance
?R
Water
)
(
instance
?R
LiquidDrop
)
(
member
?R ?CLTN)
(
objectTransferred
?DRIZZLE ?CLTN)
(
approximateDiameter
?R
(
MeasureFn
?SIZE
Millimeter
))
(
modalAttribute
(
lessThanOrEqualTo
?SIZE 0.5)
Likely
))))
Weather.kif 2799-2811
Transf�re
est une
instance
de
Drizzling
collection
objet en une partie
and
nombre r�el
collection
est une
instance
de
collection
objet en une partie
est une
instance
de
eau
objet en une partie
est une
instance
de
LiquidDrop
objet en une partie
est un
membre
de
collection
objectTransferred
transf�re
and
collection
approximateDiameter
objet en une partie
and
nombre r�el
Millimeter
(s) l'argument
nombre r�el
est plus
petit
ou �gal � 0.5 a la
force
modale
de
Likely
(=>
(
instance
?DS
DrugStore
)
(
modalAttribute
(
exists
(?P)
(
and
(
attribute
?P
Pharmacist
)
(
employs
?DS ?P)))
Likely
))
Medicine.kif 3122-3129
Entit�
est une
instance
de
DrugStore
l'argument
entit�
Pharmacist
est un
attribut
de
entit�
entit�
emploie
entit�
a la
force
modale
de
Likely
(=>
(
instance
?F
FaecalibacteriumPrausnitzii
)
(
modalAttribute
(
exists
(?H ?G)
(
and
(
instance
?H
Human
)
(
instance
?G
GastroIntestinalTract
)
(
part
?G ?H)
(
located
?F ?G)))
Likely
))
Medicine.kif 5285-5294
Entit�
est une
instance
de
FaecalibacteriumPrausnitzii
l'argument
entit�
entit�
entit�
est une
instance
de
humain
entit�
est une
instance
de
GastroIntestinalTract
entit�
est une
partie
de
entit�
entit�
est
situ
� �
entit�
a la
force
modale
de
Likely
(=>
(
instance
?G
ResidentialGarden
)
(
modalAttribute
(
exists
(?F)
(
and
(
instance
?F
Fence
)
(
orientation
?G ?F
Surrounded
)))
Likely
))
Mid-level-ontology.kif 8187-8193
Entit�
est une
instance
de
ResidentialGarden
l'argument
entit�
entit�
est une
instance
de
Fence
entit�
est
Surrounded
�
entit�
a la
force
modale
de
Likely
(=>
(
instance
?I
Intestinimonas
)
(
modalAttribute
(
exists
(?IN)
(
and
(
instance
?IN
Intestine
)
(
located
?I ?IN)))
Likely
))
Medicine.kif 4416-4423
Entit�
est une
instance
de
Intestinimonas
l'argument
entit�
N
entit�
N est une
instance
de
Intestine
entit�
est
situ
� �
entit�
N a la
force
modale
de
Likely
(=>
(
instance
?P
Parasite
)
(
modalAttribute
(
exists
(?H ?PROC)
(
and
(
located
?P ?H)
(
involvedInEvent
?PROC ?P)
(
involvedInEvent
?PROC ?H)
(
benefits
?PROC ?P)
(
suffers
?PROC ?H)))
Likely
))
Mid-level-ontology.kif 5893-5903
Entit�
est une
instance
de
Parasite
l'argument
entit�
entit�
ROC
entit�
est
situ
� �
entit�
involvedInEvent
entit�
ROC and
entit�
involvedInEvent
entit�
ROC and
entit�
benefits
entit�
ROC and
entit�
suffers
entit�
ROC and
entit�
a la
force
modale
de
Likely
(=>
(
instance
?P
Succulent
)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Drought
)
(
experiencer
?D ?P)
(
attribute
?P
Living
)))
Likely
))
Geography.kif 6286-6293
Entit�
est une
instance
de
Succulent
l'argument
entit�
entit�
est une
instance
de
Drought
entit�
exp
�rimente
entit�
Living
est un
attribut
de
entit�
a la
force
modale
de
Likely
(=>
(
instance
?PAPER
Paper
)
(
modalAttribute
(
hasPurpose
?PAPER
(
exists
(?TEXT)
(
and
(
instance
?TEXT
Text
)
(
part
?TEXT ?PAPER))))
Likely
))
Mid-level-ontology.kif 3574-3582
Entit�
est une
instance
de
Paper
l'argument
entit�
a pour
but
entit�
entit�
est une
instance
de
texte
entit�
est une
partie
de
entit�
a la
force
modale
de
Likely
(=>
(
instance
?PARK
Park
)
(
modalAttribute
(
exists
(?G)
(
and
(
instance
?G
Garden
)
(
located
?G ?PARK)))
Likely
))
Mid-level-ontology.kif 8115-8121
Entit�
est une
instance
de
Park
l'argument
entit�
entit�
est une
instance
de
Garden
entit�
est
situ
� �
entit�
a la
force
modale
de
Likely
(=>
(
instance
?RV
RecreationalVehicle
)
(
modalAttribute
(
exists
(?BED ?DINING ?KITCHEN)
(
and
(
instance
?BED
Bed
)
(
instance
?DINING
DiningArea
)
(
instance
?KITCHEN
KitchenArea
)
(
located
?BED ?RV)
(
located
?DINING ?RV)
(
located
?KITCHEN ?RV)))
Likely
))
Mid-level-ontology.kif 25758-25768
Entit�
est une
instance
de
RecreationalVehicle
l'argument
entit�
entit�
and
entit�
entit�
est une
instance
de
Bed
entit�
est une
instance
de
DiningArea
entit�
est une
instance
de
KitchenArea
entit�
est
situ
� �
entit�
entit�
est
situ
� �
entit�
entit�
est
situ
� �
entit�
a la
force
modale
de
Likely
(=>
(
instance
?STORM
Storm
)
(
holdsDuring
(
WhenFn
?STORM)
(
modalAttribute
(
exists
(?P ?AREA)
(
and
(
instance
?P
Precipitation
)
(
instance
?AREA
GeographicArea
)
(
eventLocated
?P ?AREA)
(
subProcess
?P ?STORM)))
Likely
)))
Weather.kif 2889-2899
Physique
est une
instance
de
Storm
l'argument
entit�
entit�
entit�
est une
instance
de
Precipitation
entit�
est une
instance
de
secteur g�ographique
eventLocated
entit�
and
entit�
entit�
est un
sous
-processus de
physique
a la
force
modale
de
Likely
pendant
temps
d'existence de
physique
(=>
(
instance
?TW
TapWater
)
(
modalAttribute
(
instance
?TW
(
FoodForFn
Human
))
Likely
))
Food.kif 285-289
Entit�
est une
instance
de
TapWater
l'argument
entit�
est une
instance
de
FoodForFn
humain
a la
force
modale
de
Likely
(=>
(
instance
?X
BusinessCenter
)
(
modalAttribute
(
exists
(?COMP)
(
and
(
instance
?COMP
Computer
)
(
located
?COMP ?X)))
Likely
))
Hotel.kif 1670-1676
Entit�
est une
instance
de
BusinessCenter
l'argument
entit�
entit�
est une
instance
de
Computer
entit�
est
situ
� �
entit�
a la
force
modale
de
Likely
(=>
(
instance
?X
BusinessCenter
)
(
modalAttribute
(
exists
(?IC)
(
and
(
instance
?IC
InternetConnection
)
(
located
?IC ?X)))
Likely
))
Hotel.kif 1678-1684
Entit�
est une
instance
de
BusinessCenter
l'argument
entit�
entit�
est une
instance
de
InternetConnection
entit�
est
situ
� �
entit�
a la
force
modale
de
Likely
(=>
(
instance
?X
GrabBar
)
(
modalAttribute
(
exists
(?HUMAN)
(
and
(
attribute
?HUMAN
PhysicalDisability
)
(
inScopeOfInterest
?HUMAN ?X)))
Likely
))
Mid-level-ontology.kif 26483-26489
Entit�
est une
instance
de
GrabBar
l'argument
entit�
PhysicalDisability
est un
attribut
de
entit�
entit�
est
interess
� par
entit�
a la
force
modale
de
Likely
(=>
(
instance
?X
Lanai
)
(
exists
(?ROOF)
(
and
(
instance
?ROOF
Roof
)
(
part
?ROOF ?X)
(
modalAttribute
(
exists
(?AREA)
(
and
(
instance
?AREA
SittingArea
)
(
located
?AREA ?X)))
Likely
))))
Mid-level-ontology.kif 26643-26653
Objet
est une
instance
de
Lanai
objet
objet
est une
instance
de
Roof
objet
est une
partie
de
objet
l'argument
entit�
entit�
est une
instance
de
SittingArea
entit�
est
situ
� �
objet
a la
force
modale
de
Likely
(=>
(
instance
?X
Patio
)
(
and
(
modalAttribute
(
attribute
?X
Paved
)
Likely
)
(
exists
(?BLDG)
(
and
(
instance
?BLDG
Building
)
(
orientation
?X ?BLDG
Adjacent
)
(
located
?X
Outdoors
)))))
Mid-level-ontology.kif 26627-26636
Objet
est une
instance
de
Patio
l'argument
Paved
est un
attribut
de
objet
a la
force
modale
de
Likely
objet
objet
est une
instance
de
immeuble
objet
est
Adjacent
�
objet
objet
est
situ
� �
Outdoors
(=>
(
instance
?X
SecurityUnit
)
(
modalAttribute
(
exists
(?S)
(
and
(
instance
?S
SurveillanceSystem
)
(
inScopeOfInterest
?X ?S)))
Likely
))
Mid-level-ontology.kif 26989-26995
Entit�
est une
instance
de
SecurityUnit
l'argument
entit�
entit�
est une
instance
de
SurveillanceSystem
entit�
est
interess
� par
entit�
a la
force
modale
de
Likely
(=>
(
instance
?X
TravelReservation
)
(
modalAttribute
(
exists
(?FLIGHT)
(
and
(
instance
?FLIGHT
FlightReservation
)
(
subProposition
?FLIGHT ?X)))
Likely
))
Hotel.kif 2824-2830
Entit�
est une
instance
de
TravelReservation
l'argument
entit�
entit�
est une
instance
de
FlightReservation
entit�
est une
sous
-proposition de
entit�
a la
force
modale
de
Likely
(=>
(
productPrice
?ENT ?PRICE ?AGENT)
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
immediateInstance
?I ?ENT)
(
patient
?S ?I)
(
agent
?S ?AGENT))
(
transactionAmount
?S ?PRICE))
Likely
))
Catalog.kif 419-428
productPrice
entit�
,
mesure de devise
and
agent cognitif
l'argument
entit�
est une
instance
de
vendre
entit�
est une
instance
imm�diate de
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
transactionAmount
entit�
and
mesure de devise
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