Collection
(collection)
(=>
(
instance
?B
Bus
)
(
hasPurpose
?B
(
exists
(?C ?T ?N ?P)
(
and
(
instance
?C
Collection
)
(
instance
?T
Transportation
)
(
memberCount
?C ?N)
(
greaterThan
?N 11)
(=>
(
member
?P ?C)
(
patient
?T ?P))))))
Transportation.kif 1972-1983
Physique
est une
instance
de
Bus
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
collection
entit�
est une
instance
de
transporter
memberCount
entit�
and
entit�
entit�
est
plus
grand
que 11
entit�
est un
membre
de
entit�
entit�
est un
patient
de
entit�
(=>
(
instance
?BF
BowlingFacility
)
(
exists
(?BL)
(
and
(
instance
?BL
Collection
)
(
memberType
?BL
BowlingLane
)
(
located
?BL ?BF))))
Sports.kif 1162-1168
Objet
est une
instance
de
BowlingFacility
collection
collection
est une
instance
de
collection
memberType
collection
and
BowlingLane
collection
est
situ
� �
objet
(=>
(
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 2803-2815
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
?DROP
Raindrop
)
(
exists
(?RAIN)
(
and
(
instance
?RAIN
Rain
)
(
instance
?RAIN
Collection
)
(
member
?DROP ?RAIN))))
Weather.kif 2981-2987
Physique
est une
instance
de
Raindrop
collection
collection
est une
instance
de
Rain
collection
est une
instance
de
collection
physique
est un
membre
de
collection
(=>
(
instance
?EM
EspressoMaking
)
(
holdsDuring
?EM
(
exists
(?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)
(
and
(
instance
?H
Heating
)
(
patient
?H ?W)
(
measure
?W
(
MeasureFn
?V
Liter
))
(
approximateValue
?V 0.03)
(
holdsDuring
(
EndFn
(
WhenFn
?H))
(
and
(
measure
?W
(
MeasureFn
?T
CelsiusDegree
))
(
approximateValue
?T 90)))
(
instance
?LM
LiquidMotion
)
(
patient
?LM ?W)
(
holdsDuring
?LM
(
and
(
measure
?W
(
MeasureFn
?P
(
KiloFn
Pascal
)))
(
approximateValue
?P 900)))
(
destination
?LM ?COLL)
(
instance
?COLL
Collection
)
(
measure
?COLL
(
MeasureFn
?K
Gram
))
(
approximateValue
?K 7.5)
(
member
?COLL ?CG)
(
instance
?CG
CoffeeGrind
)
(
attribute
?CG
FineGrind
)
(
located
?COLL ?F)
(
instance
?F
Filter
)
(
instance
?R
Removing
)
(
instrument
?R ?F)
(
patient
?R ?COLL)
(
temporallyBetween
(
EndFn
(
WhenFn
?H))
(
EndFn
(
WhenFn
?LM))
(
EndFn
(
WhenFn
?R)))))))
Food.kif 799-834
Position temporel
est une
instance
de
EspressoMaking
entit�
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
r�chauffer
entit�
est un
patient
de
entit�
la
mesure
de
entit�
est
entit�
Liter
(s)
approximateValue
entit�
and 0.03 la
mesure
de
entit�
est
entit�
CelsiusDegree
(s)
approximateValue
entit�
and 90
pendant
la
fin
de
temps
d'existence de
entit�
entit�
est une
instance
de
LiquidMotion
entit�
est un
patient
de
entit�
la
mesure
de
entit�
est
entit�
1
millier
Pascal
s(s)
approximateValue
entit�
and 900
pendant
entit�
entit�
aboutit
�
entit�
entit�
est une
instance
de
collection
la
mesure
de
entit�
est
entit�
Gram
(s)
approximateValue
entit�
and 7.5
entit�
est un
membre
de
entit�
entit�
est une
instance
de
CoffeeGrind
FineGrind
est un
attribut
de
entit�
entit�
est
situ
� �
entit�
entit�
est une
instance
de
Filter
entit�
est une
instance
de
supprimer
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
la
fin
de
temps
d'existence de
entit�
est
entre
la
fin
de
temps
d'existence de
entit�
et la
fin
de
temps
d'existence de
entit�
pendant
position temporel
(=>
(
instance
?EXPERIMENT
Experimenting
)
(
exists
(?QUALIFYING_EVENTS)
(
and
(
instance
?QUALIFYING_EVENTS
Collection
)
(
forall
(?EVENT)
(=>
(
and
(
instance
?EVENT
Process
)
(
or
(
experimentalControlProcess
?EXPERIMENT ?EVENT)
(
experimentalVariableProcess
?EXPERIMENT ?EVENT)))
(
member
?EVENT ?QUALIFYING_EVENTS)))
(
equal
(
QualifyingEventsFn
?EXPERIMENT) ?QUALIFYING_EVENTS))))
UXExperimentalTerms.kif 4208-4223
Experimenting
est une
instance
de
Experimenting
entit�
_EVENTS
entit�
_EVENTS est une
instance
de
collection
processus
processus
est une
instance
de
processus
experimentalControlProcess
Experimenting
and
processus
experimentalVariableProcess
Experimenting
and
processus
processus
est un
membre
de
entit�
_EVENTS
QualifyingEventsFn
Experimenting
est
entit�
_EVENTS
(=>
(
instance
?EXPERIMENT
Experimenting
)
(
exists
(?TREATED_USERS)
(
and
(
instance
?TREATED_USERS
Collection
)
(
forall
(?USER)
(=>
(
and
(
instance
?USER
Human
)
(
treatedUser
?USER ?EXPERIMENT))
(
member
?USER ?TREATED_USERS)))
(
equal
(
TreatedUsersFn
?EXPERIMENT) ?TREATED_USERS))))
UXExperimentalTerms.kif 4281-4293
Experimenting
est une
instance
de
Experimenting
entit�
_USERS
entit�
_USERS est une
instance
de
collection
humain
humain
est une
instance
de
humain
treatedUser
humain
and
Experimenting
humain
est un
membre
de
entit�
_USERS
TreatedUsersFn
Experimenting
est
entit�
_USERS
(=>
(
instance
?LGP
LargeGroupProcess
)
(
exists
(?G ?M)
(
and
(
instance
?G
Collection
)
(
member
?M ?G)
(
memberType
?G
AutonomousAgent
))))
Mid-level-ontology.kif 7932-7938
Entit�
est une
instance
de
LargeGroupProcess
collection
physique
collection
est une
instance
de
collection
physique
est un
membre
de
collection
memberType
collection
and
AutonomousAgent
(=>
(
instance
?P
Polymer
)
(
exists
(?COLL ?M)
(
and
(
equal
?P ?COLL)
(
instance
?COLL
Collection
)
(
member
?M ?COLL)
(
instance
?M
Monomer
))))
VirusProteinAndCellPart.kif 72-79
Entit�
est une
instance
de
Polymer
collection
physique
entit�
est
collection
collection
est une
instance
de
collection
physique
est un
membre
de
collection
physique
est une
instance
de
Monomer
(=>
(
instance
?PROCESS
Sleeting
)
(
exists
(?STUFF ?R ?S ?MELT)
(
and
(
instance
?STUFF
Collection
)
(
objectTransferred
?PROCESS ?STUFF)
(
instance
?R
Raindrop
)
(
instance
?S
Snowflake
)
(
member
?R ?STUFF)
(
member
?S ?STUFF)
(
instance
?MELT
Melting
)
(
subProcess
?MELT ?PROCESS)
(
patient
?MELT ?S))))
Weather.kif 1158-1170
Transf�re
est une
instance
de
Sleeting
collection
physique
,
physique
and
processus
collection
est une
instance
de
collection
objectTransferred
transf�re
and
collection
physique
est une
instance
de
Raindrop
physique
est une
instance
de
Snowflake
physique
est un
membre
de
collection
physique
est un
membre
de
collection
processus
est une
instance
de
mettre en fusion
processus
est un
sous
-processus de
transf�re
physique
est un
patient
de
processus
(=>
(
instance
?RAIN
Raining
)
(
exists
(?CLTN ?R ?CLASS)
(
and
(
instance
?CLTN
Collection
)
(
instance
?R
Water
)
(
instance
?R
LiquidDrop
)
(
instance
?R ?CLASS
(
member
?R ?CLTN)
(
objectTransferred
?RAIN ?CLTN)
(
defaultMinimumSphereRadius
?CLASS
(
MeasureFn
0.1
Millimeter
))
(
defaultMaximumSphereRadius
?CLASS
(
MeasureFn
9.0
Millimeter
))))))
Weather.kif 1057-1070
Entit�
est une
instance
de
Raining
entit�
entit�
and
classe
entit�
est une
instance
de
collection
entit�
est une
instance
de
eau
entit�
est une
instance
de
LiquidDrop
entit�
est une
instance
de
classe
(=>
(
instance
?ROOM
SelfServiceLaundry
)
(
exists
(?WASHER ?DRYER)
(
and
(
instance
?WASHER
Collection
)
(
memberType
?WASHER
ClothesWashingMachine
)
(
located
?WASHER ?ROOM)
(
instance
?DRYER
Collection
)
(
memberType
?DRYER
ClothesDryer
)
(
located
?DRYER ?ROOM))))
Mid-level-ontology.kif 25402-25411
Objet
est une
instance
de
SelfServiceLaundry
collection
collection
collection
est une
instance
de
collection
memberType
collection
and
ClothesWashingMachine
collection
est
situ
� �
objet
collection
est une
instance
de
collection
memberType
collection
and
ClothesDryer
collection
est
situ
� �
objet
(=>
(
instance
?S
Snowflake
)
(
exists
(?SNOW)
(
and
(
instance
?SNOW
Snow
)
(
instance
?SNOW
Collection
)
(
member
?S ?SNOW))))
Weather.kif 3013-3019
Physique
est une
instance
de
Snowflake
physique
NOW
physique
NOW est une
instance
de
Snow
physique
NOW est une
instance
de
collection
physique
est un
membre
de
physique
NOW
(=>
(
instance
?SNOW
Snowing
)
(
exists
(?CLTN ?I)
(
and
(
instance
?CLTN
Collection
)
(
instance
?I
Ice
)
(
attribute
?I
MonoCrystalline
)
(
member
?I ?CLTN)
(
objectTransferred
?SNOW ?CLTN))))
Weather.kif 1141-1149
Transf�re
est une
instance
de
Snowing
collection
objet
collection
est une
instance
de
collection
objet
est une
instance
de
Ice
MonoCrystalline
est un
attribut
de
objet
objet
est un
membre
de
collection
objectTransferred
transf�re
and
collection
(=>
(
instance
?STUFF
Hailstone
)
(
exists
(?PROCESS ?CLTN)
(
and
(
instance
?PROCESS
Hailing
)
(
instance
?CLTN
Collection
)
(
objectTransferred
?PROCESS ?CLTN)
(
member
?STUFF ?CLTN))))
Weather.kif 3074-3081
Physique
est une
instance
de
Hailstone
transf�re
collection
transf�re
est une
instance
de
Hailing
collection
est une
instance
de
collection
objectTransferred
transf�re
and
collection
physique
est un
membre
de
collection
(=>
(
instance
?X
Chromotin
)
(
exists
(?COLL ?N)
(
and
(
instance
?COLL
Collection
)
(
located
?COLL ?X)
(
member
?COLL ?N)
(
instance
?N
Nucleosome
))))
VirusProteinAndCellPart.kif 610-617
Objet
est une
instance
de
Chromotin
physique
collection
physique
est une
instance
de
collection
physique
est
situ
� �
objet
physique
est un
membre
de
collection
collection
est une
instance
de
Nucleosome
(=>
(
instance
?X
ElectricalOutlet
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
Collection
)
(
memberType
?HOLE
HoleRegion
)
(
part
?HOLE ?X))))
Mid-level-ontology.kif 25911-25917
Objet
est une
instance
de
ElectricalOutlet
collection
collection
est une
instance
de
collection
memberType
collection
and
trou
collection
est une
partie
de
objet
(=>
(
instance
?X
ElectricalOutlet
)
(
hasPurpose
?X
(
exists
(?POWER ?WIRE)
(
and
(
instance
?POWER
PowerSource
)
(
instance
?WIRE
Collection
)
(
memberType
?WIRE
WireLine
)
(
connectsEngineeringComponents
?WIRE ?X ?POWER)))))
Mid-level-ontology.kif 25919-25927
Physique
est une
instance
de
ElectricalOutlet
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
PowerSource
entit�
est une
instance
de
collection
memberType
entit�
and
WireLine
entit�
connecte
physique
et
entit�
(=>
(
instance
?X
HighRise
)
(
exists
(?LEVELS ?NUM)
(
and
(
instance
?LEVELS
Collection
)
(
forall
(?FLR)
(=>
(
and
(
instance
?FLR
BuildingLevel
)
(
part
?FLR ?X))
(
member
?FLR ?LEVELS)))
(
memberCount
?LEVELS ?NUM)
(
greaterThanOrEqualTo
?NUM 10))))
Mid-level-ontology.kif 26508-26520
Objet
est une
instance
de
HighRise
collection
nombre entier
collection
est une
instance
de
collection
objet
objet
est une
instance
de
BuildingLevel
objet
est une
partie
de
objet
objet
est un
membre
de
collection
memberCount
collection
and
nombre entier
nombre entier
est
plus
grand
ou �gal � 10
(=>
(
optimalGrindSizeForMakingCoffee
?CLASS ?A)
(
exists
(?CM ?COLL ?C)
(
and
(
instance
?CM ?CLASS)
(
patient
?CM ?COLL)
(
instance
?COLL
Collection
)
(
member
?C ?COLL)
(
instance
?C
CoffeeGrind
)
(
attribute
?C ?A))))
Food.kif 728-737
optimalGrindSizeForMakingCoffee
CoffeeMaking
and
CoffeeGrindAttribute
processus
collection
and
objet
processus
est une
instance
de
CoffeeMaking
collection
est un
patient
de
processus
collection
est une
instance
de
collection
objet
est un
membre
de
collection
objet
est une
instance
de
CoffeeGrind
CoffeeGrindAttribute
est un
attribut
de
objet
(=>
(
rainfallIntensity
?AREA ?TIME ?RATE)
(
exists
(?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)
(
and
(
instance
?RAIN
Raining
)
(
eventLocated
?RAIN ?AREA)
(
during
(
WhenFn
?RAIN) ?TIME)
(
instance
?CLTN
Collection
)
(
objectTransferred
?RAIN ?CLTN)
(
instance
?R
Water
)
(
member
?R ?CLTN)
(
instance
?BUCKET
Container
)
(
bottom
?BOTTOM ?BUCKET)
(
attribute
?BOTTOM
Flat
)
(
located
?BUCKET ?AREA)
(
holdsDuring
(
BeginFn
?TIME)
(
attribute
?BUCKET
ContainerEmpty
))
(
holdsDuring
(
EndFn
?TIME)
(
and
(
located
?CLTN ?BUCKET)
(
top
?TOP ?CLTN)
(
depth
?TOP ?BOTTOM ?RAINFALL)
(
equal
?RAINFALL
(
MultiplicationFn
?TIME ?RATE)))))))
Weather.kif 2830-2855
rainfallIntensity
secteur g�ographique
,
interval temporel
and
function de quantit�
transf�re
collection
,
physique
,
objet en une partie
,
entit�
,
objet en une partie
and
transf�re
FALL
transf�re
est une
instance
de
Raining
eventLocated
transf�re
and
secteur g�ographique
temps
d'existence de
transf�re
prend place
pendant
interval temporel
collection
est une
instance
de
collection
objectTransferred
transf�re
and
collection
physique
est une
instance
de
eau
physique
est un
membre
de
collection
objet en une partie
est une
instance
de
Container
l'
arri
�re de
objet en une partie
est
objet en une partie
Flat
est un
attribut
de
objet en une partie
objet en une partie
est
situ
� �
secteur g�ographique
ContainerEmpty
est un
attribut
de
objet en une partie
pendant
le
d
�but de
interval temporel
collection
est
situ
� �
objet en une partie
le
dessus
de
collection
est
entit�
depth
entit�
,
objet en une partie
and
transf�re
FALL
transf�re
FALL est
interval temporel
+
function de quantit�
pendant
la
fin
de
interval temporel
(=>
(
siteCatalog
?DATABASE ?WEBSITE)
(
exists
(?PART ?PRODUCTS ?BUYING)
(
and
(
instance
?PRODUCTS
Collection
)
(
part
?PART ?DATABASE)
(
represents
?PART ?PRODUCTS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PRODUCTS)
(
and
(
instance
?MEMBER
Physical
)
(
capability
(
KappaFn
?BUYING
(
and
(
instance
?BUYING
Buying
)
(
eCommerceSite
?BUYING ?WEBSITE)))
patient
?MEMBER)))))))
UXExperimentalTerms.kif 2242-2259
siteCatalog
Database
and
WebSite
objet
collection
and
cha�ne sympbolique
collection
est une
instance
de
collection
objet
est une
partie
de
Database
objet
d
�finie
collection
objet
objet
est un
membre
de
collection
objet
est une
instance
de
physique
objet
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
patient
(=>
(
subBrand
?BRAND1 ?BRAND2)
(
exists
(?COLL ?OBJ)
(
and
(
instance
?COLL
Collection
)
(
represents
?BRAND1 ?COLL)
(
member
?OBJ ?COLL)
(
represents
?BRAND2 ?OBJ))))
Hotel.kif 1335-1342
subBrand
entit�
and
entit�
collection
physique
collection
est une
instance
de
collection
entit�
d
�finie
collection
physique
est un
membre
de
collection
entit�
d
�finie
physique
(=>
(
tTest
?SAMPLE_COLL1 ?SAMPLE_COLL2 ?PROB)
(
exists
(?POP1 ?POP2 ?EXPERIMENT)
(
and
(
instance
?POP1
Collection
)
(
instance
?POP2
Collection
)
(
statisticalPopulation
?SAMPLE_COLL1 ?POP1 ?EXPERIMENT)
(
statisticalPopulation
?SAMPLE_COLL2 ?POP2 ?EXPERIMENT)
(
equal
?PROB
(
ProbabilityFn
(
equal
?POP1 ?POP2))))))
UXExperimentalTerms.kif 607-617
tTest
entit�
_COLL1,
entit�
_COLL2 and
nombre r�el
collection
collection
and
Experimenting
collection
est une
instance
de
collection
collection
est une
instance
de
collection
statisticalPopulation
entit�
_COLL1,
collection
and
Experimenting
statisticalPopulation
entit�
_COLL2,
collection
and
Experimenting
nombre r�el
est
probabilit
� de
collection
est
collection
(=>
(
userDatabase
?DATABASE ?WEBSITE)
(
exists
(?PART ?USERS)
(
and
(
instance
?USERS
Collection
)
(
part
?PART ?DATABASE)
(
represents
?PART ?USERS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?USERS)
(
and
(
instance
?MEMBER
AutonomousAgent
)
(
exists
(?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
patient
?ACCESSING
Page
)
(
agent
?ACCESSING
AutonomousAgent
)
(
component
?PAGE ?WEBSITE)))))))))
UXExperimentalTerms.kif 2173-2191
userDatabase
Database
and
WebSite
objet
collection
collection
est une
instance
de
collection
objet
est une
partie
de
Database
objet
d
�finie
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
AutonomousAgent
processus
objet corpusculaire
processus
est une
instance
de
AccessingWebPage
objet corpusculaire
est une
instance
de
WebPage
Page
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
objet corpusculaire
est un
composant
de
WebSite
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