Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
before
Sigma KEE - before
before
appearance as argument number 1
(
documentation
before
ChineseLanguage
"(
before
?POINT1 ?POINT2)的意思是 ?POINT1 在通用时 间轴上比 ?POINT2 先开始。")
chinese_format.kif 2707-2708
(
documentation
before
EnglishLanguage
"(
before
?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline.")
Merge.kif 8104-8105
(
documentation
before
JapaneseLanguage
"(
before
?POINT1 ?POINT2) とは、?POINT1が、ユニ バーサルタイムラインで ?POINT2に先行する、という意味である。")
japanese_format.kif 1430-1431
(
domain
before
1
TimePoint
)
Merge.kif 8101-8101
O argumento numero 1 de
before
e' uma
instancia
de
Ponto no tempo
(
domain
before
2
TimePoint
)
Merge.kif 8102-8102
O argumento numero 2 de
before
e' uma
instancia
de
Ponto no tempo
(
instance
before
IrreflexiveRelation
)
Merge.kif 8097-8097
before
e' uma
instancia
de
Relacao Irreflexiva
(
instance
before
TemporalRelation
)
Merge.kif 8096-8096
before
e' uma
instancia
de
Relacao Temporal
(
instance
before
TransitiveRelation
)
Merge.kif 8098-8098
before
e' uma
instancia
de
Relacao Transitiva
(
relatedInternalConcept
before
earlier
)
Merge.kif 8100-8100
before
e'
relacionado
internamente por SUMO a
earlier
(
subrelation
before
beforeOrEqual
)
Merge.kif 8099-8099
before
e' uma
sub
-relacao de
beforeOrEqual
appearance as argument number 2
(
format
ChineseLanguage
before
"%1%n在%2
before
发生")
chinese_format.kif 423-423
(
format
EnglishLanguage
before
"%1 %n{doesn't} happen%p{s}
before
%2")
english_format.kif 429-429
(
format
FrenchLanguage
before
"%1 %n{ne} se produit %n{pas} avant %2")
french_format.kif 246-246
(
format
ItalianLanguage
before
"%1 %n{non} succede%{s} prima di %2")
relations-it.txt 32-32
(
format
JapaneseLanguage
before
"%1 は %2 の
before
に happen%p{s} %n{ない}")
japanese_format.kif 2040-2040
(
format
PortugueseLanguage
before
"%1 %n{nao} comeca %n antes de %2")
portuguese_format.kif 198-198
(
format
cb
before
"%1 %n{dili} nahimo una sa %2")
relations-cb.txt 66-66
(
format
cz
before
"%1 %n{doesn't} happen%p{s}
before
%2'")
relations-cz.txt 251-251
(
format
de
before
"%1 geschieht vor %2 %n{nicht}")
relations-de.txt 550-550
(
format
hi
before
"%1 %2 ke pahale %n{nahiin} ghaTita hotaa hai")
relations-hindi.txt 76-76
(
format
ro
before
"%1 %n{nu} happen%t{se întâmplã}
before
%t{înainte de} %2")
relations-ro.kif 267-267
(
format
sv
before
"%1 inträffar %n{inte} före %2")
relations-sv.txt 267-267
(
format
tg
before
"%1 %n{hindi} nagaanap bago sa %2")
relations-tg.txt 80-80
(
termFormat
ChineseLanguage
before
"之前")
chinese_format.kif 424-424
(
termFormat
ChineseTraditionalLanguage
before
"之前")
domainEnglishFormat.kif 10534-10534
(
termFormat
EnglishLanguage
before
"before")
domainEnglishFormat.kif 10533-10533
(
termFormat
tg
before
"nagaanap bago")
relations-tg.txt 81-81
antecedent
(=>
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1)))
(
finishes
?INTERVAL1 ?INTERVAL2))
Merge.kif 8086-8094
O
comeco
de
Intervalo Temporal
comeca
antes
de o
comeco
de
Intervalo Temporal
o
fim
de
Intervalo Temporal
e'
igual
a o
fim
de
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
(=>
(
and
(
before
?POINT1 ?POINT2)
(
before
?POINT2 ?POINT3))
(
temporallyBetween
?POINT1 ?POINT2 ?POINT3))
Merge.kif 8176-8180
Ponto no tempo
comeca
antes
de
Ponto no tempo
Ponto no tempo
comeca
antes
de
Ponto no tempo
Ponto no tempo
e'
entre
Ponto no tempo
e
Ponto no tempo
(=>
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
starts
?INTERVAL1 ?INTERVAL2))
Merge.kif 8054-8062
O
comeco
de
Intervalo Temporal
e'
igual
a o
comeco
de
Intervalo Temporal
o
fim
de
Intervalo Temporal
comeca
antes
de o
fim
de
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
(=>
(
and
(
instance
?A
Ambulating
)
(
subProcess
?S1 ?A)
(
instance
?S1
Stepping
)
(
subProcess
?S2 ?A)
(
instance
?S2
Stepping
)
(
equal
?S1START
(
BeginFn
(
WhenFn
?S1)))
(
equal
?S2START
(
BeginFn
(
WhenFn
?S2)))
(
not
(
or
(
before
?S1START ?S2START)
(
before
?S2START ?S1START))))
(
equal
?S1 ?S2))
Mid-level-ontology.kif 501-514
Processo
e' uma
instancia
de
Ambulating
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Stepping
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Stepping
Processo
START e'
igual
a o
comeco
de
tempo
de existencia de
Processo
Processo
START e'
igual
a o
comeco
de
tempo
de existencia de
Processo
Processo
START comeca
antes
de
Processo
START
Processo
START comeca
antes
de
Processo
START
Processo
e'
igual
a
Processo
(=>
(
and
(
instance
?CD
CertificateOfDeposit
)
(
maturityDate
?CD ?MaturityDate)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?CD))
(
date
?Withdrawal ?DateOfWithdrawal)
(
before
(
EndFn
?DateOfWithdrawal)
(
BeginFn
?MaturityDate)))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?CD))
(
causes
?Withdrawal ?Penalty))))
FinancialOntology.kif 1087-1099
FinancialAccount
e' uma
instancia
de
CertificateOfDeposit
maturityDate
FinancialAccount
and
Dia
Processo
e' uma
instancia
de
Withdrawal
Processo
tem como
origem
CurrencyFn
FinancialAccount
a
data
de
Processo
e'
Dia
o
fim
de
Dia
comeca
antes
de o
comeco
de
Dia
Processo
Processo
e' uma
instancia
de
Penalty
Processo
termina
em
CurrencyFn
FinancialAccount
Processo
causa
Processo
(=>
(
and
(
instance
?F
Flooding
)
(
instance
?L
LandArea
)
(
eventLocated
?F ?L)
(
instance
?T
TimePoint
)
(
before
?T
(
WhenFn
?F)))
(
modalAttribute
(
holdsDuring
?T
(
instance
?L
SubmergedLandArea
))
Unlikely
))
Weather.kif 1598-1608
Processo
e' uma
instancia
de
Flooding
Objeto
e' uma
instancia
de
Area terrestre
eventLocated
Processo
and
Objeto
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
comeca
antes
de
tempo
de existencia de
Processo
o argumento
Objeto
e' uma
instancia
de
SubmergedLandArea
vale
durante
Ponto no tempo
tem a
forca
modal
de
Unlikely
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
_CLASS
Intervalo Temporal
_CLASS e' uma
sub
-classe de
Processo
AccessingWebPage
e' uma
instancia
de
AccessingWebPage
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Intervalo Temporal
e' um
agente
de
AutonomousAgent
AccessingWebPage
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontece
durante
AccessingWebPage
Fisico
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
2
Intervalo Temporal
2 e' uma
instancia
de
Intervalo Temporal
_CLASS
Intervalo Temporal
2 e' um
agente
de
AutonomousAgent
Intervalo Temporal
2 acontece
durante
AccessingWebPage
o
comeco
de
tempo
de existencia de
Intervalo Temporal
2 comeca
antes
de o
comeco
de
tempo
de existencia de
Intervalo Temporal
o
comeco
de
tempo
de existencia de
AccessingWebPage
e'
igual
a o
comeco
de
tempo
de existencia de
Fisico
o
comeco
de
tempo
de existencia de
Intervalo Temporal
e'
igual
a o
fim
de
tempo
de existencia de
Fisico
TTFxFn
Intervalo Temporal
_CLASS and
AccessingWebPage
e'
igual
a
Fisico
(=>
(
and
(
instance
?TI1
TimeInterval
)
(
instance
?TI2
TimeInterval
)
(
beforeOrEqual
(
BeginFn
?TI2)
(
BeginFn
?TI1))
(
before
(
BeginFn
?TI1)
(
EndFn
?TI2)))
(
overlapsTemporally
?TI2 ?TI1))
Merge.kif 8269-8279
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
o
comeco
de
Intervalo Temporal
ocorre
antes ou durante o
comeco
de
Intervalo Temporal
o
comeco
de
Intervalo Temporal
comeca
antes
de o
fim
de
Intervalo Temporal
Intervalo Temporal
engloba
Intervalo Temporal
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsRight
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2669-2685
Agreement
tem um
atributo
de
Option
optionHolder
Agreement
and
Agente Cognitivo
strikePrice
Agreement
and
Medida de Divisa
agreementExpirationDate
Agreement
and
Intervalo Temporal
price
FinancialInstrument
,
Medida de Divisa
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Intervalo Temporal
o
fim
de
AutonomousAgent
comeca
antes
de o
comeco
de
Intervalo Temporal
underlier
Agreement
and
FinancialInstrument
Agente Cognitivo
tem o
direito
de executar a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsRight
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2623-2639
Agreement
tem um
atributo
de
Option
optionHolder
Agreement
and
Agente Cognitivo
strikePrice
Agreement
and
Medida de Divisa
agreementExpirationDate
Agreement
and
Intervalo Temporal
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
Medida de Divisa
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Intervalo Temporal
o
fim
de
AutonomousAgent
comeca
antes
de o
comeco
de
Intervalo Temporal
Agente Cognitivo
tem o
direito
de executar a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2687-2703
Agreement
tem um
atributo
de
Option
optionSeller
Agreement
and
Agente Cognitivo
strikePrice
Agreement
and
Medida de Divisa
agreementExpirationDate
Agreement
and
Intervalo Temporal
price
FinancialInstrument
,
Medida de Divisa
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Intervalo Temporal
o
fim
de
AutonomousAgent
comeca
antes
de o
comeco
de
Intervalo Temporal
underlier
Agreement
and
FinancialInstrument
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Seller)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2641-2659
Agreement
tem um
atributo
de
Option
optionSeller
Agreement
and
Agente Cognitivo
strikePrice
Agreement
and
Medida de Divisa
agreementExpirationDate
Agreement
and
Intervalo Temporal
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
Medida de Divisa
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Intervalo Temporal
o
fim
de
AutonomousAgent
comeca
antes
de o
comeco
de
Intervalo Temporal
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
instance
?Account
FinancialAccount
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
amountDue
?Account ?Amount ?DueDate)
(
before
(
EndFn
?Date)
(
BeginFn
?DueDate)))
(
instance
?Payment
Prepayment
))
FinancialOntology.kif 834-842
transactionAmount
Transacao Financeira
and
Medida de Divisa
a
data
de
Transacao Financeira
e'
Dia
FinancialAccount
e' uma
instancia
de
FinancialAccount
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
amountDue
FinancialAccount
,
Medida de Divisa
and
Intervalo Temporal
o
fim
de
Dia
comeca
antes
de o
comeco
de
Intervalo Temporal
Transacao Financeira
e' uma
instancia
de
Prepayment
(=>
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
earlier
?INTERVAL1 ?INTERVAL2))
Merge.kif 8382-8384
O
fim
de
Intervalo Temporal
comeca
antes
de o
comeco
de
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
(=>
(
or
(
before
?POINT1 ?POINT2)
(
equal
?POINT1 ?POINT2))
(
beforeOrEqual
?POINT1 ?POINT2))
Merge.kif 8151-8155
Ponto no tempo
comeca
antes
de
Ponto no tempo
Ponto no tempo
e'
igual
a
Ponto no tempo
Ponto no tempo
ocorre
antes ou durante
Ponto no tempo
consequent
(=>
(
albumRelease
?A ?T)
(
and
(
exists
(?R1 ?DS1)
(
releaseForSale
(
AlbumCopiesFn
?A ?DS1) ?R1 ?T))
(
not
(
exists
(?B ?R2 ?DS2)
(
and
(
before
?B ?T)
(
releaseForSale
(
AlbumCopiesFn
?A ?DS2) ?R2 ?B))))))
Music.kif 261-270
albumRelease
Album
and
Ponto no tempo
Area Geografica
DataStorageDevice
releaseForSale
AlbumCopiesFn
Album
and
DataStorageDevice
,
Area Geografica
and
Ponto no tempo
Ponto no tempo
Area Geografica
and
DataStorageDevice
Ponto no tempo
comeca
antes
de
Ponto no tempo
releaseForSale
AlbumCopiesFn
Album
and
DataStorageDevice
,
Area Geografica
and
Ponto no tempo
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6231-6244
allergic
Humano
and
Substancia
Substancia
UB e' uma
instancia
de
Substancia
Substancia
UB
encontra
Humano
vale
durante
Posicao Temporal
o argumento
Entidade
Entidade
e' uma
instancia
de
AllergicReaction
Humano
experimenta
Entidade
tempo
de existencia de
Entidade
engloba
Posicao Temporal
o
comeco
de
Posicao Temporal
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
attribute
?MR
CoverRecording
)
(
instance
?MR
MusicRecording
)
(
songArtist
?MR ?A)
(
musicInterpretation
?MR ?M)
(
record
?MR ?MM))
(
exists
(?ORIG ?ARTIST ?MUSIC)
(
and
(
musicInterpretation
?ORIG ?M)
(
songArtist
?ORIG ?ARTIST)
(
not
(
equal
?A ?ARTIST))
(
record
?ORIG ?MUSIC)
(
before
(
WhenFn
?MUSIC)
(
WhenFn
?MM)))))
Music.kif 457-470
CoverRecording
e' um
atributo
de
MusicRecording
MusicRecording
e' uma
instancia
de
MusicRecording
songArtist
MusicRecording
and
Agente Cognitivo
musicInterpretation
MusicRecording
and
Musica
record
MusicRecording
and
Musica
M
MusicRecording
Agente Cognitivo
RTIST and
Musica
USIC
musicInterpretation
MusicRecording
and
Musica
songArtist
MusicRecording
and
Agente Cognitivo
RTIST
Agente Cognitivo
e'
igual
a
Agente Cognitivo
RTIST
record
MusicRecording
and
Musica
USIC
tempo
de existencia de
Musica
USIC comeca
antes
de
tempo
de existencia de
Musica
M
(=>
(
and
(
checkOutTime
?HOTEL ?TIME)
(
guest
?GUEST ?HOTEL))
(
expects
?HOTEL
(
exists
(?T ?C)
(
and
(
instance
?T ?TIME)
(
patient
?C ?GUEST)
(
instance
?C
CheckOutService
)
(
agent
?C ?HOTEL)
(
before
(
BeginFn
(
WhenFn
?C)) ?T)))))
Hotel.kif 684-695
checkOutTime
Agente Cognitivo
and
Ponto no tempo
guest
Agente Cognitivo
and
Agente Cognitivo
expects
Agente Cognitivo
and
Entidade
Entidade
Entidade
e' uma
instancia
de
Ponto no tempo
Agente Cognitivo
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
CheckOutService
Entidade
e' um
agente
de
Agente Cognitivo
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de
Entidade
(=>
(
and
(
destination
?MSG ?TELEX)
(
instance
?MSG
Messaging
)
(
patient
?MSG ?M)
(
instance
?TELEX
Telex
))
(
exists
(?PROC ?TEXT)
(
and
(
instrument
?PROC ?TELEX)
(
result
?PROC ?TEXT)
(
represents
?TEXT ?M)
(
instance
?TEXT
Text
)
(
before
(
BeginFn
(
WhenFn
?MSG))
(
BeginFn
(
WhenFn
?PROC))))))
Communications.kif 202-214
Processo
termina
em
Objeto
Processo
e' uma
instancia
de
Messaging
Entidade
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Telex
Processo
Entidade
Objeto
e' um
instrumento
para
Processo
Entidade
e' o
resultado
de
Processo
Entidade
define
Entidade
Entidade
e' uma
instancia
de
Texto
o
comeco
de
tempo
de existencia de
Processo
comeca
antes
de o
comeco
de
tempo
de existencia de
Processo
(=>
(
and
(
earlier
?TI1 ?TI2)
(
instance
?P1
TimePoint
)
(
instance
?P2
TimePoint
)
(
temporalPart
?P1 ?TI1)
(
temporalPart
?P2 ?TI2))
(
before
?P1 ?P2))
Merge.kif 8281-8288
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e' uma &parte de
Intervalo Temporal
Ponto no tempo
e' uma &parte de
Intervalo Temporal
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
and
(
equal
(
EditionFn
?TEXT ?INT1) ?EDITION1)
(
equal
(
EditionFn
?TEXT ?INT2) ?EDITION2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?EDITION1)
(
instance
?CBO2 ?EDITION2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Merge.kif 15515-15532
Edicao
Inteiro positivo
de
Objeto Representendo Conteudo Abstrato
e'
igual
a
Objeto Representendo Conteudo Abstrato
edicao
Inteiro positivo
de
Objeto Representendo Conteudo Abstrato
e'
igual
a
Objeto Representendo Conteudo Abstrato
Inteiro positivo
e'
maior
que
Inteiro positivo
Processo
e' uma
instancia
de
Publicacao
Processo
e' uma
instancia
de
Publicacao
Entidade
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Entidade
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
a
data
de
Processo
e'
Dia
a
data
de
Processo
e'
Dia
o
fim
de
Dia
comeca
antes
de o
fim
de
Dia
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
benefits
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 22920-22925
Ponto no tempo
e'
igual
a o
comeco
de
tempo
de existencia de
Processo
Ponto no tempo
e'
igual
a o
fim
de
tempo
de existencia de
AutonomousAgent
benefits
Processo
and
AutonomousAgent
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
suffers
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 29595-29604
Ponto no tempo
e'
igual
a o
comeco
de
tempo
de existencia de
Processo
Ponto no tempo
e'
igual
a o
fim
de
tempo
de existencia de
AutonomousAgent
suffers
Processo
and
AutonomousAgent
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?T1
(
BeginFn
?D1))
(
equal
?T2
(
BeginFn
?D2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8722-8729
Intervalo Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Intervalo Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
Inteiro positivo
e'
maior
que
Inteiro positivo
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
and
(
instance
?Loan
InterestOnlyLoan
)
(
agreementPeriod
?Loan ?Period)
(
principalAmount
?Loan ?Principal)
(
interestEarned
?Loan ?Interest ?Period))
(
and
(
amountDue
?Loan ?Principal
(
EndFn
?Period))
(
amountDue
?Loan ?Interest ?Date)
(
before
(
EndFn
?Date)
(
EndFn
?Period))))
FinancialOntology.kif 1615-1624
FinancialAccount
e' uma
instancia
de
InterestOnlyLoan
agreementPeriod
FinancialAccount
and
Intervalo Temporal
principalAmount
FinancialAccount
and
Medida de Divisa
interestEarned
FinancialAccount
,
Interest
and
Intervalo Temporal
amountDue
FinancialAccount
,
Medida de Divisa
and o
fim
de
Intervalo Temporal
amountDue
FinancialAccount
,
Interest
and
Intervalo Temporal
o
fim
de
Intervalo Temporal
comeca
antes
de o
fim
de
Intervalo Temporal
(=>
(
and
(
instance
?M1
(
MonthFn
?N1
(
YearFn
?Y)))
(
instance
?M2
(
MonthFn
?N2
(
YearFn
?Y)))
(
equal
?T1
(
BeginFn
?M1))
(
equal
?T2
(
BeginFn
?M2))
(
successorClass
?N1 ?N2))
(
before
?T1 ?T2))
Merge.kif 8706-8713
Intervalo Temporal
e' uma
instancia
de o
mes
Mes
Intervalo Temporal
e' uma
instancia
de o
mes
Mes
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
successorClass
Mes
and
Mes
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
NegativeInfinity
)))
(
before
NegativeInfinity
?POINT))
Merge.kif 7887-7891
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e'
igual
a
NegativeInfinity
NegativeInfinity
comeca
antes
de
Ponto no tempo
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
PositiveInfinity
)))
(
before
?POINT
PositiveInfinity
))
Merge.kif 7869-7873
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e'
igual
a
PositiveInfinity
Ponto no tempo
comeca
antes
de
PositiveInfinity
(=>
(
and
(
instance
?REMEMBER
Remembering
)
(
patient
?REMEMBER ?FORMULA))
(
exists
(?TIME)
(
and
(
holdsDuring
?TIME ?FORMULA)
(
or
(
before
?TIME
(
WhenFn
?REMEMBER))
(
earlier
?TIME
(
WhenFn
?REMEMBER))))))
Merge.kif 12163-12172
Processo
e' uma
instancia
de
Recordar
Formula
e' um
patient
de
Processo
Intervalo Temporal
Formula
vale
durante
Intervalo Temporal
Intervalo Temporal
comeca
antes
de
tempo
de existencia de
Processo
Intervalo Temporal
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?SHOCK
Aftershock
)
(
eventLocated
?SHOCK ?PLACE))
(
exists
(?TREMOR)
(
and
(
instance
?TREMOR
EarthTremor
)
(
eventLocated
?TREMOR ?PLACE)
(
before
(
WhenFn
?TREMOR)
(
WhenFn
?SHOCK)))))
Geography.kif 2328-2338
Processo
e' uma
instancia
de
Aftershock
eventLocated
Processo
and
Objeto
Processo
Processo
e' uma
instancia
de
EarthTremor
eventLocated
Processo
and
Objeto
tempo
de existencia de
Processo
comeca
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?TI
TimeInterval
)
(
equal
?S
(
BeginFn
?TI))
(
equal
?E
(
EndFn
?TI)))
(
before
?S ?E))
Merge.kif 8262-8267
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
Ponto no tempo
e'
igual
a o
fim
de
Intervalo Temporal
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
and
(
instance
?X
Buffet
)
(
member
?ITEM ?X)
(
located
?X ?LOC1)
(
instance
?E
Eating
)
(
agent
?E ?AGENT)
(
eventLocated
?E ?LOC2)
(
patient
?E ?ITEM))
(
and
(
not
(
equal
?LOC1 ?LOC2))
(
exists
(?G)
(
and
(
instance
?G
Getting
)
(
patient
?G ?ITEM)
(
origin
?G ?LOC1)
(
agent
?G ?AGENT)
(
before
(
WhenFn
?G)
(
WhenFn
?E))))))
Dining.kif 274-291
Colecao
e' uma
instancia
de
Buffet
Fisico
e'
membro
de
Colecao
Colecao
e'
situado
em
Objeto
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
AutonomousAgent
eventLocated
Processo
and
Objeto
Fisico
e' um
patient
de
Processo
Objeto
e'
igual
a
Objeto
Processo
Processo
e' uma
instancia
de
Obter
Fisico
e' um
patient
de
Processo
Processo
tem como
origem
Objeto
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
comeca
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26973-26999
Fisico
e' uma
instancia
de
SurveillanceSystem
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
Colecao
e'
situado
em
Objeto
Colecao
e' uma
instancia
de
Camera
Colecao
e'
situado
em
Objeto
Objeto
e'
igual
a
Objeto
Colecao
e' uma
instancia
de
VideoDisplay
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
eventLocated
Entidade
and
Objeto
Entidade
define
Entidade
Camera
e' um
instrumento
para
Entidade
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Luz Irradiante
Colecao
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
o
comeco
de
Entidade
comeca
antes
de o
comeco
de
Entidade
o
comeco
de
Entidade
comeca
antes
de o
comeco
de
Entidade
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
?T1
(
BeginFn
?Y1))
(
equal
?T2
(
BeginFn
?Y2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8690-8697
Intervalo Temporal
e' uma
instancia
de o
ano
Numero Inteiro
Intervalo Temporal
e' uma
instancia
de o
ano
Numero Inteiro
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
Numero Inteiro
e'
maior
que
Numero Inteiro
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
and
(
property
?Option
AmericanStyleOption
)
(
optionHolder
?Option ?Agent)
(
agreementExpirationDate
?Option ?Day))
(
holdsRight
(
exists
(?Exercise)
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
before
(
EndFn
(
WhenFn
?Exercise))
(
EndFn
?Day)))) ?Agent))
FinancialOntology.kif 2788-2800
Agreement
tem um
atributo
de
AmericanStyleOption
optionHolder
Agreement
and
Agente Cognitivo
agreementExpirationDate
Agreement
and
Ponto no tempo
Agente Cognitivo
tem o
direito
de executar
Entidade
Entidade
e' uma
instancia
de
ExerciseAnOption
Agreement
e' um
patient
de
Entidade
o
fim
de
tempo
de existencia de
Entidade
comeca
antes
de o
fim
de
Ponto no tempo
(=>
(
and
(
subclass
?TEXT
Periodical
)
(
equal
(
SeriesVolumeFn
?TEXT ?INT1) ?VOLUME1)
(
equal
(
SeriesVolumeFn
?TEXT ?INT2) ?VOLUME2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?VOLUME1)
(
instance
?CBO2 ?VOLUME2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Mid-level-ontology.kif 14624-14638
Serie
e' uma
sub
-classe de
Periodico
o volume
Inteiro positivo
na
serie
Serie
e'
igual
a
Texto
o volume
Inteiro positivo
na
serie
Serie
e'
igual
a
Texto
Inteiro positivo
e'
maior
que
Inteiro positivo
Processo
e' uma
instancia
de
Publicacao
Processo
e' uma
instancia
de
Publicacao
Entidade
e' uma
instancia
de
Texto
Entidade
e' uma
instancia
de
Texto
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
a
data
de
Processo
e'
Dia
a
data
de
Processo
e'
Dia
o
fim
de
Dia
comeca
antes
de o
fim
de
Dia
(=>
(
beforeOrEqual
?POINT1 ?POINT2)
(
or
(
before
?POINT1 ?POINT2)
(
equal
?POINT1 ?POINT2)))
Merge.kif 8145-8149
Ponto no tempo
ocorre
antes ou durante
Ponto no tempo
Ponto no tempo
comeca
antes
de
Ponto no tempo
Ponto no tempo
e'
igual
a
Ponto no tempo
(=>
(
burnInPeriod
?EXP ?INTERVAL)
(
before
(
EndFn
?INTERVAL)
(
EndFn
(
WhenFn
?EXP))))
UXExperimentalTerms.kif 4317-4321
burnInPeriod
Experimenting
and
Intervalo Temporal
o
fim
de
Intervalo Temporal
comeca
antes
de o
fim
de
tempo
de existencia de
Experimenting
(=>
(
checkInTime
?HOTEL ?TIME)
(
modalAttribute
(
exists
(?T ?C)
(
and
(
instance
?T ?TIME)
(
instance
?C
CheckInService
)
(
agent
?C ?HOTEL)
(
before
(
BeginFn
(
WhenFn
?C)) ?T)))
Unlikely
))
Hotel.kif 667-675
checkInTime
Organizacao
and
Ponto no tempo
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Ponto no tempo
Entidade
e' uma
instancia
de
CheckInService
Entidade
e' um
agente
de
Organizacao
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de
Entidade
tem a
forca
modal
de
Unlikely
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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