exists
(=>
(
and
(
instance
?PURCHASES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PURCHASES)
(
instance
?MEMBER
Buying
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?BUYER ?BUYING)
(=>
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
exists
(?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE ?PURCHASES)
(
transactionAmount
?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
GMBFn
?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 2956-2983
Colecao
e' uma
instancia
de
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Comprar
Objeto
Objeto
e' uma
instancia
de
Area Geopolitica
AutonomousAgent
Processo
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Processo
e' uma
instancia
de
Comprar
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
situado
em
Objeto
Sequencia Simbolica
Entidade
and
Entidade
_PURCHASE_AMOUNT
total
a
classe
descrita por
Sequencia Simbolica
and
Entidade
_PURCHASE_AMOUNT
GMBFn
Colecao
e'
igual
a
Entidade
_PURCHASE_AMOUNT
(=>
(
and
(
instance
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
AutonomousAgent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
exists
(?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?SALE
Selling
)
(
member
?SALE ?SALES)
(
transactionAmount
?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(
equal
(
GMVFn
?SALES) ?TOTAL_SALE_AMOUNT))))
UXExperimentalTerms.kif 2999-3026
Colecao
e' uma
instancia
de
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Vender
Objeto
Objeto
e' uma
instancia
de
Area Geopolitica
AutonomousAgent
Processo
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Processo
e' uma
instancia
de
Comprar
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
situado
em
Objeto
Sequencia Simbolica
Entidade
and
Entidade
_SALE_AMOUNT
total
a
classe
descrita por
Sequencia Simbolica
and
Entidade
_SALE_AMOUNT
GMVFn
Colecao
e'
igual
a
Entidade
_SALE_AMOUNT
(=>
(
and
(
instance
?SELLINGS
Collection
)
(
instance
?GMV
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMV
(
GMVFn
?SELLINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?SELLING)
(
and
(
member
?SELLING ?SELLINGS)
(
patient
?SELLING ?ITEM))))))))
(
equal
(
ASPFn
?SELLINGS)
(
DivisionFn
?GMV ?TOTAL)))
UXExperimentalTerms.kif 3282-3302
Colecao
e' uma
instancia
de
Colecao
Numero Real
e' uma
instancia
de
Medida de Divisa
Numero Inteiro
e' uma
instancia
de
Numero Real
Numero Real
e'
igual
a
GMVFn
Colecao
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
ASPFn
Colecao
e'
igual
a
Numero Real
+
Numero Inteiro
(=>
(
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
Intervalo Temporal
e' uma
instancia
de
TimePeriod
a
duracao
de
Intervalo Temporal
e'
Numero Real
MinuteDuration
(s)
Numero Real
e'
maior
que 5.0
Entidade
e' uma
instancia
de
Humano
Processo
Processo
e' uma
instancia
de
Respirar
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Entidade
e' um
patient
de
Processo
o argumento
Entidade
Entidade
e' uma
instancia
de
Morte
Entidade
experimenta
Entidade
Intervalo Temporal
encontra
tempo
de existencia de
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?COLL
Collection
)
(
forall
(?EXPERIMENT ?EVENT)
(=>
(
exists
(?CLASS)
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?EVENT
Process
)
(
member
?EVENT
(
QualifyingEventsFn
?EXPERIMENT))
(
instance
?EVENT ?CLASS)
(
capability
?CLASS
experiencer
?VISITOR)))
(
member
?EVENT ?COLL)))
(=>
(
member
?PROC ?COLL)
(
and
(
instance
?PROC
Process
)
(
exists
(?EXP ?PROCESS)
(
and
(
instance
?EXP
Experimenting
)
(
member
?PROC
(
QualifyingEventsFn
?EXP))
(
instance
?PROC ?PROCESS)
(
capability
?PROCESS
experiencer
?VISITOR))))))
(
equal
(
QualifiedTreatmentsFn
?VISITOR) ?COLL))
UXExperimentalTerms.kif 4241-4267
Humano
e' uma
instancia
de
Humano
Colecao
e' uma
instancia
de
Colecao
Experimenting
Fisico
Processo
Experimenting
e' uma
instancia
de
Experimenting
Fisico
e' uma
instancia
de
Processo
Fisico
e'
membro
de
QualifyingEventsFn
Experimenting
Fisico
e' uma
instancia
de
Processo
Humano
e'
capaz
de fazer
Processo
no role
experiencer
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Processo
Experimenting
Fisico
ESS
Experimenting
e' uma
instancia
de
Experimenting
Fisico
e'
membro
de
QualifyingEventsFn
Experimenting
Fisico
e' uma
instancia
de
Fisico
ESS
Humano
e'
capaz
de fazer
Fisico
ESS no role
experiencer
QualifiedTreatmentsFn
Humano
e'
igual
a
Colecao
(=>
(
and
(
instance
?X
Pasta
)
(
not
(
exists
(?Y)
(
and
(
instance
?Y
Pasta
)
(
part
?Y ?X)))))
(
attribute
?X
LongAndThin
))
Food.kif 2622-2630
Objeto
e' uma
instancia
de
Pasta
Objeto
Objeto
e' uma
instancia
de
Pasta
Objeto
e' uma &parte de
Objeto
LongAndThin
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?X
Penne
)
(
not
(
exists
(?Y)
(
and
(
instance
?Y
Penne
)
(
part
?Y ?X)))))
(
and
(
exists
(?HOLE2)
(
and
(
instance
?HOLE2
HoleRegion
)
(
part
?X ?HOLE2)))
(
attribute
?X
Fillable
)))
Food.kif 2763-2776
Objeto
e' uma
instancia
de
Penne
Objeto
Objeto
e' uma
instancia
de
Penne
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma
instancia
de
Buraco
Objeto
e' uma &parte de
Objeto
Fillable
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?X
Spaghetti
)
(
not
(
exists
(?Y)
(
and
(
instance
?Y
Spaghetti
)
(
part
?Y ?X)))))
(
attribute
?X
LongAndThin
))
Food.kif 3464-3472
Objeto
e' uma
instancia
de
Spaghetti
Objeto
Objeto
e' uma
instancia
de
Spaghetti
Objeto
e' uma &parte de
Objeto
LongAndThin
e' um
atributo
de
Objeto
(=>
(
and
(
typicalAction
?PROCESS ?AGENT)
(
instance
?A ?AGENT)
(
equal
?PPROB
(
ProbabilityFn
(
exists
(?X)
(
and
(
instance
?X ?PROCESS)
(
agent
?X ?A)))))
(
equal
?NOTPPROB
(
ProbabilityFn
(
not
(
exists
(?Y)
(
and
(
instance
?Y ?PROCESS)
(
agent
?Y ?A)))))))
(
greaterThan
?PPROB ?NOTPPROB))
Mid-level-ontology.kif 22832-22849
typicalAction
Processo
and
AutonomousAgent
Entidade
e' uma
instancia
de
AutonomousAgent
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
agente
de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
agente
de
Entidade
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
typicalPart
?PART ?WHOLE)
(
instance
?X ?PART)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?Y)
(
and
(
instance
?Y ?WHOLE)
(
part
?X ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?Z)
(
and
(
instance
?Z ?WHOLE)
(
part
?X ?Z)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Mid-level-ontology.kif 23640-23657
typicalPart
Objeto
and
Objeto
Entidade
e' uma
instancia
de
Objeto
Objeto
PROB e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma &parte de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma &parte de
Entidade
Objeto
PROB e'
maior
que
Numero Real
(=>
(
and
(
typicalTemporalPart
?PART ?WHOLE)
(
instance
?X ?PART)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?Y)
(
and
(
instance
?Y ?WHOLE)
(
temporalPart
?X ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?Z)
(
and
(
instance
?Z ?WHOLE)
(
temporalPart
?X ?Z)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1453-1470
typicalTemporalPart
Processo
and
Processo
Entidade
e' uma
instancia
de
Processo
Processo
PROB e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma &parte de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma &parte de
Entidade
Processo
PROB e'
maior
que
Numero Real
(=>
(
and
(
typicallyContainsPart
?PART ?WHOLE)
(
instance
?Y ?WHOLE)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?X1)
(
and
(
instance
?X1 ?PART)
(
part
?X1 ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?X2)
(
and
(
instance
?X2 ?PART)
(
part
?X2 ?Y)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Mid-level-ontology.kif 23677-23694
typicallyContainsPart
Objeto
and
Objeto
Entidade
e' uma
instancia
de
Objeto
Objeto
PROB e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma &parte de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma &parte de
Entidade
Objeto
PROB e'
maior
que
Numero Real
(=>
(
and
(
typicallyContainsTemporalPart
?PART ?WHOLE)
(
instance
?Y ?WHOLE)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?X1)
(
and
(
instance
?X1 ?PART)
(
temporalPart
?X1 ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?X2)
(
and
(
instance
?X2 ?PART)
(
temporalPart
?X2 ?Y)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1493-1510
typicallyContainsTemporalPart
Processo
and
Processo
Entidade
e' uma
instancia
de
Processo
Processo
PROB e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma &parte de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma &parte de
Entidade
Processo
PROB e'
maior
que
Numero Real
(=>
(
and
(
unitNumber
?UNITSTR ?PLACE)
(
not
(
exists
(?FLR)
(
floorCode
?FLR ?PLACE))))
(
exists
(?UNIT)
(
and
(
instance
?UNIT
Room
)
(
names
?UNITSTR ?UNIT)
(
located
?UNIT ?PLACE))))
Mid-level-ontology.kif 24645-24655
unitNumber
Sequencia Simbolica
and
PostalPlace
Sequencia Simbolica
floorCode
Sequencia Simbolica
and
PostalPlace
Fisico
Fisico
e' uma
instancia
de
Comodo
Fisico
se chama
nome
Sequencia Simbolica
Fisico
e'
situado
em
PostalPlace
(=>
(
exists
(?CONNECTION)
(
connectsEngineeringComponents
?CONNECTION ?COMP1 ?COMP2))
(
connectedEngineeringComponents
?COMP1 ?COMP2))
Merge.kif 16152-16155
Conexao de Engenharia
Conexao de Engenharia
conecta
Componente de Engenharia
e
Componente de Engenharia
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
(=>
(
exists
(?SIDE1 ?SIDE2)
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH)))
(
width
?OBJECT ?WIDTH))
Merge.kif 9768-9774
Objeto auto-conectado
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
a
distancia
entre
Objeto auto-conectado
e
Objeto auto-conectado
e'
Medida de Comprimento
a
largura
de
Objeto auto-conectado
e'
Medida de Comprimento
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
ShutdownBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
finishes
?Time ?Time1)
(
equal
(
WhenFn
?Process2) ?Time2)
(
equal
(
BeginFn
?Time)
(
EndFn
?Time2))))
(
duration
?Time ?Delay))
QoSontology.kif 1270-1284
Intervalo Temporal
Intervalo Temporal
dependencyDelay
Programa de Computador
and
Duracao Temporal
dependencyType
Programa de Computador
and
ShutdownBlock
hasDependency
Programa de Computador
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
o
comeco
de
Intervalo Temporal
e'
igual
a o
fim
de
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
StartupBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
starts
?Time2 ?Time)
(
equal
(
WhenFn
?Process1) ?Time1)
(
equal
(
EndFn
?Time)
(
BeginFn
?Time1))))
(
duration
?Time ?Delay))
QoSontology.kif 1254-1268
Intervalo Temporal
Intervalo Temporal
dependencyDelay
Programa de Computador
and
Duracao Temporal
dependencyType
Programa de Computador
and
StartupBlock
hasDependency
Programa de Computador
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
o
fim
de
Intervalo Temporal
e'
igual
a o
comeco
de
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
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