ImmediateFutureFn
(=>
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
attribute
?A
Injury
)))
Medicine.kif 104-111
Processo
e' uma
instancia
de
Ferir
AutonomousAgent
experimenta
Processo
Injury
e' um
atributo
de
AutonomousAgent
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?IRRIGATION
Irrigating
)
(
patient
?IRRIGATION ?AREA)
(
instance
?AREA
LandArea
))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?IRRIGATION))
(
attribute
?AREA
Dry
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?IRRIGATION))
(
attribute
?AREA
Damp
))))
Geography.kif 5711-5718
Processo
e' uma
instancia
de
Irrigating
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Area terrestre
Dry
e' um
atributo
de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Damp
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?JOIN))
(
employs
?ORG ?PERSON)))
Merge.kif 10620-10629
Processo
e' uma
instancia
de
Empregar
AutonomousAgent
e' uma
instancia
de
Organizacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
emprega
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Kill))
(
not
(
attribute
?Order
ActiveAgreement
))))
FinancialOntology.kif 2835-2842
Processo
e' uma
instancia
de
CancellingAnOrder
Entidade
e' um
patient
de
Processo
ActiveAgreement
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?Loan
CallableLoan
)
(
lender
?Loan ?Lender)
(
borrower
?Loan ?Borrower)
(
totalBalance
?Loan ?Amount)
(
instance
?Call
Call
)
(
agent
?Call ?Lender)
(
patient
?Call ?Loan))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
destination
?Payment ?Lender)
(
time
?Payment
(
ImmediateFutureFn
(
WhenFn
?Call)))
(
transactionAmount
?Payment ?Amount))) ?Borrower))
FinancialOntology.kif 1428-1443
Loan
e' uma
instancia
de
CallableLoan
lender
Loan
and
Agente Cognitivo
borrower
Loan
and
Agente Cognitivo
totalBalance
Loan
and
Medida de Divisa
Processo
e' uma
instancia
de
Call
Processo
e' um
agente
de
Agente Cognitivo
Loan
e' um
patient
de
Processo
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
instance
?Loan
Loan
)
(
securedBy
?Loan ?Security)
(
lender
?Loan ?Bank)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Loan))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Bank ?Security)))
FinancialOntology.kif 1334-1343
Loan
e' uma
instancia
de
Loan
securedBy
Loan
and
Collateral
lender
Loan
and
Agente Cognitivo
Processo
e' uma
instancia
de
FinancialDefault
Loan
e' um
patient
de
Processo
Agente Cognitivo
possui
Collateral
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?MB
MeasuringBreathing
)
(
agent
?MB ?A)
(
instance
?L
Lung
)
(
part
?L ?P)
(
instance
?T
TimeInterval
)
(
during
?T
(
WhenFn
?MB))
(
duration
?T
MinuteDuration
)
(
patient
?MB ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MB))
(
exists
(?BR)
(
knows
?A
(
breathingRate
?L ?T ?BR)))))
Medicine.kif 466-482
Processo
e' uma
instancia
de
MeasuringBreathing
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' uma
instancia
de
Lung
Objeto
e' uma &parte de
Objeto
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
acontece
durante
tempo
de existencia de
Processo
a
duracao
de
Intervalo Temporal
e'
MinuteDuration
Objeto
e' um
patient
de
Processo
Entidade
AutonomousAgent
sabe
breathingRate
Objeto
,
Intervalo Temporal
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?MIT
BarMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Boy
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 69-85
Processo
e' uma
instancia
de
BarMitzvah
Humano
e' um
patient
de
Processo
Humano
e' uma
instancia
de
Boy
Humano
e'
membro
de
Colecao
Colecao
e' uma
instancia
de
Judaism
birthdate
Humano
and
Dia
Dia
e' uma
instancia
de o
dia
Inteiro positivo
Numero Inteiro
Posicao Temporal
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
Numero Inteiro
e'
igual
a (
Numero Inteiro
+ 13)
Posicao Temporal
e' uma
instancia
de o
dia
Inteiro positivo
tempo
de existencia de
Processo
e'
igual
a imediatemente
apos
Posicao Temporal
(=>
(
and
(
instance
?MIT
BatMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Girl
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 99-115
Processo
e' uma
instancia
de
BatMitzvah
Humano
e' um
patient
de
Processo
Humano
e' uma
instancia
de
Girl
Humano
e'
membro
de
Colecao
Colecao
e' uma
instancia
de
Judaism
birthdate
Humano
and
Dia
Dia
e' uma
instancia
de o
dia
Inteiro positivo
Numero Inteiro
Posicao Temporal
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
Numero Inteiro
e'
igual
a (
Numero Inteiro
+ 13)
Posicao Temporal
e' uma
instancia
de o
dia
Inteiro positivo
tempo
de existencia de
Processo
e'
igual
a imediatemente
apos
Posicao Temporal
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))))
emotion.kif 1393-1411
Processo
e' uma
instancia
de
MovingAwayFromPeople
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
,
Numero Real
and
Numero Real
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
UnitOfLength
a
distancia
entre
Processo
e
AutonomousAgent
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
a
distancia
entre
Processo
e
AutonomousAgent
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D1 ?D2))))
emotion.kif 1427-1445
Processo
e' uma
instancia
de
MovingTowardsPeople
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
,
Numero Real
and
Numero Real
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
UnitOfLength
a
distancia
entre
Processo
e
AutonomousAgent
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
a
distancia
entre
Processo
e
AutonomousAgent
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?N
Nausea
)
(
experiencer
?N ?H))
(
believes
?H
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?N))
(
exists
(?V)
(
and
(
instance
?V
Vomiting
)
(
experiencer
?V ?H))))))
Mid-level-ontology.kif 21432-21443
Processo
e' uma
instancia
de
Nausea
Agente Cognitivo
experimenta
Processo
Agente Cognitivo
acredita
que
Entidade
Entidade
e' uma
instancia
de
Vomiting
Agente Cognitivo
experimenta
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17638-17656
Intervalo Temporal
e' uma
instancia
de
Pulling
Intervalo Temporal
tem como
origem
Objeto
Intervalo Temporal
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
situado
em
AutonomousAgent
LOC
vale
durante o
comeco
de
Intervalo Temporal
Intervalo Temporal
termina
em
Entidade
Entidade
Entidade
and
Entidade
a
distancia
entre
AutonomousAgent
LOC e
Entidade
e'
Entidade
Entidade
(s) a
distancia
entre
AutonomousAgent
LOC e
Objeto
e'
Entidade
Entidade
(s)
Entidade
e'
maior
que
Entidade
vale
durante imediatemente
apos
o
comeco
de
Intervalo Temporal
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17616-17634
Intervalo Temporal
e' uma
instancia
de
Pushing
Intervalo Temporal
tem como
origem
Objeto
Intervalo Temporal
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
situado
em
AutonomousAgent
LOC
vale
durante o
comeco
de
Intervalo Temporal
Intervalo Temporal
termina
em
Entidade
Entidade
Entidade
and
Entidade
a
distancia
entre
AutonomousAgent
LOC e
Entidade
e'
Entidade
Entidade
(s) a
distancia
entre
AutonomousAgent
LOC e
Objeto
e'
Entidade
Entidade
(s)
Entidade
e'
maior
que
Entidade
vale
durante imediatemente
apos
o
comeco
de
Intervalo Temporal
(=>
(
and
(
instance
?PROCESS
FreezingRain
)
(
patient
?PROCESS ?STUFF)
(
instance
?STUFF
Water
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?PROCESS))
(
attribute
?STUFF
Solid
)))
Weather.kif 1091-1096
Processo
e' uma
instancia
de
FreezingRain
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Agua
Solid
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 408-424
Transacao Financeira
e' uma
instancia
de
Payment
Transacao Financeira
tem como
origem
CurrencyFn
FinancialAccount
FinancialAccount
e' uma
instancia
de
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
currentAccountBalance
FinancialAccount
, imediatemente
antes
de
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
currentAccountBalance
FinancialAccount
, imediatemente
apos
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
(=>
(
and
(
instance
?R
RelievingPain
)
(
patient
?R ?H))
(
and
(
exists
(?P1)
(
and
(
overlapsTemporally
(
WhenFn
?P1)
(
ImmediatePastFn
(
WhenFn
?R)))
(
instance
?P1
Pain
)
(
located
?P1 ?H)))
(
not
(
exists
(?P2)
(
and
(
overlapsTemporally
(
WhenFn
?P2)
(
ImmediateFutureFn
(
WhenFn
?R)))
(
instance
?P2
Pain
)
(
located
?P2 ?H))))))
Mid-level-ontology.kif 5779-5798
Processo
e' uma
instancia
de
RelievingPain
Objeto
e' um
patient
de
Processo
Fisico
imediatemente
antes
de
tempo
de existencia de
Processo
engloba
tempo
de existencia de
Fisico
Fisico
e' uma
instancia
de
Pain
Fisico
e'
situado
em
Objeto
Fisico
imediatemente
apos
tempo
de existencia de
Processo
engloba
tempo
de existencia de
Fisico
Fisico
e' uma
instancia
de
Pain
Fisico
e'
situado
em
Objeto
(=>
(
and
(
instance
?SINKING
LandSubsidence
)
(
patient
?SINKING ?LAND)
(
instance
?LAND
LandArea
)
(
instance
?U
UnitOfLength
)
(
elevation
?LAND
(
MeasureFn
?HEIGHT1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SINKING))
(
exists
(?HEIGHT2)
(
and
(
elevation
?LAND
(
MeasureFn
?HEIGHT2 ?U))
(
lessThan
?HEIGHT2 ?HEIGHT1)))))
Geography.kif 6779-6792
Processo
e' uma
instancia
de
LandSubsidence
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Area terrestre
Unidade de Medida
e' uma
instancia
de
UnitOfLength
elevation
Objeto
and
Numero Real
Unidade de Medida
(s)
Entidade
elevation
Objeto
and
Entidade
Unidade de Medida
(s)
Entidade
e'
menos
que
Numero Real
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
exists
(?VAC)
(
and
(
instance
?VAC
Vaccine
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?V)
(
contains
?H ?VAC))))))
WMD.kif 1071-1081
Processo
e' uma
instancia
de
Vaccination
AutonomousAgent
experimenta
Processo
Processo
AC
Processo
AC e' uma
instancia
de
Vaccine
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
Objeto
e' uma
instancia
de
VentedChestSeal
Transferencia
e' uma
instancia
de
Colar
objectTransferred
Transferencia
and
Objeto
Transferencia
termina
em
Entidade
Objeto
tem por
fim
Transferencia
Entidade
,
Entidade
and
Entidade
Transferencia
e' uma
instancia
de
Air
Entidade
e' uma
instancia
de
Lung
Entidade
e' uma
instancia
de
Chest
Entidade
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Entidade
Transferencia
esta'
entre
Entidade
e
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Transferencia
Objeto
tem por
fim
Transferencia
e'
Outside
em relacao a
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Transferencia
(=>
(
and
(
instance
?WEARING
Erosion
)
(
instance
?LAND
LandForm
)
(
patient
?WEARING ?LAND)
(
instance
?U
UnitOfVolume
)
(
measure
?LAND
(
MeasureFn
?SIZE1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WEARING))
(
exists
(?SIZE2)
(
and
(
measure
?LAND
(
MeasureFn
?SIZE2 ?U))
(
lessThan
?SIZE2 ?SIZE1)))))
Geography.kif 2689-2702
Processo
e' uma
instancia
de
Erosion
Fisico
e' uma
instancia
de
LandForm
Fisico
e' um
patient
de
Processo
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
a
medida
de
Fisico
e'
Numero Real
Unidade de Medida
(s)
Entidade
a
medida
de
Fisico
e'
Entidade
Unidade de Medida
(s)
Entidade
e'
menos
que
Numero Real
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal ?Account)
(
transactionAmount
?Withdrawal
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Withdrawal))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Withdrawal))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 466-481
Transacao Financeira
e' uma
instancia
de
Withdrawal
FinancialAccount
e' uma
instancia
de
FinancialAccount
Transacao Financeira
tem como
origem
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
currentAccountBalance
FinancialAccount
, imediatemente
antes
de
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
currentAccountBalance
FinancialAccount
, imediatemente
apos
apos
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1 ?WRITE2)
(
and
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
earlier
(
WhenFn
?FABRICATION)
(
WhenFn
?WRITE1))
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)))
Media.kif 768-788
Entidade
e' uma
instancia
de
ReadOnlyMemoryDataStorage
Processo
e' uma
instancia
de
Manufatura
Entidade
e' o
resultado
de
Processo
o argumento
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Desenvolvimento de Conteudo
Entidade
e' uma
instancia
de
DeletingData
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
stored
Entidade
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Entidade
nao %n a
forca
modal
de
Possibility
(=>
(
and
(
lifeStageAchieved
?BDE ?LST)
(
experiencer
?BDE ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?BDE))
(
instance
?OBJ ?LST)))
VirusProteinAndCellPart.kif 228-235
lifeStageAchieved
Processo Biologico
and
Atributo Desenvolvimental
AutonomousAgent
experimenta
Processo Biologico
AutonomousAgent
e' uma
instancia
de
Atributo Desenvolvimental
vale
durante imediatemente
apos
tempo
de existencia de
Processo Biologico
(=>
(
and
(
possesses
?Agent ?Stocks)
(
measure
?Stocks
(
MeasureFn
?Number
ShareUnit
))
(
splitFor
?Event ?N1 ?N2))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Event))
(
and
(
equal
?N3
(
MultiplicationFn
?Number ?N2))
(
equal
?NewNumber
(
DivisionFn
?N3 ?N1))
(
measure
?Stocks
(
MeasureFn
?NewNumber
ShareUnit
)))))
FinancialOntology.kif 2229-2239
AutonomousAgent
possui
Objeto
a
medida
de
Objeto
e'
Numero Real
ShareUnit
(s)
splitFor
StockSplit
,
Numero Inteiro
and
Numero Inteiro
Entidade
e'
igual
a
Numero Real
+
Numero Inteiro
Entidade
e'
igual
a
Entidade
+
Numero Inteiro
a
medida
de
Objeto
e'
Entidade
ShareUnit
(s)
vale
durante imediatemente
apos
tempo
de existencia de
StockSplit
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