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
DayFn
Sigma KEE - DayFn
DayFn
appearance as argument number 1
(
documentation
DayFn
ChineseLanguage
"这是一个
BinaryFunction
, 它把一个
PositiveRealNumber
与一个
Month
的子类别,分配到每个
Month
内对应该
PositiveRealNumber
的
Day
。例如: (
DayFn
16
August
) 是八月份所有第16日的
Class
,又例如: (
DayFn
9
Month
)会得出任何一个月 的第九日。再一个例子:(
DayFn
18(
MonthFn
August
(
YearFn
1912)))表示1912年八月十八日。")
chinese_format.kif 2760-2763
(
documentation
DayFn
EnglishLanguage
"A
BinaryFunction
that assigns a
PositiveRealNumber
and a subclass of
Month
s to the
Day
s within each
Month
corresponding to that
PositiveRealNumber
. For example, (
DayFn
16
August
) is the
Class
of all sixteenth days of August. For another example, (
DayFn
9
Month
) would return the class of all ninth days of any month. For still another example, (
DayFn
18 (
MonthFn
August
(
YearFn
1912))) denotes the 18th day of August 1912.")
Merge.kif 8592-8597
(
documentation
DayFn
JapaneseLanguage
"
BinaryFunction
は、
PositiveRealNumber
と
Month
のサブクラスを、その
PositiveRealNumber
に対応する各
Month
内の
Day
に割り当てる。例えば、 (
DayFn
16
August
) は8月のすべての16日間の
Class
である。別の例として、(
DayFn
9
Month
) は、任意の月のすべての9日間のクラスを返す。さらに別の例については、 (
DayFn
18(
MonthFn
August
(
YearFn
1912))) は1912年8月18日を示す。")
japanese_format.kif 1488-1492
(
domain
DayFn
1
PositiveInteger
)
Merge.kif 8588-8588
Il numero 1 argomenti di
DayFn
è un
istanza
di
NumeroInteroPositivo
(
domainSubclass
DayFn
2
Month
)
Merge.kif 8589-8589
Il numero 2 argomento
DayFn
è una
sottoclasse
di
Mese
(
instance
DayFn
BinaryFunction
)
Merge.kif 8586-8586
DayFn
è un'
istanza
di
FunzioneBinaria
(
instance
DayFn
PartialValuedRelation
)
Merge.kif 8587-8587
DayFn
è un'
istanza
di
RelazioneAValoreParziale
(
instance
DayFn
TemporalRelation
)
Merge.kif 8585-8585
DayFn
è un'
istanza
di
RelazioneTemporale
(
rangeSubclass
DayFn
Day
)
Merge.kif 8590-8590
I valori resi da
DayFn
sono
sottoclassi
di
Giorno
appearance as argument number 2
(
format
ChineseLanguage
DayFn
"%1 day ")
chinese_format.kif 469-469
(
format
EnglishLanguage
DayFn
"the day %1")
english_format.kif 475-475
(
format
FrenchLanguage
DayFn
"le jour %1")
french_format.kif 271-271
(
format
ItalianLanguage
DayFn
"il giorno %1")
relations-it.txt 65-65
(
format
JapaneseLanguage
DayFn
"%1 day 目")
japanese_format.kif 2061-2061
(
format
PortugueseLanguage
DayFn
"o dia %1")
portuguese_format.kif 223-223
(
format
cb
DayFn
"ang adlaw %1")
relations-cb.txt 99-99
(
format
cz
DayFn
"%1 of %2")
relations-cz.txt 277-277
(
format
de
DayFn
"der tag %1")
relations-de.txt 612-612
(
format
hi
DayFn
"dina %1 hai")
relations-hindi.txt 106-106
(
format
ro
DayFn
"day%t{ziua} %1")
relations-ro.kif 292-292
(
format
sv
DayFn
"dagen %1")
relations-sv.txt 298-298
(
format
tg
DayFn
"ang araw %1")
relations-tg.txt 146-146
(
relatedInternalConcept
Day
DayFn
)
Merge.kif 9231-9231
Giorno
è
interamente
correlato a
DayFn
(
termFormat
ChineseLanguage
DayFn
"天")
domainEnglishFormat.kif 18660-18660
(
termFormat
ChineseLanguage
DayFn
"日函数")
chinese_format.kif 470-470
(
termFormat
ChineseTraditionalLanguage
DayFn
"天")
domainEnglishFormat.kif 18659-18659
(
termFormat
EnglishLanguage
DayFn
"day")
domainEnglishFormat.kif 18658-18658
(
termFormat
tg
DayFn
"tungkulin araw")
relations-tg.txt 147-147
antecedent
(=>
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24236-24246
birthdate
Umano
and
Giorno
Giorno
è un'
istanza
di il
giorno
NumeroInteroPositivo
Giorno
NumeroIntero
birthday
Umano
and
Giorno
Giorno
è una
sottoclasse
di
Giorno
NumeroIntero
è un'
istanza
di
NumeroIntero
Giorno
is
uguale
a il
giorno
NumeroInteroPositivo
NumeroIntero
è
pi
ù grande di
NumeroIntero
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
instance
?ANYO
(
YearFn
?YEAR)))
(
not
(
earlier
?DATE ?ANYO)))
Government.kif 612-617
commemoratesDate
Holiday
and il
giorno
NumeroInteroPositivo
IntervalloTemporale
è un'
istanza
di
Holiday
IntervalloTemporale
è un'
istanza
di l'
anno
NumeroIntero
IntervalloTemporale
non accade
prima
di
IntervalloTemporale
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
subclass
?HOLIDAY
FixedHoliday
)
(
lessThanOrEqualTo
?YEAR ?LATER-YEAR))
(
instance
?DATE
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?LATER-YEAR)))))
Government.kif 619-625
commemoratesDate
Holiday
and il
giorno
NumeroInteroPositivo
Entit�
è un'
istanza
di
Holiday
Holiday
è una
sottoclasse
di
FixedHoliday
NumeroIntero
è
minore
o uguale a
Entit�
-YEAR
Entit�
è un'
istanza
di il
giorno
NumeroInteroPositivo
(=>
(
and
(
holdsDuring
?T
(
attribute
?F
Menopausal
))
(
birthdate
?F ?B)
(
instance
?B
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?A1
(
AdditionFn
49 ?Y))
(
equal
?A2
(
AdditionFn
52 ?Y))
(
equal
?START
(
BeginFn
?T)))
(
modalAttribute
(
and
(
greaterThan
?START ?A1)
(
greaterThan
?A2 ?START))
Likely
))
Mid-level-ontology.kif 23916-23932
attribute
Umano
and
Menopausal
vales
durante
IntervalloTemporale
birthdate
Umano
and
Giorno
Giorno
è un'
istanza
di il
giorno
NumeroInteroPositivo
NumeroReale
is
uguale
a (49 +
NumeroIntero
NumeroReale
is
uguale
a (52 +
NumeroIntero
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
l'affermazione
PuntoTemporale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
PuntoTemporale
ha il modello di forza di
Likely
(=>
(
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
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
greaterThan
?N2 ?N1))
(
earlier
?D1 ?D2))
Merge.kif 8731-8736
IntervalloTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
IntervalloTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
NumeroInteroPositivo
è
pi
ù grande di
NumeroInteroPositivo
IntervalloTemporale
accades
prima
di
IntervalloTemporale
(=>
(
and
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
temporalPart
?D1
(
WeekBeforeFn
?D2))
(
temporalPart
?D2
(
WeekAfterFn
?D1)))
(
exists
(?N1)
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?N1
(
SubtractionFn
?N2 7)))))
Mid-level-ontology.kif 14837-14846
PosizioneTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
PosizioneTemporale
è una
parte
di
WeekBeforeFn
PosizioneTemporale
PosizioneTemporale
è una
parte
di
WeekAfterFn
PosizioneTemporale
NumeroInteroPositivo
PosizioneTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
NumeroInteroPositivo
is
uguale
a (
NumeroInteroPositivo
+ 7
(=>
(
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
?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
è un'
istanza
di
BarMitzvah
Umano
è un
paziente
di
Processo
Umano
è un'
istanza
di
Boy
Umano
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
Judaism
birthdate
Umano
and
Giorno
Giorno
è un'
istanza
di il
giorno
NumeroInteroPositivo
NumeroIntero
PosizioneTemporale
NumeroIntero
è un'
istanza
di
NumeroIntero
NumeroIntero
is
uguale
a (
NumeroIntero
+ 13
PosizioneTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
il
tempo
di esistenza di
Processo
is
uguale
a immediatamente
dopo
PosizioneTemporale
(=>
(
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
è un'
istanza
di
BatMitzvah
Umano
è un
paziente
di
Processo
Umano
è un'
istanza
di
Girl
Umano
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
Judaism
birthdate
Umano
and
Giorno
Giorno
è un'
istanza
di il
giorno
NumeroInteroPositivo
NumeroIntero
PosizioneTemporale
NumeroIntero
è un'
istanza
di
NumeroIntero
NumeroIntero
is
uguale
a (
NumeroIntero
+ 13
PosizioneTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
il
tempo
di esistenza di
Processo
is
uguale
a immediatamente
dopo
PosizioneTemporale
(=>
(
and
(
instance
?UTC
(
HourFn
?H1
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
instance
?CST
(
HourFn
?H2
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
equal
(
RelativeTimeFn
?UTC
CentralTimeZone
) ?CST))
(
equal
?H2
(
AdditionFn
?H1 6)))
Merge.kif 17206-17212
PosizioneTemporale
è un'
istanza
di l'
ora
NumeroInteroNonNegativo
PosizioneTemporale
è un'
istanza
di l'
ora
NumeroInteroNonNegativo
is
uguale
a
PosizioneTemporale
NumeroInteroNonNegativo
is
uguale
a (
NumeroInteroNonNegativo
+ 6
(=>
(
and
(
instance
?UTC
(
HourFn
?H1
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
instance
?EST
(
HourFn
?H2
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
equal
(
RelativeTimeFn
?UTC
EasternTimeZone
) ?EST))
(
equal
?H2
(
AdditionFn
?H1 5)))
Merge.kif 17218-17224
PosizioneTemporale
è un'
istanza
di l'
ora
NumeroInteroNonNegativo
PosizioneTemporale
è un'
istanza
di l'
ora
NumeroInteroNonNegativo
is
uguale
a
PosizioneTemporale
NumeroInteroNonNegativo
is
uguale
a (
NumeroInteroNonNegativo
+ 5
(=>
(
and
(
instance
?UTC
(
HourFn
?H1
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
instance
?MST
(
HourFn
?H2
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
equal
(
RelativeTimeFn
?UTC
MountainTimeZone
) ?MST))
(
equal
?H2
(
AdditionFn
?H1 7)))
Merge.kif 17194-17200
PosizioneTemporale
è un'
istanza
di l'
ora
NumeroInteroNonNegativo
PosizioneTemporale
è un'
istanza
di l'
ora
NumeroInteroNonNegativo
is
uguale
a
PosizioneTemporale
NumeroInteroNonNegativo
is
uguale
a (
NumeroInteroNonNegativo
+ 7
(=>
(
and
(
instance
?UTC
(
HourFn
?H1
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
instance
?PST
(
HourFn
?H2
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
equal
(
RelativeTimeFn
?UTC
PacificTimeZone
) ?PST))
(
equal
?H2
(
AdditionFn
?H1 8)))
Merge.kif 17182-17188
PosizioneTemporale
è un'
istanza
di l'
ora
NumeroInteroNonNegativo
PosizioneTemporale
è un'
istanza
di l'
ora
NumeroInteroNonNegativo
is
uguale
a
PosizioneTemporale
NumeroInteroNonNegativo
is
uguale
a (
NumeroInteroNonNegativo
+ 8
(=>
(
and
(
instance
?WED
Wedding
)
(
date
?WED ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
weddingAnniversary
?WED ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24195-24206
Entit�Concreta
è un'
istanza
di
Wedding
data
di
Entit�Concreta
è
Giorno
Giorno
è un'
istanza
di il
giorno
NumeroInteroPositivo
Giorno
NumeroIntero
weddingAnniversary
Entit�Concreta
and
Giorno
Giorno
è una
sottoclasse
di
Giorno
NumeroIntero
è un'
istanza
di
NumeroIntero
Giorno
is
uguale
a il
giorno
NumeroInteroPositivo
NumeroIntero
è
pi
ù grande di
NumeroIntero
(=>
(
instance
?DAY
(
DayFn
?NUMBER ?MONTH))
(
lessThanOrEqualTo
?NUMBER 31))
Merge.kif 8599-8601
Entit�
è un'
istanza
di il
giorno
NumeroInteroPositivo
NumeroInteroPositivo
è
minore
o uguale a 31
consequent
(=>
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24236-24246
birthdate
Umano
and
Giorno
Giorno
è un'
istanza
di il
giorno
NumeroInteroPositivo
Giorno
NumeroIntero
birthday
Umano
and
Giorno
Giorno
è una
sottoclasse
di
Giorno
NumeroIntero
è un'
istanza
di
NumeroIntero
Giorno
is
uguale
a il
giorno
NumeroInteroPositivo
NumeroIntero
è
pi
ù grande di
NumeroIntero
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
subclass
?HOLIDAY
FixedHoliday
)
(
lessThanOrEqualTo
?YEAR ?LATER-YEAR))
(
instance
?DATE
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?LATER-YEAR)))))
Government.kif 619-625
commemoratesDate
Holiday
and il
giorno
NumeroInteroPositivo
Entit�
è un'
istanza
di
Holiday
Holiday
è una
sottoclasse
di
FixedHoliday
NumeroIntero
è
minore
o uguale a
Entit�
-YEAR
Entit�
è un'
istanza
di il
giorno
NumeroInteroPositivo
(=>
(
and
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
temporalPart
?D1
(
WeekBeforeFn
?D2))
(
temporalPart
?D2
(
WeekAfterFn
?D1)))
(
exists
(?N1)
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?N1
(
SubtractionFn
?N2 7)))))
Mid-level-ontology.kif 14837-14846
PosizioneTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
PosizioneTemporale
è una
parte
di
WeekBeforeFn
PosizioneTemporale
PosizioneTemporale
è una
parte
di
WeekAfterFn
PosizioneTemporale
NumeroInteroPositivo
PosizioneTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
NumeroInteroPositivo
is
uguale
a (
NumeroInteroPositivo
+ 7
(=>
(
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
è un'
istanza
di
BarMitzvah
Umano
è un
paziente
di
Processo
Umano
è un'
istanza
di
Boy
Umano
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
Judaism
birthdate
Umano
and
Giorno
Giorno
è un'
istanza
di il
giorno
NumeroInteroPositivo
NumeroIntero
PosizioneTemporale
NumeroIntero
è un'
istanza
di
NumeroIntero
NumeroIntero
is
uguale
a (
NumeroIntero
+ 13
PosizioneTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
il
tempo
di esistenza di
Processo
is
uguale
a immediatamente
dopo
PosizioneTemporale
(=>
(
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
è un'
istanza
di
BatMitzvah
Umano
è un
paziente
di
Processo
Umano
è un'
istanza
di
Girl
Umano
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
Judaism
birthdate
Umano
and
Giorno
Giorno
è un'
istanza
di il
giorno
NumeroInteroPositivo
NumeroIntero
PosizioneTemporale
NumeroIntero
è un'
istanza
di
NumeroIntero
NumeroIntero
is
uguale
a (
NumeroIntero
+ 13
PosizioneTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
il
tempo
di esistenza di
Processo
is
uguale
a immediatamente
dopo
PosizioneTemporale
(=>
(
and
(
instance
?WED
Wedding
)
(
date
?WED ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
weddingAnniversary
?WED ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24195-24206
Entit�Concreta
è un'
istanza
di
Wedding
data
di
Entit�Concreta
è
Giorno
Giorno
è un'
istanza
di il
giorno
NumeroInteroPositivo
Giorno
NumeroIntero
weddingAnniversary
Entit�Concreta
and
Giorno
Giorno
è una
sottoclasse
di
Giorno
NumeroIntero
è un'
istanza
di
NumeroIntero
Giorno
is
uguale
a il
giorno
NumeroInteroPositivo
NumeroIntero
è
pi
ù grande di
NumeroIntero
statement
(
agreementAdoptionDate
AntarcticTreaty
(
DayFn
1
(
MonthFn
December
(
YearFn
1959))))
Geography.kif 3192-3192
agreementAdoptionDate
AntarcticTreaty
and il
giorno
1
(
agreementEffectiveDate
AntarcticTreaty
(
instance
?D
(
DayFn
23
(
MonthFn
June
(
YearFn
1961)))))
Geography.kif 3193-3193
agreementEffectiveDate
AntarcticTreaty
and ?D è un'
istanza
di il
giorno
23
(
dateDissolved
CoordinatingCommitteeOnExportControls
(
DayFn
31
(
MonthFn
March
(
YearFn
1994))))
Government.kif 2994-2994
dateDissolved
CoordinatingCommitteeOnExportControls
and il
giorno
31
(
dateDissolved
CouncilForMutualEconomicAssistance
(
DayFn
1
(
MonthFn
January
(
YearFn
1991))))
Government.kif 3009-3009
dateDissolved
CouncilForMutualEconomicAssistance
and il
giorno
1
(
dateDissolved
UnitedNationsPreventiveDeploymentForce
(
DayFn
25
(
MonthFn
March
(
YearFn
1999))))
Government.kif 4145-4145
dateDissolved
UnitedNationsPreventiveDeploymentForce
and il
giorno
25
(
dateDissolved
WarsawPact
(
DayFn
1
(
MonthFn
July
(
YearFn
1991))))
Government.kif 4285-4285
dateDissolved
WarsawPact
and il
giorno
1
(
dateEstablished
AfricanCaribbeanAndPacificGroupOfStates
(
DayFn
6
(
MonthFn
June
(
YearFn
1975))))
Government.kif 2750-2750
dateEstablished
AfricanCaribbeanAndPacificGroupOfStates
and il
giorno
6
(
dateEstablished
AfricanDevelopmentBank
(
DayFn
4
(
MonthFn
August
(
YearFn
1963))))
Government.kif 2757-2757
dateEstablished
AfricanDevelopmentBank
and il
giorno
4
(
dateEstablished
AgencyForTheFrenchSpeakingCommunity
(
DayFn
20
(
MonthFn
March
(
YearFn
1970))))
Government.kif 2771-2771
dateEstablished
AgencyForTheFrenchSpeakingCommunity
and il
giorno
20
(
dateEstablished
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
(
DayFn
14
(
MonthFn
February
(
YearFn
1967))))
Government.kif 2778-2778
dateEstablished
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
and il
giorno
14
(
dateEstablished
AndeanCommunityOfNations
(
DayFn
26
(
MonthFn
May
(
YearFn
1969))))
Government.kif 2796-2796
dateEstablished
AndeanCommunityOfNations
and il
giorno
26
(
dateEstablished
AntarcticTreatyCouncil
(
DayFn
23
(
MonthFn
June
(
YearFn
1961))))
Government.kif 2801-2801
dateEstablished
AntarcticTreatyCouncil
and il
giorno
23
(
dateEstablished
ArabBankForEconomicDevelopmentInAfrica
(
DayFn
18
(
MonthFn
February
(
YearFn
1974))))
Government.kif 2812-2812
dateEstablished
ArabBankForEconomicDevelopmentInAfrica
and il
giorno
18
(
dateEstablished
ArabCooperationCouncil
(
DayFn
16
(
MonthFn
February
(
YearFn
1989))))
Government.kif 2818-2818
dateEstablished
ArabCooperationCouncil
and il
giorno
16
(
dateEstablished
ArabFundForEconomicAndSocialDevelopment
(
DayFn
16
(
MonthFn
May
(
YearFn
1968))))
Government.kif 2824-2824
dateEstablished
ArabFundForEconomicAndSocialDevelopment
and il
giorno
16
(
dateEstablished
ArabLeague
(
DayFn
22
(
MonthFn
March
(
YearFn
1945))))
Government.kif 2833-2833
dateEstablished
ArabLeague
and il
giorno
22
(
dateEstablished
ArabMaghrebUnion
(
DayFn
17
(
MonthFn
February
(
YearFn
1989))))
Government.kif 2842-2842
dateEstablished
ArabMaghrebUnion
and il
giorno
17
(
dateEstablished
ArabMonetaryFund
(
DayFn
27
(
MonthFn
April
(
YearFn
1976))))
Government.kif 2851-2851
dateEstablished
ArabMonetaryFund
and il
giorno
27
(
dateEstablished
AsiaPacificEconomicCooperation
(
DayFn
7
(
MonthFn
November
(
YearFn
1989))))
Government.kif 2857-2857
dateEstablished
AsiaPacificEconomicCooperation
and il
giorno
7
(
dateEstablished
AsianDevelopmentBank
(
DayFn
19
(
MonthFn
December
(
YearFn
1966))))
Government.kif 2863-2863
dateEstablished
AsianDevelopmentBank
and il
giorno
19
(
dateEstablished
AssociationOfSoutheastAsianNations
(
DayFn
8
(
MonthFn
August
(
YearFn
1967))))
Government.kif 2869-2869
dateEstablished
AssociationOfSoutheastAsianNations
and il
giorno
8
(
dateEstablished
AustraliaNewZealandUnitedStatesSecurityTreaty
(
DayFn
1
(
MonthFn
September
(
YearFn
1951))))
Government.kif 2889-2889
dateEstablished
AustraliaNewZealandUnitedStatesSecurityTreaty
and il
giorno
1
(
dateEstablished
BankForInternationalSettlements
(
DayFn
20
(
MonthFn
January
(
YearFn
1930))))
Government.kif 2895-2895
dateEstablished
BankForInternationalSettlements
and il
giorno
20
(
dateEstablished
BeneluxEconomicUnion
(
DayFn
3
(
MonthFn
February
(
YearFn
1958))))
Government.kif 2901-2901
dateEstablished
BeneluxEconomicUnion
and il
giorno
3
(
dateEstablished
BlackSeaEconomicCooperationZone
(
DayFn
25
(
MonthFn
June
(
YearFn
1992))))
Government.kif 2921-2921
dateEstablished
BlackSeaEconomicCooperationZone
and il
giorno
25
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