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
Il numero 1 argomenti di
before
è un
istanza
di
PuntoTemporale
(
domain
before
2
TimePoint
)
Merge.kif 8102-8102
Il numero 2 argomenti di
before
è un
istanza
di
PuntoTemporale
(
instance
before
IrreflexiveRelation
)
Merge.kif 8097-8097
before
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
before
TemporalRelation
)
Merge.kif 8096-8096
before
è un'
istanza
di
RelazioneTemporale
(
instance
before
TransitiveRelation
)
Merge.kif 8098-8098
before
è un'
istanza
di
RelazioneTransitiva
(
relatedInternalConcept
before
earlier
)
Merge.kif 8100-8100
before
è
interamente
correlato a
earlier
(
subrelation
before
beforeOrEqual
)
Merge.kif 8099-8099
before
è una
sottorelazione
di
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
L'
inizio
di
IntervalloTemporale
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
is
uguale
a la
fine
di
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
(=>
(
and
(
before
?POINT1 ?POINT2)
(
before
?POINT2 ?POINT3))
(
temporallyBetween
?POINT1 ?POINT2 ?POINT3))
Merge.kif 8176-8180
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
PuntoTemporale
is
tra
PuntoTemporale
e
PuntoTemporale
(=>
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
starts
?INTERVAL1 ?INTERVAL2))
Merge.kif 8054-8062
L'
inizio
di
IntervalloTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
succede%{s}
prima
di la
fine
di
IntervalloTemporale
IntervalloTemporale
inizia
s
IntervalloTemporale
(=>
(
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
è un'
istanza
di
Ambulating
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
Stepping
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
Stepping
Processo
START is
uguale
a l'
inizio
di il
tempo
di esistenza di
Processo
Processo
START is
uguale
a l'
inizio
di il
tempo
di esistenza di
Processo
Processo
START succede%{s}
prima
di
Processo
START
Processo
START succede%{s}
prima
di
Processo
START
Processo
is
uguale
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
è un'
istanza
di
CertificateOfDeposit
maturityDate
FinancialAccount
and
Giorno
Processo
è un'
istanza
di
Withdrawal
Processo
si
originas in
CurrencyFn
FinancialAccount
data
di
Processo
è
Giorno
la
fine
di
Giorno
succede%{s}
prima
di l'
inizio
di
Giorno
Processo
Processo
è un'
istanza
di
Penalty
Processo
fine
s in
CurrencyFn
FinancialAccount
Processo
causa
s
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
è un'
istanza
di
Flooding
Oggetto
è un'
istanza
di
SuperficieTerrestre
eventLocated
Processo
and
Oggetto
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
succede%{s}
prima
di il
tempo
di esistenza di
Processo
l'affermazione
Oggetto
è un'
istanza
di
SubmergedLandArea
vales
durante
PuntoTemporale
ha il modello di forza di
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
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
_CLASS
IntervalloTemporale
_CLASS è una
sottoclasse
di
Processo
AccessingWebPage
è un'
istanza
di
AccessingWebPage
AutonomousAgent
è un'
istanza
di
AutonomousAgent
IntervalloTemporale
è un
agente
di
AutonomousAgent
AccessingWebPage
è un
agente
di
AutonomousAgent
IntervalloTemporale
has luogo
durante
AccessingWebPage
Entit�Concreta
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
2
IntervalloTemporale
2 è un'
istanza
di
IntervalloTemporale
_CLASS
IntervalloTemporale
2 è un
agente
di
AutonomousAgent
IntervalloTemporale
2 has luogo
durante
AccessingWebPage
l'
inizio
di il
tempo
di esistenza di
IntervalloTemporale
2 succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
IntervalloTemporale
l'
inizio
di il
tempo
di esistenza di
AccessingWebPage
is
uguale
a l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
l'
inizio
di il
tempo
di esistenza di
IntervalloTemporale
is
uguale
a la
fine
di il
tempo
di esistenza di
Entit�Concreta
TTFxFn
IntervalloTemporale
_CLASS and
AccessingWebPage
is
uguale
a
Entit�Concreta
(=>
(
and
(
instance
?TI1
TimeInterval
)
(
instance
?TI2
TimeInterval
)
(
beforeOrEqual
(
BeginFn
?TI2)
(
BeginFn
?TI1))
(
before
(
BeginFn
?TI1)
(
EndFn
?TI2)))
(
overlapsTemporally
?TI2 ?TI1))
Merge.kif 8269-8279
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
l'
inizio
di
IntervalloTemporale
succede
%{s} prima di o con l'
inizio
di
IntervalloTemporale
l'
inizio
di
IntervalloTemporale
succede%{s}
prima
di la
fine
di
IntervalloTemporale
IntervalloTemporale
sovrappone
s
IntervalloTemporale
(=>
(
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
ha un
attributo
Option
optionHolder
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
AgenteCognitivo
ha il
diritto
di compiere la
classe
descritta da
Stringa
(=>
(
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
ha un
attributo
Option
optionHolder
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
AgenteCognitivo
ha il
diritto
di compiere la
classe
descritta da
Stringa
(=>
(
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
ha un
attributo
Option
optionSeller
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
ha un
attributo
Option
optionSeller
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
ScambioFinanziario
and
MisuraMonetaria
data
di
ScambioFinanziario
è
Giorno
FinancialAccount
è un'
istanza
di
FinancialAccount
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
amountDue
FinancialAccount
,
MisuraMonetaria
and
IntervalloTemporale
la
fine
di
Giorno
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
ScambioFinanziario
è un'
istanza
di
Prepayment
(=>
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
earlier
?INTERVAL1 ?INTERVAL2))
Merge.kif 8382-8384
La
fine
di
IntervalloTemporale
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
(=>
(
or
(
before
?POINT1 ?POINT2)
(
equal
?POINT1 ?POINT2))
(
beforeOrEqual
?POINT1 ?POINT2))
Merge.kif 8151-8155
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
PuntoTemporale
is
uguale
a
PuntoTemporale
PuntoTemporale
succede
%{s} prima di o con
PuntoTemporale
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
PuntoTemporale
AreaGeografica
DataStorageDevice
releaseForSale
AlbumCopiesFn
Album
and
DataStorageDevice
,
AreaGeografica
and
PuntoTemporale
PuntoTemporale
AreaGeografica
and
DataStorageDevice
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
releaseForSale
AlbumCopiesFn
Album
and
DataStorageDevice
,
AreaGeografica
and
PuntoTemporale
(=>
(
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
Umano
and
Sostanza
Sostanza
UB è un'
istanza
di
Sostanza
Sostanza
UB
incontra
s
Umano
vales
durante
PosizioneTemporale
l'affermazione
Entit�
Entit�
è un'
istanza
di
AllergicReaction
Umano
esperisce
s
Entit�
il
tempo
di esistenza di
Entit�
sovrappone
s
PosizioneTemporale
l'
inizio
di
PosizioneTemporale
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
ha il modello di forza di
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
attribute
MusicRecording
and
CoverRecording
MusicRecording
è un'
istanza
di
MusicRecording
songArtist
MusicRecording
and
AgenteCognitivo
musicInterpretation
MusicRecording
and
Musica
record
MusicRecording
and
Musica
M
MusicRecording
AgenteCognitivo
RTIST and
Musica
USIC
musicInterpretation
MusicRecording
and
Musica
songArtist
MusicRecording
and
AgenteCognitivo
RTIST
AgenteCognitivo
is
uguale
a
AgenteCognitivo
RTIST
record
MusicRecording
and
Musica
USIC il
tempo
di esistenza di
Musica
USIC succede%{s}
prima
di il
tempo
di esistenza di
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
AgenteCognitivo
and
PuntoTemporale
guest
AgenteCognitivo
and
AgenteCognitivo
expects
AgenteCognitivo
and
Entit�
Entit�
Entit�
è un'
istanza
di
PuntoTemporale
AgenteCognitivo
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
CheckOutService
Entit�
è un
agente
di
AgenteCognitivo
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di
Entit�
(=>
(
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
fine
s in
Oggetto
Processo
è un'
istanza
di
Messaging
Entit�
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Telex
Processo
Entit�
Oggetto
è uno
strumento
per
Processo
Entit�
è un
risultato
di
Processo
Entit�
esprime
Entit�
Entit�
è un'
istanza
di
Testo
l'
inizio
di il
tempo
di esistenza di
Processo
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Processo
(=>
(
and
(
earlier
?TI1 ?TI2)
(
instance
?P1
TimePoint
)
(
instance
?P2
TimePoint
)
(
temporalPart
?P1 ?TI1)
(
temporalPart
?P2 ?TI2))
(
before
?P1 ?P2))
Merge.kif 8281-8288
IntervalloTemporale
accades
prima
di
IntervalloTemporale
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
è una
parte
di
IntervalloTemporale
PuntoTemporale
è una
parte
di
IntervalloTemporale
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
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
Edizione
NumeroInteroPositivo
di
OggettoSemiotico
is
uguale
a
OggettoSemiotico
edizione
NumeroInteroPositivo
di
OggettoSemiotico
is
uguale
a
OggettoSemiotico
NumeroInteroPositivo
è
pi
ù grande di
NumeroInteroPositivo
Processo
è un'
istanza
di
Editoria
Processo
è un'
istanza
di
Editoria
Entit�
è un'
istanza
di
OggettoSemiotico
Entit�
è un'
istanza
di
OggettoSemiotico
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
data
di
Processo
è
Giorno
data
di
Processo
è
Giorno
la
fine
di
Giorno
succede%{s}
prima
di la
fine
di
Giorno
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
benefits
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 22920-22925
PuntoTemporale
is
uguale
a l'
inizio
di il
tempo
di esistenza di
Processo
PuntoTemporale
is
uguale
a la
fine
di il
tempo
di esistenza di
AutonomousAgent
benefits
Processo
and
AutonomousAgent
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
suffers
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 29595-29604
PuntoTemporale
is
uguale
a l'
inizio
di il
tempo
di esistenza di
Processo
PuntoTemporale
is
uguale
a la
fine
di il
tempo
di esistenza di
AutonomousAgent
suffers
Processo
and
AutonomousAgent
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
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
IntervalloTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
IntervalloTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
NumeroInteroPositivo
è
pi
ù grande di
NumeroInteroPositivo
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
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
è un'
istanza
di
InterestOnlyLoan
agreementPeriod
FinancialAccount
and
IntervalloTemporale
principalAmount
FinancialAccount
and
MisuraMonetaria
interestEarned
FinancialAccount
,
Interest
and
IntervalloTemporale
amountDue
FinancialAccount
,
MisuraMonetaria
and la
fine
di
IntervalloTemporale
amountDue
FinancialAccount
,
Interest
and
IntervalloTemporale
la
fine
di
IntervalloTemporale
succede%{s}
prima
di la
fine
di
IntervalloTemporale
(=>
(
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
IntervalloTemporale
è un'
istanza
di il
mese
Mese
IntervalloTemporale
è un'
istanza
di il
mese
Mese
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
successorClass
Mese
and
Mese
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
NegativeInfinity
)))
(
before
NegativeInfinity
?POINT))
Merge.kif 7887-7891
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
is
uguale
a
NegativeInfinity
NegativeInfinity
succede%{s}
prima
di
PuntoTemporale
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
PositiveInfinity
)))
(
before
?POINT
PositiveInfinity
))
Merge.kif 7869-7873
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
is
uguale
a
PositiveInfinity
PuntoTemporale
succede%{s}
prima
di
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
è un'
istanza
di
Ricordare
Formula
è un
paziente
di
Processo
IntervalloTemporale
Formula
vales
durante
IntervalloTemporale
IntervalloTemporale
succede%{s}
prima
di il
tempo
di esistenza di
Processo
IntervalloTemporale
accades
prima
di il
tempo
di esistenza di
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
è un'
istanza
di
Aftershock
eventLocated
Processo
and
Oggetto
Processo
Processo
è un'
istanza
di
EarthTremor
eventLocated
Processo
and
Oggetto
il
tempo
di esistenza di
Processo
succede%{s}
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?TI
TimeInterval
)
(
equal
?S
(
BeginFn
?TI))
(
equal
?E
(
EndFn
?TI)))
(
before
?S ?E))
Merge.kif 8262-8267
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
PuntoTemporale
is
uguale
a la
fine
di
IntervalloTemporale
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
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
InsiemeConcreto
è un'
istanza
di
Buffet
Entit�Concreta
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è
localizzato
in
Oggetto
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
eventLocated
Processo
and
Oggetto
Entit�Concreta
è un
paziente
di
Processo
Oggetto
is
uguale
a
Oggetto
Processo
Processo
è un'
istanza
di
Ottenere
Entit�Concreta
è un
paziente
di
Processo
Processo
si
originas in
Oggetto
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
succede%{s}
prima
di il
tempo
di esistenza di
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
Entit�Concreta
è un'
istanza
di
SurveillanceSystem
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è
localizzato
in
Oggetto
InsiemeConcreto
è un'
istanza
di
Camera
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
is
uguale
a
Oggetto
InsiemeConcreto
è un'
istanza
di
VideoDisplay
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
eventLocated
Entit�
and
Oggetto
Entit�
esprime
Entit�
Camera
è uno
strumento
per
Entit�
Entit�
è un
risultato
di
Entit�
Entit�
è un'
istanza
di
RadiazioneLuminosa
InsiemeConcreto
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
l'
inizio
di
Entit�
succede%{s}
prima
di l'
inizio
di
Entit�
l'
inizio
di
Entit�
succede%{s}
prima
di l'
inizio
di
Entit�
(=>
(
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
IntervalloTemporale
è un'
istanza
di l'
anno
NumeroIntero
IntervalloTemporale
è un'
istanza
di l'
anno
NumeroIntero
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
NumeroIntero
è
pi
ù grande di
NumeroIntero
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
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
ha un
attributo
AmericanStyleOption
optionHolder
Agreement
and
AgenteCognitivo
agreementExpirationDate
Agreement
and
PuntoTemporale
AgenteCognitivo
ha il
diritto
di compiere
Entit�
Entit�
è un'
istanza
di
ExerciseAnOption
Agreement
è un
paziente
di
Entit�
la
fine
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di la
fine
di
PuntoTemporale
(=>
(
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
è una
sottoclasse
di
Periodico
volume
NumeroInteroPositivo
nella
serie
Serie
is
uguale
a
Testo
volume
NumeroInteroPositivo
nella
serie
Serie
is
uguale
a
Testo
NumeroInteroPositivo
è
pi
ù grande di
NumeroInteroPositivo
Processo
è un'
istanza
di
Editoria
Processo
è un'
istanza
di
Editoria
Entit�
è un'
istanza
di
Testo
Entit�
è un'
istanza
di
Testo
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
data
di
Processo
è
Giorno
data
di
Processo
è
Giorno
la
fine
di
Giorno
succede%{s}
prima
di la
fine
di
Giorno
(=>
(
beforeOrEqual
?POINT1 ?POINT2)
(
or
(
before
?POINT1 ?POINT2)
(
equal
?POINT1 ?POINT2)))
Merge.kif 8145-8149
PuntoTemporale
succede
%{s} prima di o con
PuntoTemporale
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
PuntoTemporale
is
uguale
a
PuntoTemporale
(=>
(
burnInPeriod
?EXP ?INTERVAL)
(
before
(
EndFn
?INTERVAL)
(
EndFn
(
WhenFn
?EXP))))
UXExperimentalTerms.kif 4317-4321
burnInPeriod
Experimenting
and
IntervalloTemporale
la
fine
di
IntervalloTemporale
succede%{s}
prima
di la
fine
di il
tempo
di esistenza di
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
Organizzazione
and
PuntoTemporale
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
PuntoTemporale
Entit�
è un'
istanza
di
CheckInService
Entit�
è un
agente
di
Organizzazione
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di
Entit�
ha il modello di forza di
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