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
Die Zahl 1 Argument von
DayFn
ist ein
fall
von
PositiveInteger
%n{nicht}
(
domainSubclass
DayFn
2
Month
)
Merge.kif 8589-8589
Die Zahl 2 Argument von
DayFn
ist eine
teilkategorie
von
Month
%n{nicht}
(
instance
DayFn
BinaryFunction
)
Merge.kif 8586-8586
DayFn
ist ein
fall
von
BinaryFunction
%n{nicht}
(
instance
DayFn
PartialValuedRelation
)
Merge.kif 8587-8587
DayFn
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
DayFn
TemporalRelation
)
Merge.kif 8585-8585
DayFn
ist ein
fall
von
TemporalRelation
%n{nicht}
(
rangeSubclass
DayFn
Day
)
Merge.kif 8590-8590
Die werte die
DayFn
zurueckgibt sind
teilkategorien
von
Day
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
Day
ist innerlich verwandt mit
DayFn
%n{nicht}
(
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
Wenn
birthdate
Human
and
Day
und
** Day
ist ein
fall
von der
tag
PositiveInteger
%n{nicht},
dann es gibt
** ** Day
und
Integer
um
birthday
** Human
and
** ** Day
und
** ** ** Day
ist eine
teilkategorie
von
Day
und
** Integer
ist ein
fall
von
Integer
%n{nicht} und
** ** ** Day
ist gleich der
tag
** PositiveInteger
%n{nicht} und
** Integer
ist
groesserAls
** Integer
%n{nicht}
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
instance
?ANYO
(
YearFn
?YEAR)))
(
not
(
earlier
?DATE ?ANYO)))
Government.kif 612-617
Wenn
commemoratesDate
** Holiday
and der
tag
PositiveInteger
und
TimeInterval
ist ein
fall
von
** Holiday
%n{nicht} und
** TimeInterval
ist ein
fall
von das
jahr
Integer
%n{nicht},
dann
** TimeInterval
geschieht frueh als
** ** TimeInterval
nicht
(=>
(
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
Wenn
commemoratesDate
** Holiday
and der
tag
PositiveInteger
und
Entity
ist ein
fall
von
** Holiday
%n{nicht} und
** ** Holiday
ist eine
teilkategorie
von
FixedHoliday
und
Integer
ist
kleinerAlsOderGleich
** entity
-YEAR %n{nicht},
dann
** Entity
ist ein
fall
von der
tag
** PositiveInteger
%n{nicht}
(=>
(
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
Wenn
Menopausal
ist ein
attribut
von
Human
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
birthdate
** Human
and
Day
und
** Day
ist ein
fall
von der
tag
PositiveInteger
%n{nicht} und
RealNumber
ist gleich (49 und
Integer
) %n{nicht} und
** RealNumber
ist gleich (52 und
** Integer
) %n{nicht} und
TimePoint
ist gleich der
anfang
von
** TimeInterval
%n{nicht},
dann die Aussage
** TimePoint
ist
groesserAls
** RealNumber
%n{nicht} und
** ** RealNumber
ist
groesserAls
** TimePoint
%n{nicht} hat die modale Kraft von
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
Wenn
TimeInterval
ist ein
fall
von der
tag
PositiveInteger
%n{nicht} und
** TimeInterval
ist ein
fall
von der
tag
** PositiveInteger
%n{nicht} und
TimePoint
ist gleich der
anfang
von
** TimeInterval
%n{nicht} und
** TimePoint
ist gleich der
anfang
von
** ** TimeInterval
%n{nicht} und
** ** PositiveInteger
ist
groesserAls
** PositiveInteger
%n{nicht},
dann
** TimePoint
geschieht
vor
** ** TimePoint
%n{nicht}
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von der
tag
PositiveInteger
%n{nicht} und
** TimeInterval
ist ein
fall
von der
tag
** PositiveInteger
%n{nicht} und
** ** PositiveInteger
ist
groesserAls
** PositiveInteger
%n{nicht},
dann
** TimeInterval
geschieht frueh als
** ** TimeInterval
%n{nicht}
(=>
(
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
Wenn
TimePosition
ist ein
fall
von der
tag
PositiveInteger
%n{nicht} und
** TimePosition
ist ein
teil
von
WeekBeforeFn
** TimePosition
%n{nicht} und
** TimePosition
ist ein
teil
von
WeekAfterFn
** ** TimePosition
%n{nicht},
dann es gibt
** PositiveInteger
um
** ** TimePosition
ist ein
fall
von der
tag
** ** PositiveInteger
%n{nicht} und
** ** PositiveInteger
ist gleich (
** PositiveInteger
und 7) %n{nicht}
(=>
(
and
(
instance
?DAY1
(
DayFn
?NUMBER1 ?MONTH))
(
instance
?DAY2
(
DayFn
?NUMBER2 ?MONTH))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 8603-8608
Wenn
TimeInterval
ist ein
fall
von der
tag
PositiveInteger
%n{nicht} und
** TimeInterval
ist ein
fall
von der
tag
** PositiveInteger
%n{nicht} und (
** ** PositiveInteger
und
** PositiveInteger
) ist gleich 1 %n{nicht},
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
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
Wenn
Process
ist ein
fall
von
BarMitzvah
%n{nicht} und
Human
ist ein
patient
von
** Process
%n{nicht} und
** Human
ist ein
fall
von
Boy
%n{nicht} und
** Human
ist ein
Mitglied
von
Collection
%n{nicht} und
** Collection
ist ein
fall
von
Judaism
%n{nicht} und
birthdate
** Human
and
Day
und
** Day
ist ein
fall
von der
tag
PositiveInteger
%n{nicht},
dann es gibt
Integer
und
TimePosition
um
** Integer
ist ein
fall
von
Integer
%n{nicht} und
** Integer
ist gleich (
** Integer
und 13) %n{nicht} und
** TimePosition
ist ein
fall
von der
tag
** PositiveInteger
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich sofort
nach
** TimePosition
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
BatMitzvah
%n{nicht} und
Human
ist ein
patient
von
** Process
%n{nicht} und
** Human
ist ein
fall
von
Girl
%n{nicht} und
** Human
ist ein
Mitglied
von
Collection
%n{nicht} und
** Collection
ist ein
fall
von
Judaism
%n{nicht} und
birthdate
** Human
and
Day
und
** Day
ist ein
fall
von der
tag
PositiveInteger
%n{nicht},
dann es gibt
Integer
und
TimePosition
um
** Integer
ist ein
fall
von
Integer
%n{nicht} und
** Integer
ist gleich (
** Integer
und 13) %n{nicht} und
** TimePosition
ist ein
fall
von der
tag
** PositiveInteger
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich sofort
nach
** TimePosition
%n{nicht}
(=>
(
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
Wenn
TimePosition
ist ein
fall
von die
stunde
NonnegativeInteger
%n{nicht} und
** TimePosition
ist ein
fall
von die
stunde
** NonnegativeInteger
%n{nicht} und ist gleich
** ** TimePosition
%n{nicht},
dann
** ** NonnegativeInteger
ist gleich (
** NonnegativeInteger
und 6) %n{nicht}
(=>
(
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
Wenn
TimePosition
ist ein
fall
von die
stunde
NonnegativeInteger
%n{nicht} und
** TimePosition
ist ein
fall
von die
stunde
** NonnegativeInteger
%n{nicht} und ist gleich
** ** TimePosition
%n{nicht},
dann
** ** NonnegativeInteger
ist gleich (
** NonnegativeInteger
und 5) %n{nicht}
(=>
(
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
Wenn
TimePosition
ist ein
fall
von die
stunde
NonnegativeInteger
%n{nicht} und
** TimePosition
ist ein
fall
von die
stunde
** NonnegativeInteger
%n{nicht} und ist gleich
** ** TimePosition
%n{nicht},
dann
** ** NonnegativeInteger
ist gleich (
** NonnegativeInteger
und 7) %n{nicht}
(=>
(
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
Wenn
TimePosition
ist ein
fall
von die
stunde
NonnegativeInteger
%n{nicht} und
** TimePosition
ist ein
fall
von die
stunde
** NonnegativeInteger
%n{nicht} und ist gleich
** ** TimePosition
%n{nicht},
dann
** ** NonnegativeInteger
ist gleich (
** NonnegativeInteger
und 8) %n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
Wedding
%n{nicht} und
datum
von
** Physical
ist
Day
%n{nicht} und
** Day
ist ein
fall
von der
tag
PositiveInteger
%n{nicht},
dann es gibt
** ** Day
und
Integer
um
weddingAnniversary
** Physical
and
** ** Day
und
** ** ** Day
ist eine
teilkategorie
von
Day
und
** Integer
ist ein
fall
von
Integer
%n{nicht} und
** ** ** Day
ist gleich der
tag
** PositiveInteger
%n{nicht} und
** Integer
ist
groesserAls
** Integer
%n{nicht}
(=>
(
instance
?DAY
(
DayFn
?NUMBER ?MONTH))
(
lessThanOrEqualTo
?NUMBER 31))
Merge.kif 8599-8601
Wenn
Entity
ist ein
fall
von der
tag
PositiveInteger
%n{nicht},
dann
** PositiveInteger
ist
kleinerAlsOderGleich
31 %n{nicht}
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
Wenn
birthdate
Human
and
Day
und
** Day
ist ein
fall
von der
tag
PositiveInteger
%n{nicht},
dann es gibt
** ** Day
und
Integer
um
birthday
** Human
and
** ** Day
und
** ** ** Day
ist eine
teilkategorie
von
Day
und
** Integer
ist ein
fall
von
Integer
%n{nicht} und
** ** ** Day
ist gleich der
tag
** PositiveInteger
%n{nicht} und
** Integer
ist
groesserAls
** Integer
%n{nicht}
(=>
(
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
Wenn
commemoratesDate
** Holiday
and der
tag
PositiveInteger
und
Entity
ist ein
fall
von
** Holiday
%n{nicht} und
** ** Holiday
ist eine
teilkategorie
von
FixedHoliday
und
Integer
ist
kleinerAlsOderGleich
** entity
-YEAR %n{nicht},
dann
** Entity
ist ein
fall
von der
tag
** PositiveInteger
%n{nicht}
(=>
(
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
Wenn
TimePosition
ist ein
fall
von der
tag
PositiveInteger
%n{nicht} und
** TimePosition
ist ein
teil
von
WeekBeforeFn
** TimePosition
%n{nicht} und
** TimePosition
ist ein
teil
von
WeekAfterFn
** ** TimePosition
%n{nicht},
dann es gibt
** PositiveInteger
um
** ** TimePosition
ist ein
fall
von der
tag
** ** PositiveInteger
%n{nicht} und
** ** PositiveInteger
ist gleich (
** PositiveInteger
und 7) %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
BarMitzvah
%n{nicht} und
Human
ist ein
patient
von
** Process
%n{nicht} und
** Human
ist ein
fall
von
Boy
%n{nicht} und
** Human
ist ein
Mitglied
von
Collection
%n{nicht} und
** Collection
ist ein
fall
von
Judaism
%n{nicht} und
birthdate
** Human
and
Day
und
** Day
ist ein
fall
von der
tag
PositiveInteger
%n{nicht},
dann es gibt
Integer
und
TimePosition
um
** Integer
ist ein
fall
von
Integer
%n{nicht} und
** Integer
ist gleich (
** Integer
und 13) %n{nicht} und
** TimePosition
ist ein
fall
von der
tag
** PositiveInteger
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich sofort
nach
** TimePosition
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
BatMitzvah
%n{nicht} und
Human
ist ein
patient
von
** Process
%n{nicht} und
** Human
ist ein
fall
von
Girl
%n{nicht} und
** Human
ist ein
Mitglied
von
Collection
%n{nicht} und
** Collection
ist ein
fall
von
Judaism
%n{nicht} und
birthdate
** Human
and
Day
und
** Day
ist ein
fall
von der
tag
PositiveInteger
%n{nicht},
dann es gibt
Integer
und
TimePosition
um
** Integer
ist ein
fall
von
Integer
%n{nicht} und
** Integer
ist gleich (
** Integer
und 13) %n{nicht} und
** TimePosition
ist ein
fall
von der
tag
** PositiveInteger
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich sofort
nach
** TimePosition
%n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
Wedding
%n{nicht} und
datum
von
** Physical
ist
Day
%n{nicht} und
** Day
ist ein
fall
von der
tag
PositiveInteger
%n{nicht},
dann es gibt
** ** Day
und
Integer
um
weddingAnniversary
** Physical
and
** ** Day
und
** ** ** Day
ist eine
teilkategorie
von
Day
und
** Integer
ist ein
fall
von
Integer
%n{nicht} und
** ** ** Day
ist gleich der
tag
** PositiveInteger
%n{nicht} und
** Integer
ist
groesserAls
** Integer
%n{nicht}
statement
(
agreementAdoptionDate
AntarcticTreaty
(
DayFn
1
(
MonthFn
December
(
YearFn
1959))))
Geography.kif 3192-3192
agreementAdoptionDate
AntarcticTreaty
and der
tag
1
(
agreementEffectiveDate
AntarcticTreaty
(
instance
?D
(
DayFn
23
(
MonthFn
June
(
YearFn
1961)))))
Geography.kif 3193-3193
agreementEffectiveDate
AntarcticTreaty
and ?D ist ein
fall
von der
tag
23 %n{nicht}
(
dateDissolved
CoordinatingCommitteeOnExportControls
(
DayFn
31
(
MonthFn
March
(
YearFn
1994))))
Government.kif 2994-2994
dateDissolved
CoordinatingCommitteeOnExportControls
and der
tag
31
(
dateDissolved
CouncilForMutualEconomicAssistance
(
DayFn
1
(
MonthFn
January
(
YearFn
1991))))
Government.kif 3009-3009
dateDissolved
CouncilForMutualEconomicAssistance
and der
tag
1
(
dateDissolved
UnitedNationsPreventiveDeploymentForce
(
DayFn
25
(
MonthFn
March
(
YearFn
1999))))
Government.kif 4145-4145
dateDissolved
UnitedNationsPreventiveDeploymentForce
and der
tag
25
(
dateDissolved
WarsawPact
(
DayFn
1
(
MonthFn
July
(
YearFn
1991))))
Government.kif 4285-4285
dateDissolved
WarsawPact
and der
tag
1
(
dateEstablished
AfricanCaribbeanAndPacificGroupOfStates
(
DayFn
6
(
MonthFn
June
(
YearFn
1975))))
Government.kif 2750-2750
dateEstablished
AfricanCaribbeanAndPacificGroupOfStates
and der
tag
6
(
dateEstablished
AfricanDevelopmentBank
(
DayFn
4
(
MonthFn
August
(
YearFn
1963))))
Government.kif 2757-2757
dateEstablished
AfricanDevelopmentBank
and der
tag
4
(
dateEstablished
AgencyForTheFrenchSpeakingCommunity
(
DayFn
20
(
MonthFn
March
(
YearFn
1970))))
Government.kif 2771-2771
dateEstablished
AgencyForTheFrenchSpeakingCommunity
and der
tag
20
(
dateEstablished
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
(
DayFn
14
(
MonthFn
February
(
YearFn
1967))))
Government.kif 2778-2778
dateEstablished
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
and der
tag
14
(
dateEstablished
AndeanCommunityOfNations
(
DayFn
26
(
MonthFn
May
(
YearFn
1969))))
Government.kif 2796-2796
dateEstablished
AndeanCommunityOfNations
and der
tag
26
(
dateEstablished
AntarcticTreatyCouncil
(
DayFn
23
(
MonthFn
June
(
YearFn
1961))))
Government.kif 2801-2801
dateEstablished
AntarcticTreatyCouncil
and der
tag
23
(
dateEstablished
ArabBankForEconomicDevelopmentInAfrica
(
DayFn
18
(
MonthFn
February
(
YearFn
1974))))
Government.kif 2812-2812
dateEstablished
ArabBankForEconomicDevelopmentInAfrica
and der
tag
18
(
dateEstablished
ArabCooperationCouncil
(
DayFn
16
(
MonthFn
February
(
YearFn
1989))))
Government.kif 2818-2818
dateEstablished
ArabCooperationCouncil
and der
tag
16
(
dateEstablished
ArabFundForEconomicAndSocialDevelopment
(
DayFn
16
(
MonthFn
May
(
YearFn
1968))))
Government.kif 2824-2824
dateEstablished
ArabFundForEconomicAndSocialDevelopment
and der
tag
16
(
dateEstablished
ArabLeague
(
DayFn
22
(
MonthFn
March
(
YearFn
1945))))
Government.kif 2833-2833
dateEstablished
ArabLeague
and der
tag
22
(
dateEstablished
ArabMaghrebUnion
(
DayFn
17
(
MonthFn
February
(
YearFn
1989))))
Government.kif 2842-2842
dateEstablished
ArabMaghrebUnion
and der
tag
17
(
dateEstablished
ArabMonetaryFund
(
DayFn
27
(
MonthFn
April
(
YearFn
1976))))
Government.kif 2851-2851
dateEstablished
ArabMonetaryFund
and der
tag
27
(
dateEstablished
AsiaPacificEconomicCooperation
(
DayFn
7
(
MonthFn
November
(
YearFn
1989))))
Government.kif 2857-2857
dateEstablished
AsiaPacificEconomicCooperation
and der
tag
7
(
dateEstablished
AsianDevelopmentBank
(
DayFn
19
(
MonthFn
December
(
YearFn
1966))))
Government.kif 2863-2863
dateEstablished
AsianDevelopmentBank
and der
tag
19
(
dateEstablished
AssociationOfSoutheastAsianNations
(
DayFn
8
(
MonthFn
August
(
YearFn
1967))))
Government.kif 2869-2869
dateEstablished
AssociationOfSoutheastAsianNations
and der
tag
8
(
dateEstablished
AustraliaNewZealandUnitedStatesSecurityTreaty
(
DayFn
1
(
MonthFn
September
(
YearFn
1951))))
Government.kif 2889-2889
dateEstablished
AustraliaNewZealandUnitedStatesSecurityTreaty
and der
tag
1
(
dateEstablished
BankForInternationalSettlements
(
DayFn
20
(
MonthFn
January
(
YearFn
1930))))
Government.kif 2895-2895
dateEstablished
BankForInternationalSettlements
and der
tag
20
(
dateEstablished
BeneluxEconomicUnion
(
DayFn
3
(
MonthFn
February
(
YearFn
1958))))
Government.kif 2901-2901
dateEstablished
BeneluxEconomicUnion
and der
tag
3
(
dateEstablished
BlackSeaEconomicCooperationZone
(
DayFn
25
(
MonthFn
June
(
YearFn
1992))))
Government.kif 2921-2921
dateEstablished
BlackSeaEconomicCooperationZone
and der
tag
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