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
meetsTemporally
Sigma KEE - meetsTemporally
meetsTemporally
appearance as argument number 1
(
documentation
meetsTemporally
ChineseLanguage
"(
meetsTemporally
?INTERVAL1 ?INTERVAL2) 的意思是
TimeInterval
?INTERVAL1 的终点是
TimeInterval
?INTERVAL2 起点。")
chinese_format.kif 2722-2723
(
documentation
meetsTemporally
EnglishLanguage
"(
meetsTemporally
?INTERVAL1 ?INTERVAL2) means that the terminal point of the
TimeInterval
?INTERVAL1 is the initial point of the
TimeInterval
?INTERVAL2.")
Merge.kif 8329-8331
(
documentation
meetsTemporally
JapaneseLanguage
"(
meetsTemporally
?INTERVAL1 ?INTERVAL2) とは、
TimeInterval
?INTERVAL1 の端子点が
TimeInterval
?INTERVAL2 の初期点であることを意味 する。")
japanese_format.kif 1446-1448
(
domain
meetsTemporally
1
TimeInterval
)
Merge.kif 8326-8326
Il numero 1 argomenti di
meetsTemporally
è un
istanza
di
IntervalloTemporale
(
domain
meetsTemporally
2
TimeInterval
)
Merge.kif 8327-8327
Il numero 2 argomenti di
meetsTemporally
è un
istanza
di
IntervalloTemporale
(
instance
meetsTemporally
AsymmetricRelation
)
Merge.kif 8323-8323
meetsTemporally
è un'
istanza
di
RelazioneAsimmetrica
(
instance
meetsTemporally
BinaryPredicate
)
Merge.kif 8321-8321
meetsTemporally
è un'
istanza
di
PredicatoBinario
(
instance
meetsTemporally
IntransitiveRelation
)
Merge.kif 8324-8324
meetsTemporally
è un'
istanza
di
RelazioneIntransitiva
(
instance
meetsTemporally
TemporalRelation
)
Merge.kif 8322-8322
meetsTemporally
è un'
istanza
di
RelazioneTemporale
(
instance
meetsTemporally
TotalValuedRelation
)
Merge.kif 8325-8325
meetsTemporally
è un'
istanza
di
RelazioneAValoreTotale
appearance as argument number 2
(
format
ChineseLanguage
meetsTemporally
"%1 %n{doesn't} 接着 %2")
chinese_format.kif 435-435
(
format
EnglishLanguage
meetsTemporally
"%1 %n{doesn't} meet%p{s} %2")
english_format.kif 441-441
(
format
FrenchLanguage
meetsTemporally
"%1 %n{ne} rencontre %n{pas} %2")
french_format.kif 252-252
(
format
ItalianLanguage
meetsTemporally
"%1 %n{non} incontra%p{s} %2")
relations-it.txt 180-180
(
format
JapaneseLanguage
meetsTemporally
"%1 は %2 に meet%p{s} %n{ない}")
japanese_format.kif 2046-2046
(
format
PortugueseLanguage
meetsTemporally
"%1 %n{nao} encontra %n %2")
portuguese_format.kif 204-204
(
format
cz
meetsTemporally
"%1 %n{doesn't} meet%p{s} %2")
relations-cz.txt 258-258
(
format
de
meetsTemporally
"%1 schliesst %2 zeitlich %n{nicht} an")
relations-de.txt 568-568
(
format
hi
meetsTemporally
"%1 %2 se %n{nahiin} milataa hai")
relations-hindi.txt 218-218
(
format
ro
meetsTemporally
"%1 %n{nu} meet%t{se continuã} cu %2")
relations-ro.kif 273-273
(
format
sv
meetsTemporally
"%1 möter %n{inte} %2")
relations-sv.txt 276-276
(
format
tg
meetsTemporally
"%1 %n ay sumali sa %2")
relations-tg.txt 356-356
(
termFormat
ChineseLanguage
meetsTemporally
"在时间上接着")
chinese_format.kif 436-436
(
termFormat
ChineseLanguage
meetsTemporally
"短暂相遇")
domainEnglishFormat.kif 36923-36923
(
termFormat
ChineseTraditionalLanguage
meetsTemporally
"短暫相遇")
domainEnglishFormat.kif 36922-36922
(
termFormat
EnglishLanguage
meetsTemporally
"meets temporally")
domainEnglishFormat.kif 36921-36921
antecedent
(=>
(
and
(
instance
?DAY1
Sunday
)
(
instance
?DAY2
Monday
)
(
instance
?WEEK1
Week
)
(
instance
?WEEK2
Week
)
(
temporalPart
?DAY1 ?WEEK1)
(
temporalPart
?DAY2 ?WEEK2)
(
meetsTemporally
?WEEK1 ?WEEK2))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9321-9330
IntervalloTemporale
è un'
istanza
di
Domenica
IntervalloTemporale
è un'
istanza
di
Luned�
IntervalloTemporale
è un'
istanza
di
Settimana
IntervalloTemporale
è un'
istanza
di
Settimana
IntervalloTemporale
è una
parte
di
IntervalloTemporale
IntervalloTemporale
è una
parte
di
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?Drawing
DrawingACheck
)
(
patient
?Drawing ?Check)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Drawing) ?DrawingTime)
(
equal
(
WhenFn
?Processing) ?ProcessingTime)
(
meetsTemporally
?DrawingTime ?Time)
(
meetsTemporally
?Time ?ProcessingTime)
(
duration
?Time
(
MeasureFn
?Duration
MonthDuration
)))
(
lessThan
?Duration 6))
FinancialOntology.kif 155-166
Processo
è un'
istanza
di
DrawingACheck
Entit�
è un
paziente
di
Processo
Processo
è un'
istanza
di
ProcessingACheck
Entit�
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
is
uguale
a
Processo
Time il
tempo
di esistenza di
Processo
is
uguale
a
Processo
Time
Processo
Time
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s
Processo
Time
durata
di
IntervalloTemporale
è
NumeroReale
MonthDuration
(s
NumeroReale
è
meno
di6
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?ES ?Y)
(
instance
?Y
Year
))
(
during
?L ?Y))
Media.kif 437-444
IntervalloTemporale
è un'
istanza
di
EasterSunday
IntervalloTemporale
è un'
istanza
di
Lent
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Anno
IntervalloTemporale
has luogo
durante
IntervalloTemporale
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?L ?Y)
(
instance
?Y
Year
))
(
during
?ES ?Y))
Media.kif 446-453
IntervalloTemporale
è un'
istanza
di
EasterSunday
IntervalloTemporale
è un'
istanza
di
Lent
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Anno
IntervalloTemporale
has luogo
durante
IntervalloTemporale
(=>
(
and
(
instance
?MONTH1
(
MonthFn
December
?YEAR1))
(
instance
?MONTH2
(
MonthFn
January
?YEAR2))
(
instance
?Y1 ?YEAR1)
(
instance
?Y2 ?YEAR2)
(
meetsTemporally
?Y1 ?Y2))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9221-9228
IntervalloTemporale
è un'
istanza
di il
mese
Dicembre
IntervalloTemporale
è un'
istanza
di il
mese
Gennaio
IntervalloTemporale
è un'
istanza
di
Anno
IntervalloTemporale
è un'
istanza
di
Anno
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T1 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T2 ?YEAR))
Media.kif 387-394
IntervalloTemporale
è un'
istanza
di
Advent
IntervalloTemporale
è un'
istanza
di
ChristmasDay
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Anno
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T2 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T1 ?YEAR))
Media.kif 396-403
IntervalloTemporale
è un'
istanza
di
Advent
IntervalloTemporale
è un'
istanza
di
ChristmasDay
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Anno
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
meetsTemporally
?T1 ?T2))
(
exists
(?YEAR)
(
and
(
instance
?YEAR
Year
)
(
during
?T1 ?YEAR)
(
during
?T2 ?YEAR))))
Media.kif 376-385
IntervalloTemporale
è un'
istanza
di
Advent
IntervalloTemporale
è un'
istanza
di
ChristmasDay
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Anno
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
(=>
(
and
(
not
(
holdsDuring
?T1
(
attribute
?H
Concussion
)))
(
holdsDuring
?T2
(
attribute
?H
Concussion
))
(
meetsTemporally
?T1 ?T2))
(
modalAttribute
(
holdsDuring
(
BeginFn
?T2)
(
attribute
?H
Unconscious
))
Likely
))
Medicine.kif 1314-1326
attribute
Entit�
and
Concussion
non vale
durante
IntervalloTemporale
attribute
Entit�
and
Concussion
vales
durante
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
l'affermazione
attribute
Entit�
and
Inconscio
vales
durante
l'
inizio
di
IntervalloTemporale
ha il modello di forza di
Likely
(=>
(
and
(
startupTimeDelay
?Application ?Delay)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Application)
(
equal
(
WhenFn
?Process1) ?Time1)
(
instance
?Process2
ComputerProcess
)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time1 ?Time)
(
meetsTemporally
?Time ?Time2))
(
duration
?Time ?Delay))
QoSontology.kif 660-670
startupTimeDelay
ProgrammaDiComputer
and
Durata
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
Entit�Concreta
è un'
istanza
di
ComputerProcess
il
tempo
di esistenza di
Entit�Concreta
is
uguale
a
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
durata
di
IntervalloTemporale
è
Durata
(=>
(
meetsTemporally
?INTERVAL1 ?INTERVAL2)
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8333-8337
IntervalloTemporale
incontra
s
IntervalloTemporale
la
fine
di
IntervalloTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
(=>
(
meetsTemporally
?T1 ?T2)
(
not
(
exists
(?T3)
(
and
(
instance
?T3
TimeInterval
)
(
temporalPart
?T3 ?T1)
(
temporalPart
?T3 ?T2)))))
Merge.kif 8345-8352
IntervalloTemporale
incontra
s
IntervalloTemporale
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
consequent
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
attribute
Oggetto
and
CommunalAttribute
Oggetto
è un'
istanza
di
Table
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
GroupOfPeople
eventLocated
Processo
and
Oggetto
l'affermazione
Entit�
Entit�
and
Oggetto
2
Entit�
è un'
istanza
di
Mangiare
Entit�
è un
agente
di
Entit�
AutonomousAgent
is
uguale
a
Entit�
Entit�
è un'
istanza
di
GroupOfPeople
eventLocated
Entit�
and
Oggetto
2 il
tempo
di esistenza di
Processo
incontra
s il
tempo
di esistenza di
Entit�
Oggetto
is
uguale
a
Oggetto
2 ha il modello di forza di
Possibility
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Larval
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
meetsTemporally
?BW ?TIME))
Merge.kif 18181-18187
attribute
AutonomousAgent
and
Larval
vales
durante
IntervalloTemporale
Processo
è un'
istanza
di
Nascita
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Processo
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?D
Dodging
)
(
agent
?D ?A)
(
equal
?DT
(
WhenFn
?D)))
(
hasPurpose
?D
(
not
(
exists
(?I)
(
and
(
or
(
meetsTemporally
?DT
(
WhenFn
?I))
(
overlapsTemporally
?DT
(
WhenFn
?I)))
(
instance
?I
Impacting
)
(
patient
?I ?A))))))
Mid-level-ontology.kif 450-463
Processo
è un'
istanza
di
Dodging
Processo
è un
agente
di
AutonomousAgent
Processo
T is
uguale
a il
tempo
di esistenza di
Processo
Processo
ha
scopo
Entit�
Processo
T
incontra
s il
tempo
di esistenza di
Entit�
il
tempo
di esistenza di
Entit�
sovrappone
s
Processo
T
Entit�
è un'
istanza
di
Impatto
AutonomousAgent
è un
paziente
di
Entit�
(=>
(
and
(
instance
?DAY1
(
DayFn
?NUMBER1 ?MONTH))
(
instance
?DAY2
(
DayFn
?NUMBER2 ?MONTH))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 8603-8608
IntervalloTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
IntervalloTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
(
NumeroInteroPositivo
+
NumeroInteroPositivo
is
uguale
a 1
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?DAY1
Friday
)
(
instance
?DAY2
Saturday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9299-9306
IntervalloTemporale
è un'
istanza
di
Venerd�
IntervalloTemporale
è un'
istanza
di
Sabato
PosizioneTemporale
è un'
istanza
di
Settimana
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?DAY1
Monday
)
(
instance
?DAY2
Tuesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9247-9254
IntervalloTemporale
è un'
istanza
di
Luned�
IntervalloTemporale
è un'
istanza
di
Marted�
PosizioneTemporale
è un'
istanza
di
Settimana
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?DAY1
Saturday
)
(
instance
?DAY2
Sunday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9312-9319
IntervalloTemporale
è un'
istanza
di
Sabato
IntervalloTemporale
è un'
istanza
di
Domenica
PosizioneTemporale
è un'
istanza
di
Settimana
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?DAY1
Sunday
)
(
instance
?DAY2
Monday
)
(
instance
?WEEK1
Week
)
(
instance
?WEEK2
Week
)
(
temporalPart
?DAY1 ?WEEK1)
(
temporalPart
?DAY2 ?WEEK2)
(
meetsTemporally
?WEEK1 ?WEEK2))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9321-9330
IntervalloTemporale
è un'
istanza
di
Domenica
IntervalloTemporale
è un'
istanza
di
Luned�
IntervalloTemporale
è un'
istanza
di
Settimana
IntervalloTemporale
è un'
istanza
di
Settimana
IntervalloTemporale
è una
parte
di
IntervalloTemporale
IntervalloTemporale
è una
parte
di
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?DAY1
Thursday
)
(
instance
?DAY2
Friday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9286-9293
IntervalloTemporale
è un'
istanza
di
Gioved�
IntervalloTemporale
è un'
istanza
di
Venerd�
PosizioneTemporale
è un'
istanza
di
Settimana
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?DAY1
Tuesday
)
(
instance
?DAY2
Wednesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9260-9267
IntervalloTemporale
è un'
istanza
di
Marted�
IntervalloTemporale
è un'
istanza
di
Mercoled�
PosizioneTemporale
è un'
istanza
di
Settimana
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?DAY1
Wednesday
)
(
instance
?DAY2
Thursday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9273-9280
IntervalloTemporale
è un'
istanza
di
Mercoled�
IntervalloTemporale
è un'
istanza
di
Gioved�
PosizioneTemporale
è un'
istanza
di
Settimana
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ))
(
exists
(?PURSUE)
(
and
(
instance
?PURSUE
Pursuing
)
(
meetsTemporally
(
WhenFn
?PURSUE)
(
WhenFn
?DISCOVER)))))
Merge.kif 11964-11971
Processo
è un'
istanza
di
Discovering
Entit�
è un
paziente
di
Processo
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Cercare
il
tempo
di esistenza di
Entit�Concreta
incontra
s il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?Downtick
Downtick
)
(
patient
?Downtick ?Stock)
(
equal
(
WhenFn
?Downtick) ?Time1)
(
instance
?U
UnitOfCurrency
)
(
price
?Stock
(
MeasureFn
?Price1 ?U) ?Time1))
(
exists
(?Transaction ?Time2 ?Price2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock
(
MeasureFn
?Price2 ?U) ?Time2)
(
greaterThan
?Price2 ?Price1))))
FinancialOntology.kif 3234-3250
Processo
è un'
istanza
di
Downtick
Entit�Concreta
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
is
uguale
a
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
price
Entit�Concreta
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
Processo
AutonomousAgent
and
NumeroReale
Processo
è un'
istanza
di
StockMarketTransaction
Entit�Concreta
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
is
uguale
a
AutonomousAgent
AutonomousAgent
incontra
s
AutonomousAgent
price
Entit�Concreta
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?ESCAPE
Escaping
)
(
agent
?ESCAPE ?AGENT))
(
exists
(?CONFINE)
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?AGENT)
(
meetsTemporally
(
WhenFn
?CONFINE)
(
WhenFn
?ESCAPE)))))
Mid-level-ontology.kif 17281-17289
Processo
è un'
istanza
di
Escaping
Processo
è un
agente
di
AutonomousAgent
Processo
Processo
è un'
istanza
di
Imprigionare
AutonomousAgent
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
incontra
s il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?EVE
Evening
)
(
instance
?AFT
Afternoon
)
(
instance
?D
Day
)
(
during
?EVE ?D)
(
during
?AFT ?D))
(
meetsTemporally
?AFT ?EVE))
Merge.kif 8922-8929
IntervalloTemporale
è un'
istanza
di
Evening
IntervalloTemporale
è un'
istanza
di
Afternoon
IntervalloTemporale
è un'
istanza
di
Giorno
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?FL
FlashingLight
)
(
origin
?FL ?L))
(
exists
(?I1 ?T2 ?I3)
(
and
(
instance
?I1
RadiatingLight
)
(
instance
?T2
TimeInterval
)
(
instance
?I3
RadiatingLight
)
(
meetsTemporally
(
WhenFn
?I1) ?I2)
(
meetsTemporally
?I2
(
WhenFn
?I3))
(
not
(
exists
(?I2)
(
and
(
instance
?I2
RadiatingLight
)
(
origin
?I2 ?L)
(
during
(
WhenFn
?I2) ?T2))))
(
subProcess
?I1 ?FL)
(
subProcess
?I3 ?FL))))
Mid-level-ontology.kif 643-661
Processo
è un'
istanza
di
FlashingLight
Processo
si
originas in
Oggetto
Processo
IntervalloTemporale
and
Processo
Processo
è un'
istanza
di
RadiazioneLuminosa
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Processo
è un'
istanza
di
RadiazioneLuminosa
il
tempo
di esistenza di
Processo
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s il
tempo
di esistenza di
Processo
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
RadiazioneLuminosa
IntervalloTemporale
si
originas in
Oggetto
il
tempo
di esistenza di
IntervalloTemporale
has luogo
durante
IntervalloTemporale
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
(=>
(
and
(
instance
?HOUR1
(
HourFn
?NUMBER1 ?DAY))
(
instance
?HOUR2
(
HourFn
?NUMBER2 ?DAY))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?HOUR1 ?HOUR2))
Merge.kif 8629-8634
IntervalloTemporale
è un'
istanza
di l'
ora
NumeroInteroNonNegativo
IntervalloTemporale
è un'
istanza
di l'
ora
NumeroInteroNonNegativo
(
NumeroInteroNonNegativo
+
NumeroInteroNonNegativo
is
uguale
a 1
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?MINUTE1
(
MinuteFn
?NUMBER1 ?HOUR))
(
instance
?MINUTE2
(
MinuteFn
?NUMBER2 ?HOUR))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?MINUTE1 ?MINUTE2))
Merge.kif 8656-8661
IntervalloTemporale
è un'
istanza
di il
minuto
NumeroInteroNonNegativo
IntervalloTemporale
è un'
istanza
di il
minuto
NumeroInteroNonNegativo
(
NumeroInteroNonNegativo
+
NumeroInteroNonNegativo
is
uguale
a 1
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?MONTH1
(
MonthFn
April
?YEAR))
(
instance
?MONTH2
(
MonthFn
May
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9108-9112
IntervalloTemporale
è un'
istanza
di il
mese
Aprile
IntervalloTemporale
è un'
istanza
di il
mese
Maggio
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?MONTH1
(
MonthFn
August
?YEAR))
(
instance
?MONTH2
(
MonthFn
September
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9164-9168
IntervalloTemporale
è un'
istanza
di il
mese
Agosto
IntervalloTemporale
è un'
istanza
di il
mese
Settembre
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?MONTH1
(
MonthFn
December
?YEAR1))
(
instance
?MONTH2
(
MonthFn
January
?YEAR2))
(
instance
?Y1 ?YEAR1)
(
instance
?Y2 ?YEAR2)
(
meetsTemporally
?Y1 ?Y2))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9221-9228
IntervalloTemporale
è un'
istanza
di il
mese
Dicembre
IntervalloTemporale
è un'
istanza
di il
mese
Gennaio
IntervalloTemporale
è un'
istanza
di
Anno
IntervalloTemporale
è un'
istanza
di
Anno
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?MONTH1
(
MonthFn
February
?YEAR))
(
instance
?MONTH2
(
MonthFn
March
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9080-9084
IntervalloTemporale
è un'
istanza
di il
mese
Febbraio
IntervalloTemporale
è un'
istanza
di il
mese
Marzo
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?MONTH1
(
MonthFn
January
?YEAR))
(
instance
?MONTH2
(
MonthFn
February
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9056-9060
IntervalloTemporale
è un'
istanza
di il
mese
Gennaio
IntervalloTemporale
è un'
istanza
di il
mese
Febbraio
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?MONTH1
(
MonthFn
July
?YEAR))
(
instance
?MONTH2
(
MonthFn
August
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9150-9154
IntervalloTemporale
è un'
istanza
di il
mese
Luglio
IntervalloTemporale
è un'
istanza
di il
mese
Agosto
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?MONTH1
(
MonthFn
June
?YEAR))
(
instance
?MONTH2
(
MonthFn
July
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9136-9140
IntervalloTemporale
è un'
istanza
di il
mese
Giugno
IntervalloTemporale
è un'
istanza
di il
mese
Luglio
IntervalloTemporale
incontra
s
IntervalloTemporale
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