patient
(=>
(
and
(
instance
?B
Deboarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
onboard
?A ?V))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))))
Mid-level-ontology.kif 17426-17438
Processo
e' uma
instancia
de
Deboarding
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
onboard
AutonomousAgent
and
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
onboard
AutonomousAgent
and
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?B
Deboarding
)
(
patient
?B ?VEHICLE))
(
instance
?VEHICLE
Vehicle
))
Mid-level-ontology.kif 17420-17424
Processo
e' uma
instancia
de
Deboarding
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Vehicle
(=>
(
and
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?BOIL))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?BOIL))
(
attribute
?PART
Gas
)))))
Merge.kif 13955-13963
Processo
e' uma
instancia
de
Ferver
Objeto
e' um
patient
de
Processo
Objeto
Objeto
e' uma &parte de
Objeto
Liquid
e' um
atributo
de
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Processo
Gas
e' um
atributo
de
Objeto
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13853-13861
Processo
e' uma
instancia
de
Ferver
boilingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
Entidade
e' uma
instancia
de
Substancia Pura
Entidade
e' um
patient
de
Processo
a
medida
de
Entidade
e'
Numero Real
Unidade de Medida
(s)
vale
durante
tempo
de existencia de
Processo
Unidade de Medida
e' uma
instancia
de
UnitOfTemperature
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT))
(
exists
(?LEND)
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))))
Merge.kif 11753-11764
Processo
e' uma
instancia
de
Tomar Emprestado
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Emprestar
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?BP
BrakePad
)
(
instance
?BR
BrakeRotor
)
(
instance
?R
Rotating
)
(
patient
?R ?BR)
(
instance
?F
Friction
)
(
resource
?F ?BP)
(
patient
?F ?BR))
(
not
(
patient
?R ?BP)))
Cars.kif 617-627
Objeto
e' uma
instancia
de
BrakePad
Entidade
e' uma
instancia
de
BrakeRotor
Processo
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Friction
Objeto
e' um
recurso
para
Processo
Entidade
e' um
patient
de
Processo
Objeto
e' um
patient
de
Processo
(=>
(
and
(
instance
?BS
BrakeShoe
)
(
instance
?BD
BrakeDrum
)
(
instance
?R
Rotating
)
(
patient
?R ?BD)
(
instance
?F
Friction
)
(
resource
?F ?BS)
(
patient
?F ?BD))
(
not
(
patient
?R ?BS)))
Cars.kif 639-649
Objeto
e' uma
instancia
de
BrakeShoe
Entidade
e' uma
instancia
de
BrakeDrum
Processo
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Friction
Objeto
e' um
recurso
para
Processo
Entidade
e' um
patient
de
Processo
Objeto
e' um
patient
de
Processo
(=>
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT1)
(
origin
?BUY ?AGENT2)
(
patient
?BUY ?OBJECT))
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?AGENT2)
(
destination
?SELL ?AGENT1)
(
patient
?SELL ?OBJECT))))
Merge.kif 11927-11938
Processo
e' uma
instancia
de
Comprar
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Vender
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?BUYINGS
Collection
)
(
instance
?GMB
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMB
(
GMBFn
?BUYINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?BUYING)
(
and
(
member
?BUYING ?BUYINGS)
(
patient
?BUYING ?ITEM))))))))
(
equal
(
ABPFn
?BUYINGS)
(
DivisionFn
?GMB ?TOTAL)))
UXExperimentalTerms.kif 3239-3259
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
GMBFn
Colecao
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
ABPFn
Colecao
e'
igual
a
Numero Real
+
Numero Inteiro
(=>
(
and
(
instance
?Bond
SecuredBond
)
(
securedBy
?Bond ?Security)
(
possesses
?Agent ?Bond)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Bond))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Agent ?Security)))
FinancialOntology.kif 2397-2406
FinancialAccount
e' uma
instancia
de
SecuredBond
securedBy
FinancialAccount
and
Collateral
AutonomousAgent
possui
FinancialAccount
Processo
e' uma
instancia
de
FinancialDefault
FinancialAccount
e' um
patient
de
Processo
AutonomousAgent
possui
Collateral
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 586-602
Processo
e' uma
instancia
de
CateringService
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Processo
UST
AutonomousAgent
e'
situado
em
Objeto
customer
Processo
UST and
AutonomousAgent
Processo
Entidade
and
Processo
Processo
e' uma
instancia
de
Cozinhar
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
Processo
UST
eventLocated
Processo
and
Objeto
Objeto
e'
igual
a
Objeto
(=>
(
and
(
instance
?C
CausingHappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Happiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Happiness
))))
Mid-level-ontology.kif 23767-23778
Processo
e' uma
instancia
de
CausingHappiness
Entidade
e' um
patient
de
Processo
Happiness
e' um
atributo
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Happiness
e' um
atributo
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?C
CausingUnhappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Unhappiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Unhappiness
))))
Mid-level-ontology.kif 23788-23799
Processo
e' uma
instancia
de
CausingUnhappiness
Entidade
e' um
patient
de
Processo
Unhappiness
e' um
atributo
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Unhappiness
e' um
atributo
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?C
CheckingVitals
)
(
agent
?C ?A)
(
patient
?C ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?L
Lung
)
(
part
?L ?P)
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))
(
knows
?A
(
and
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))))
Medicine.kif 6505-6529
Processo
e' uma
instancia
de
CheckingVitals
Processo
e' um
agente
de
Agente Cognitivo
Objeto
e' um
patient
de
Processo
Heart
e' uma
instancia
de
Heart
Heart
e' uma &parte de
Objeto
Lung
e' uma
instancia
de
Lung
Lung
e' uma &parte de
Objeto
systolicBloodPressure
Objeto
and
Entidade
diastolicBloodPressure
Objeto
and
Entidade
a
medida
de
Objeto
e'
Entidade
FahrenheitDegree
(s)
vale
durante
tempo
de existencia de
Processo
heartRate
Heart
,
tempo
de existencia de
Processo
and
Numero Inteiro
breathingRate
Lung
,
tempo
de existencia de
Processo
and
Numero Inteiro
Agente Cognitivo
sabe
systolicBloodPressure
Objeto
and
Entidade
diastolicBloodPressure
Objeto
and
Entidade
a
medida
de
Objeto
e'
Entidade
FahrenheitDegree
(s)
vale
durante
tempo
de existencia de
Processo
heartRate
Heart
,
tempo
de existencia de
Processo
and
Numero Inteiro
breathingRate
Lung
,
tempo
de existencia de
Processo
and
Numero Inteiro
(=>
(
and
(
instance
?C
ChurningButter
)
(
instance
?E
Emulsion
)
(
patient
?C ?E))
(
exists
(?M ?B)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
and
(
equal
?E ?M)
(
instance
?M
Milk
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
and
(
equal
?E ?B)
(
instance
?B
Butter
))))))
Food.kif 3076-3094
Processo
e' uma
instancia
de
ChurningButter
Entidade
e' uma
instancia
de
Emulsion
Entidade
e' um
patient
de
Processo
Entidade
Entidade
Entidade
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
Milk
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
Butter
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOff
))
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2))))
Cars.kif 1844-1862
Objeto
e' uma
instancia
de
Clutch
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma
instancia
de
Engine
Objeto
e' uma
instancia
de
Gearbox
Objeto
EAR e' uma
instancia
de
Gear
Objeto
EAR e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Processo
e' uma
instancia
de
Movimento
Objeto
e' um
patient
de
Processo
DeviceOff
e' um
atributo
de
Objeto
Processo
2
Processo
2 e' uma
instancia
de
Movimento
Objeto
e' um
patient
de
Processo
2
Processo
causa
Processo
2
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOn
))
(
not
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2)))))
Cars.kif 1823-1842
Objeto
e' uma
instancia
de
Clutch
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma
instancia
de
Engine
Objeto
e' uma
instancia
de
Gearbox
Objeto
EAR e' uma
instancia
de
Gear
Objeto
EAR e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Processo
e' uma
instancia
de
Movimento
Objeto
e' um
patient
de
Processo
DeviceOn
e' um
atributo
de
Objeto
Processo
2
Processo
2 e' uma
instancia
de
Movimento
Objeto
e' um
patient
de
Processo
2
Processo
causa
Processo
2
(=>
(
and
(
instance
?C
Concealing
)
(
patient
?C ?OBJ))
(
hasPurpose
?C
(
not
(
exists
(?S)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?OBJ))))))
Mid-level-ontology.kif 5488-5497
Processo
e' uma
instancia
de
Concealing
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Visao
Entidade
e' um
patient
de
Entidade
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Mid-level-ontology.kif 29746-29753
Processo
e' uma
instancia
de
Cobrir
Entidade
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
covers
Objeto
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
hasPurpose
?C
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))
(
not
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))))))
Medicine.kif 767-785
Processo
e' uma
instancia
de
Cricothyroidotomy
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
ImpairmentFn
Respirar
Entidade
e' um
patient
de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Entidade
Entidade
e' uma
instancia
de
ImpairmentFn
Respirar
Entidade
e' um
patient
de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?T
(
HoleHostFn
?H))
(
instance
?T
Throat
)
(
part
?T ?O)))))
Medicine.kif 754-765
Processo
e' uma
instancia
de
Cricothyroidotomy
Entidade
e' um
patient
de
Processo
Entidade
Entidade
e' uma
instancia
de
Buraco
Entidade
e'
igual
a o
dono
do buraco
Entidade
Entidade
e' uma
instancia
de
Throat
Entidade
e' uma &parte de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?B ?SC)
(
and
(
instance
?B
Breaking
)
(
causes
?C ?B)
(
subProcess
?B ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?B ?O)
(
patient
?SC ?O))))
Food.kif 980-992
Processo
e' uma
instancia
de
Crushing
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Objeto
Processo
Processo
Processo
e' uma
instancia
de
Breaking
Processo
causa
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Mudanca de Forma
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?SC)
(
and
(
result
?C ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?SC ?O))))
Food.kif 994-1003
Processo
e' uma
instancia
de
Crushing
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Objeto
Processo
Processo
e' o
resultado
de
Processo
Processo
e' uma
instancia
de
Mudanca de Forma
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?C
Curdling
)
(
patient
?C ?X)
(
instance
?X
Colloid
))
(
exists
(?S ?A)
(
and
(
instance
?S
Separating
)
(
subProcess
?S ?C)
(
patient
?S ?X)
(
result
?S ?A)
(
piece
?A ?X)
(
instance
?A
Substance
))))
Food.kif 3199-3211
Processo
e' uma
instancia
de
Curdling
Substancia
e' um
patient
de
Processo
Substancia
e' uma
instancia
de
Colloid
Processo
Substancia
Processo
e' uma
instancia
de
Separar
Processo
e' um
sub
-processo de
Processo
Substancia
e' um
patient
de
Processo
Substancia
e' o
resultado
de
Processo
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
instancia
de
Substancia
(=>
(
and
(
instance
?C
CurdlingMilk
)
(
instance
?M
Milk
)
(
patient
?C ?M))
(
exists
(?PH ?D ?H ?L)
(
and
(
measure
?M
(
MeasureFn
?PH
PHValue
))
(
instance
?D
Decreasing
)
(
subProcess
?D ?C)
(
patient
?D ?PH)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
equal
?PH ?H)
(
approximateValue
?H 6.5))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
equal
?PH ?L)
(
approximateValue
?L 4.5)))))
Food.kif 3226-3247
Processo
e' uma
instancia
de
CurdlingMilk
Fisico
e' uma
instancia
de
Milk
Fisico
e' um
patient
de
Processo
Numero Real
Processo
,
Entidade
and
Entidade
a
medida
de
Fisico
e'
Numero Real
PHValue
(s)
Processo
e' uma
instancia
de
Diminuir
Processo
e' um
sub
-processo de
Processo
Numero Real
e' um
patient
de
Processo
Numero Real
e'
igual
a
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Numero Real
e'
igual
a
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
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