Collection
(Colecao)
(=>
(
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
Fisico
e' uma
instancia
de
Bus
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Colecao
Entidade
e' uma
instancia
de
Transporte
memberCount
Entidade
and
Entidade
Entidade
e'
maior
que 11
Entidade
e'
membro
de
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
instance
?BF
BowlingFacility
)
(
exists
(?BL)
(
and
(
instance
?BL
Collection
)
(
memberType
?BL
BowlingLane
)
(
located
?BL ?BF))))
Sports.kif 1162-1168
Objeto
e' uma
instancia
de
BowlingFacility
Colecao
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
BowlingLane
Colecao
e'
situado
em
Objeto
(=>
(
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
Transferencia
e' uma
instancia
de
Drizzling
Colecao
Objeto auto-conectado
and
Numero Real
Colecao
e' uma
instancia
de
Colecao
Objeto auto-conectado
e' uma
instancia
de
Agua
Objeto auto-conectado
e' uma
instancia
de
LiquidDrop
Objeto auto-conectado
e'
membro
de
Colecao
objectTransferred
Transferencia
and
Colecao
approximateDiameter
Objeto auto-conectado
and
Numero Real
Millimeter
(s) o argumento
Numero Real
e'
menor
ou igual a 0.5 tem a
forca
modal
de
Likely
(=>
(
instance
?DROP
Raindrop
)
(
exists
(?RAIN)
(
and
(
instance
?RAIN
Rain
)
(
instance
?RAIN
Collection
)
(
member
?DROP ?RAIN))))
Weather.kif 2981-2987
Fisico
e' uma
instancia
de
Raindrop
Colecao
Colecao
e' uma
instancia
de
Rain
Colecao
e' uma
instancia
de
Colecao
Fisico
e'
membro
de
Colecao
(=>
(
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
Posicao Temporal
e' uma
instancia
de
EspressoMaking
Entidade
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Aquecer
Entidade
e' um
patient
de
Entidade
a
medida
de
Entidade
e'
Entidade
Liter
(s)
approximateValue
Entidade
and 0.03 a
medida
de
Entidade
e'
Entidade
CelsiusDegree
(s)
approximateValue
Entidade
and 90
vale
durante o
fim
de
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
LiquidMotion
Entidade
e' um
patient
de
Entidade
a
medida
de
Entidade
e'
Entidade
1
mil
Pascal
s(s)
approximateValue
Entidade
and 900
vale
durante
Entidade
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
Colecao
a
medida
de
Entidade
e'
Entidade
Gram
(s)
approximateValue
Entidade
and 7.5
Entidade
e'
membro
de
Entidade
Entidade
e' uma
instancia
de
CoffeeGrind
FineGrind
e' um
atributo
de
Entidade
Entidade
e'
situado
em
Entidade
Entidade
e' uma
instancia
de
Filter
Entidade
e' uma
instancia
de
Remover
Entidade
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
o
fim
de
tempo
de existencia de
Entidade
e'
entre
o
fim
de
tempo
de existencia de
Entidade
e o
fim
de
tempo
de existencia de
Entidade
vale
durante
Posicao Temporal
(=>
(
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
e' uma
instancia
de
Experimenting
Entidade
_EVENTS
Entidade
_EVENTS e' uma
instancia
de
Colecao
Processo
Processo
e' uma
instancia
de
Processo
experimentalControlProcess
Experimenting
and
Processo
experimentalVariableProcess
Experimenting
and
Processo
Processo
e'
membro
de
Entidade
_EVENTS
QualifyingEventsFn
Experimenting
e'
igual
a
Entidade
_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
e' uma
instancia
de
Experimenting
Entidade
_USERS
Entidade
_USERS e' uma
instancia
de
Colecao
Humano
Humano
e' uma
instancia
de
Humano
treatedUser
Humano
and
Experimenting
Humano
e'
membro
de
Entidade
_USERS
TreatedUsersFn
Experimenting
e'
igual
a
Entidade
_USERS
(=>
(
instance
?LGP
LargeGroupProcess
)
(
exists
(?G ?M)
(
and
(
instance
?G
Collection
)
(
member
?M ?G)
(
memberType
?G
AutonomousAgent
))))
Mid-level-ontology.kif 7932-7938
Entidade
e' uma
instancia
de
LargeGroupProcess
Colecao
Fisico
Colecao
e' uma
instancia
de
Colecao
Fisico
e'
membro
de
Colecao
memberType
Colecao
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
Entidade
e' uma
instancia
de
Polymer
Colecao
Fisico
Entidade
e'
igual
a
Colecao
Colecao
e' uma
instancia
de
Colecao
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
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
Transferencia
e' uma
instancia
de
Sleeting
Colecao
Fisico
,
Fisico
and
Processo
Colecao
e' uma
instancia
de
Colecao
objectTransferred
Transferencia
and
Colecao
Fisico
e' uma
instancia
de
Raindrop
Fisico
e' uma
instancia
de
Snowflake
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
Processo
e' uma
instancia
de
Derreter
Processo
e' um
sub
-processo de
Transferencia
Fisico
e' um
patient
de
Processo
(=>
(
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
Entidade
e' uma
instancia
de
Raining
Entidade
Entidade
and
Classe
Entidade
e' uma
instancia
de
Colecao
Entidade
e' uma
instancia
de
Agua
Entidade
e' uma
instancia
de
LiquidDrop
Entidade
e' uma
instancia
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
Objeto
e' uma
instancia
de
SelfServiceLaundry
Colecao
Colecao
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
ClothesWashingMachine
Colecao
e'
situado
em
Objeto
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
ClothesDryer
Colecao
e'
situado
em
Objeto
(=>
(
instance
?S
Snowflake
)
(
exists
(?SNOW)
(
and
(
instance
?SNOW
Snow
)
(
instance
?SNOW
Collection
)
(
member
?S ?SNOW))))
Weather.kif 3013-3019
Fisico
e' uma
instancia
de
Snowflake
Fisico
NOW
Fisico
NOW e' uma
instancia
de
Snow
Fisico
NOW e' uma
instancia
de
Colecao
Fisico
e'
membro
de
Fisico
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
Transferencia
e' uma
instancia
de
Snowing
Colecao
Objeto
Colecao
e' uma
instancia
de
Colecao
Objeto
e' uma
instancia
de
Ice
MonoCrystalline
e' um
atributo
de
Objeto
Objeto
e'
membro
de
Colecao
objectTransferred
Transferencia
and
Colecao
(=>
(
instance
?STUFF
Hailstone
)
(
exists
(?PROCESS ?CLTN)
(
and
(
instance
?PROCESS
Hailing
)
(
instance
?CLTN
Collection
)
(
objectTransferred
?PROCESS ?CLTN)
(
member
?STUFF ?CLTN))))
Weather.kif 3074-3081
Fisico
e' uma
instancia
de
Hailstone
Transferencia
Colecao
Transferencia
e' uma
instancia
de
Hailing
Colecao
e' uma
instancia
de
Colecao
objectTransferred
Transferencia
and
Colecao
Fisico
e'
membro
de
Colecao
(=>
(
instance
?X
Chromotin
)
(
exists
(?COLL ?N)
(
and
(
instance
?COLL
Collection
)
(
located
?COLL ?X)
(
member
?COLL ?N)
(
instance
?N
Nucleosome
))))
VirusProteinAndCellPart.kif 610-617
Objeto
e' uma
instancia
de
Chromotin
Fisico
Colecao
Fisico
e' uma
instancia
de
Colecao
Fisico
e'
situado
em
Objeto
Fisico
e'
membro
de
Colecao
Colecao
e' uma
instancia
de
Nucleosome
(=>
(
instance
?X
ElectricalOutlet
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
Collection
)
(
memberType
?HOLE
HoleRegion
)
(
part
?HOLE ?X))))
Mid-level-ontology.kif 25911-25917
Objeto
e' uma
instancia
de
ElectricalOutlet
Colecao
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Buraco
Colecao
e' uma &parte de
Objeto
(=>
(
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
Fisico
e' uma
instancia
de
ElectricalOutlet
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
PowerSource
Entidade
e' uma
instancia
de
Colecao
memberType
Entidade
and
WireLine
Entidade
conecta
Fisico
e
Entidade
(=>
(
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
Objeto
e' uma
instancia
de
HighRise
Colecao
Numero Inteiro
Colecao
e' uma
instancia
de
Colecao
Objeto
Objeto
e' uma
instancia
de
BuildingLevel
Objeto
e' uma &parte de
Objeto
Objeto
e'
membro
de
Colecao
memberCount
Colecao
and
Numero Inteiro
Numero Inteiro
e'
maior
ou igual a 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
Processo
Colecao
and
Objeto
Processo
e' uma
instancia
de
CoffeeMaking
Colecao
e' um
patient
de
Processo
Colecao
e' uma
instancia
de
Colecao
Objeto
e'
membro
de
Colecao
Objeto
e' uma
instancia
de
CoffeeGrind
CoffeeGrindAttribute
e' um
atributo
de
Objeto
(=>
(
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
Area Geografica
,
Intervalo Temporal
and
Funcao de Quantidade
Transferencia
Colecao
,
Fisico
,
Objeto auto-conectado
,
Entidade
,
Objeto auto-conectado
and
Transferencia
FALL
Transferencia
e' uma
instancia
de
Raining
eventLocated
Transferencia
and
Area Geografica
tempo
de existencia de
Transferencia
acontece
durante
Intervalo Temporal
Colecao
e' uma
instancia
de
Colecao
objectTransferred
Transferencia
and
Colecao
Fisico
e' uma
instancia
de
Agua
Fisico
e'
membro
de
Colecao
Objeto auto-conectado
e' uma
instancia
de
Container
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Flat
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e'
situado
em
Area Geografica
ContainerEmpty
e' um
atributo
de
Objeto auto-conectado
vale
durante o
comeco
de
Intervalo Temporal
Colecao
e'
situado
em
Objeto auto-conectado
o
topo
de
Colecao
e'
Entidade
depth
Entidade
,
Objeto auto-conectado
and
Transferencia
FALL
Transferencia
FALL e'
igual
a
Intervalo Temporal
+
Funcao de Quantidade
vale
durante o
fim
de
Intervalo Temporal
(=>
(
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
Objeto
Colecao
and
Sequencia Simbolica
Colecao
e' uma
instancia
de
Colecao
Objeto
e' uma &parte de
Database
Objeto
define
Colecao
Objeto
Objeto
e'
membro
de
Colecao
Objeto
e' uma
instancia
de
Fisico
Objeto
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
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
Entidade
and
Entidade
Colecao
Fisico
Colecao
e' uma
instancia
de
Colecao
Entidade
define
Colecao
Fisico
e'
membro
de
Colecao
Entidade
define
Fisico
(=>
(
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
Entidade
_COLL1,
Entidade
_COLL2 and
Numero Real
Colecao
Colecao
and
Experimenting
Colecao
e' uma
instancia
de
Colecao
Colecao
e' uma
instancia
de
Colecao
statisticalPopulation
Entidade
_COLL1,
Colecao
and
Experimenting
statisticalPopulation
Entidade
_COLL2,
Colecao
and
Experimenting
Numero Real
e'
igual
a a
probabilidade
de
Colecao
e'
igual
a
Colecao
(=>
(
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
Objeto
Colecao
Colecao
e' uma
instancia
de
Colecao
Objeto
e' uma &parte de
Database
Objeto
define
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
AutonomousAgent
Processo
Objeto Corpuscular
Processo
e' uma
instancia
de
AccessingWebPage
Objeto Corpuscular
e' uma
instancia
de
WebPage
Page
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Objeto Corpuscular
e' um
componente
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