Likely
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
modalAttribute
(
wants
?H ?SPAM)
Likely
)))
ComputingBrands.kif 4210-4220
Processus
est une
instance
de
Spamming
processus
PAM est le
resultat
de
processus
processus
est une
instance
de
Spam
entit�
est une
instance
de
humain
processus
aboutit
�
entit�
l'argument
entit�
veut
processus
PAM n' %n{pas} la
force
modale
de
Likely
(=>
(
and
(
instance
?S
Speaking
)
(
instance
?J
Jaw
)
(
agent
?S ?H)
(
part
?J ?H))
(
modalAttribute
(
exists
(?M)
(
and
(
instance
?M
BodyMotion
)
(
objectTransferred
?M ?J)
(
during
(
WhenFn
?M)
(
WhenFn
?S))))
Likely
))
Anatomy.kif 1664-1676
Processus
est une
instance
de
Speaking
objet
est une
instance
de
Jaw
processus
est un
agent
de
AutonomousAgent
objet
est une
partie
de
AutonomousAgent
l'argument
entit�
entit�
est une
instance
de
mouvement du corps
objectTransferred
entit�
and
objet
temps
d'existence de
entit�
prend place
pendant
temps
d'existence de
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?STEM
PlantStem
)
(
instance
?ROOT
PlantRoot
))
(
modalAttribute
(
orientation
?STEM ?ROOT
Above
)
Likely
))
Mid-level-ontology.kif 9538-9543
Entit�
est une
instance
de
PlantStem
entit�
est une
instance
de
PlantRoot
l'argument
entit�
est
Above
�
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
Interval temporel
est une
instance
de
TimePeriod
la
dur
�� de
interval temporel
est
nombre r�el
MinuteDuration
(s)
nombre r�el
est
plus
grand
que 5.0
entit�
est une
instance
de
humain
processus
processus
est une
instance
de
respirer
temps
d'existence de
processus
prend place
pendant
interval temporel
entit�
est un
patient
de
processus
l'argument
entit�
entit�
est une
instance
de
mort
entit�
exp
�rimente
entit�
interval temporel
rencontre
temps
d'existence de
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?V
Vending
)
(
objectTransferred
?V ?O)
(
not
(
instance
?O
Currency
)))
(
modalAttribute
(
or
(
instance
?O
(
FoodForFn
Human
))
(
instance
?O
Beverage
))
Likely
))
Mid-level-ontology.kif 1986-1995
Transf�re
est une
instance
de
Vending
objectTransferred
transf�re
and
objet
objet
est une
instance
de
Currency
l'argument
objet
est une
instance
de
FoodForFn
humain
objet
est une
instance
de
boisson
a la
force
modale
de
Likely
(=>
(
and
(
instance
?V
ViolentContest
)
(
patient
?V ?H)
(
attribute
?H
(
InjuryCausedFn
?PC))
(
attribute
?H
(
ImpairedBodyPartFn
Airway
)))
(
modalAttribute
(
or
(
subclass
?PC
Combustion
)
(
exists
(?FI)
(
and
(
instance
?I
Injuring
)
(
located
?I ?F)
(
instance
?F
Face
)
(
patient
?I ?H))))
Likely
))
Medicine.kif 698-715
Processus
est une
instance
de
affrontement violent
objet
est un
patient
de
processus
InjuryCausedFn
processus
est un
attribut
de
objet
ImpairedBodyPartFn
Airway
est un
attribut
de
objet
l'argument
processus
est une
sous
-classe de
combustion
entit�
entit�
est une
instance
de
blesser
entit�
est
situ
� �
entit�
entit�
est une
instance
de
Face
objet
est un
patient
de
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?W
Weeping
)
(
experiencer
?W ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?W)
(
attribute
?A
Sadness
))
Likely
))
emotion.kif 1602-1610
Processus
est une
instance
de
Weeping
AutonomousAgent
exp
�rimente
processus
l'argument
tristesse
est un
attribut
de
AutonomousAgent
pendant
temps
d'existence de
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?W
Weightlifting
)
(
agent
?W ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
AnaerobicExerciseDevice
)
(
instrument
?W ?D)))
Likely
))
Sports.kif 796-805
Processus
est une
instance
de
Weightlifting
processus
est un
agent
de
AutonomousAgent
l'argument
entit�
entit�
est une
instance
de
AnaerobicExerciseDevice
entit�
est un
instrument
pour
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?X
Buffet
)
(
attribute
?X
Breakfast
))
(
modalAttribute
(
forall
(?FOOD)
(=>
(
member
?FOOD ?X)
(
attribute
?FOOD
Breakfast
)))
Likely
))
Dining.kif 295-303
Objet
est une
instance
de
Buffet
Breakfast
est un
attribut
de
objet
l'argument
entit�
entit�
est un
membre
de
objet
Breakfast
est un
attribut
de
entit�
a la
force
modale
de
Likely
(=>
(
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
(
not
(
holdsDuring
?T1
(
attribute
?H
Concussion
)))
(
holdsDuring
?T2
(
attribute
?H
Concussion
))
(
meetsTemporally
?T1 ?T2))
(
modalAttribute
(
holdsDuring
(
BeginFn
?T2)
(
attribute
?H
Unconscious
))
Likely
))
Medicine.kif 1314-1326
Concussion
est un
attribut
de
entit�
pendant
interval temporel
Concussion
est un
attribut
de
entit�
pendant
interval temporel
interval temporel
rencontre
interval temporel
l'argument
inconscient
est un
attribut
de
entit�
pendant
le
d
�but de
interval temporel
a la
force
modale
de
Likely
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validFor
?PS ?CUSTCLASS)
(
instance
?CUSTOMER ?CUSTCLASS))
(
modalAttribute
(=>
(
and
(
instance
?B
Buying
)
(
agent
?B ?CUSTOMER)
(
origin
?B ?AGENT)
(
patient
?B ?ITEM))
(
transactionAmount
?B ?PRICE))
Likely
))
Catalog.kif 354-370
publishedPrice
entit�
,
mesure de devise
,
agent cognitif
and
PricingScheme
unitPrice
entit�
,
function de quantit�
,
agent cognitif
and
PricingScheme
entit�
est une
sous
-classe de
physique
entit�
est une
instance
imm�diate de
entit�
validFor
PricingScheme
and
AutonomousAgent
entit�
est une
instance
de
AutonomousAgent
l'argument
entit�
est une
instance
de
acheter
entit�
est un
agent
de
entit�
entit�
a pour
origine
agent cognitif
entit�
est un
patient
de
entit�
transactionAmount
entit�
and
mesure de devise
a la
force
modale
de
Likely
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
publishedPrice
entit�
,
mesure de devise
,
agent cognitif
and
PricingScheme
unitPrice
entit�
,
function de quantit�
,
agent cognitif
and
PricingScheme
entit�
est une
sous
-classe de
physique
entit�
est une
instance
imm�diate de
entit�
validityPeriod
PricingScheme
and
interval temporel
l'argument
entit�
est une
instance
de
vendre
entit�
est un
agent
de
agent cognitif
entit�
est un
patient
de
entit�
transactionAmount
entit�
and
mesure de devise
a la
force
modale
de
Likely
pendant
interval temporel
(=>
(
and
(
productPrice
?ENT
(
MeasureFn
?PRICE1 ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
publishedPrice
?ENT
(
MeasureFn
?PRICE2 ?U) ?AGENT ?PS)
(
validFor
?PS ?CUSTCLASS)
(
instance
?ITEM ?ENT)
(
instance
?B
Buying
)
(
immediateInstance
?CUST ?CUSTCLASS)
(
agent
?B ?CUST)
(
origin
?B ?AGENT)
(
lessThan
?PRICE2 ?PRICE1))
(
modalAttribute
(
transactionAmount
?B ?PRICE1)
Likely
))
Catalog.kif 430-445
productPrice
entit�
,
nombre r�el
unit� de mesure
(s) and
agent cognitif
unit� de mesure
est une
instance
de
UnitOfCurrency
publishedPrice
entit�
,
nombre r�el
unit� de mesure
(s),
agent cognitif
and
PricingScheme
validFor
PricingScheme
and
AutonomousAgent
entit�
est une
instance
de
entit�
processus
est une
instance
de
acheter
AutonomousAgent
est une
instance
imm�diate de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
agent cognitif
nombre r�el
est
moins
que
nombre r�el
l'argument
transactionAmount
processus
and
nombre r�el
a la
force
modale
de
Likely
(=>
(
and
(
reservationStart
?TIME1 ?R)
(
reservationEnd
?TIME2 ?R)
(
reservingEntity
?CUST ?R)
(
fulfillingEntity
?AGENT ?R))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST))))
Likely
))
Dining.kif 711-724
reservationStart
point temporel
and
Reservation
reservationEnd
point temporel
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
l'argument
entit�
entit�
est une
instance
de
processus intentionnel
entit�
est un
agent
de
AutonomousAgent
entit�
aboutit
�
AutonomousAgent
pendant
l'
intervale
entre
point temporel
et
point temporel
a la
force
modale
de
Likely
(=>
(
and
(
reservedPackage
?RESERVE ?PACKAGE)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PACKAGE)
(
experiencer
?PROC ?CUST)))
Likely
))
Hotel.kif 2973-2981
reservedPackage
Reservation
and
proposition
reservingEntity
Reservation
and
Reservation
l'argument
entit�
entit�
exprime
le contenu de
proposition
Reservation
exp
�rimente
entit�
a la
force
modale
de
Likely
(=>
(
and
(
reservedRoom
?RESERVE ?ROOMTYPE)
(
reservationStart
?RESERVE ?TIME1)
(
reservationEnd
?RESERVE ?TIME2)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?X)
(
and
(
instance
?X ?ROOMTYPE)
(
stays
?CUST ?X))))
Likely
))
Hotel.kif 2951-2963
reservedRoom
HotelReservation
and
HotelUnit
reservationStart
HotelReservation
and
Reservation
reservationEnd
HotelReservation
and
Reservation
reservingEntity
HotelReservation
and
Reservation
l'argument
entit�
entit�
est une
instance
de
HotelUnit
stays
Reservation
and
entit�
pendant
l'
intervale
entre
Reservation
et
Reservation
a la
force
modale
de
Likely
(=>
(
and
(
roastedToTemperature
?B ?T)
(
instance
?B
CoffeeBean
)
(
instance
?T
RealNumber
))
(
modalAttribute
(
exists
(?R)
(
and
(
instance
?R
DryRoasting
)
(
patient
?R ?B)))
Likely
))
Food.kif 479-488
roastedToTemperature
nourriture
and
nombre r�el
nourriture
est une
instance
de
CoffeeBean
nombre r�el
est une
instance
de
nombre r�el
l'argument
entit�
entit�
est une
instance
de
DryRoasting
nourriture
est un
patient
de
entit�
a la
force
modale
de
Likely
(=>
(
and
(
subclass
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15188-15209
Classe
est une
sous
-classe de
tissu
classe
est une
sous
-classe de
tissu
objet
est une
instance
de
classe
objet
est une
instance
de
classe
objet
est une
instance
de
humain
objet
est une
partie
de
objet
objet
est une
partie
de
objet
classe
est
classe
classe
est une
sous
-classe de
classe
classe
est une
sous
-classe de
classe
objet
est
Adjacent
�
objet
l'argument
entit�
entit�
est une
instance
de
ConnectiveTissue
entit�
est
entre
objet
et
objet
a la
force
modale
de
Likely
(=>
(
and
(
watchingListings
?USER ?COLL ?SITE)
(
instance
?LISTING
WebListing
)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ)
(
member
?LISTING ?COLL))
(
modalAttribute
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER))))
Likely
))
UXExperimentalTerms.kif 1257-1271
watchingListings
AutonomousAgent
,
collection
and
WebSite
processus
est une
instance
de
WebListing
entit�
est une
instance
de
objet
entit�
est un
patient
de
processus
processus
est un
membre
de
collection
l'argument
AutonomousAgent
desire
entit�
entit�
est une
instance
de
acheter
entit�
est un
patient
de
entit�
entit�
est un
agent
de
AutonomousAgent
a la
force
modale
de
Likely
(=>
(
and
(
workLocation
?O ?S)
(
member
?P ?O)
(
instance
?W
Working
)
(
agent
?W ?P))
(
modalAttribute
(
located
?W ?S)
Likely
))
Mid-level-ontology.kif 20534-20542
workLocation
organisation
and
artefact stationnaire
AutonomousAgent
est un
membre
de
organisation
processus
est une
instance
de
Working
processus
est un
agent
de
AutonomousAgent
l'argument
processus
est
situ
� �
artefact stationnaire
a la
force
modale
de
Likely
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
equal
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 29829-29833
approximateValue
nombre r�el
and
nombre r�el
l'argument
nombre r�el
est
nombre r�el
a la
force
modale
de
Likely
(=>
(
attribute
?H
Pyelonephritis
)
(
modalAttribute
(
exists
(?B ?K)
(
and
(
instance
?B
Bacterium
)
(
instance
?K
Kidney
)
(
part
?K ?H)
(
located
?B ?K)))
Likely
))
Medicine.kif 5065-5074
Pyelonephritis
est un
attribut
de
objet
l'argument
entit�
entit�
entit�
est une
instance
de
bact�rie
entit�
est une
instance
de
Kidney
entit�
est une
partie
de
objet
entit�
est
situ
� �
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