Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - YearFn
YearFn

appearance as argument number 1
-------------------------


(documentation YearFn ChineseLanguage "这是一个 UnaryFunction, 它把一个数字和对应的日历 Year 联系起来。例如:(YearFn 1912)会得出,1912年这个只有一个实例的 Class。正如所料的,正整数会得出公元 的年份,而负整数会得出 公元前的年份。注:这个函数得出一个 Class 作为它的值,原因是和它相关的函数,即 MonthFnDayFnHourFnMinuteFnSecondFn 等,是用来得出特定的 TimeInterval 和重复发生的时段,而唯一的做法是把这些函数的领域和范围当成类别而不是个别的实例。") chinese_format.kif 2749-2753
(documentation YearFn EnglishLanguage "A UnaryFunction that maps a number to the corresponding calendar Year. For example, (YearFn 1912) returns the Class containing just one instance, the year of 1912. As might be expected, positive integers return years in the Common Era, while negative integers return years in B.C.E. Note that this function returns a Class as a value. The reason for this is that the related functions, viz. MonthFn, DayFn, HourFn, MinuteFn, and SecondFn, are used to generate both specific TimeIntervals and recurrent intervals, and the only way to do this is to make the domains and ranges of these functions classes rather than individuals.") Merge.kif 8487-8495
(domain YearFn 1 Integer) Merge.kif 8484-8484 年函数 的 1 数量 是 整数instance
(instance YearFn TemporalRelation) Merge.kif 8481-8481 年函数时间关系instance
(instance YearFn TotalValuedRelation) Merge.kif 8483-8483 年函数总值关系instance
(instance YearFn UnaryFunction) Merge.kif 8482-8482 年函数一元函数instance
(rangeSubclass YearFn Year) Merge.kif 8485-8485 年函数 的所得值 是 subclass

appearance as argument number 2
-------------------------


(format ChineseLanguage YearFn "%1 year") chinese_format.kif 465-465
(format EnglishLanguage YearFn "the year %1") english_format.kif 471-471
(relatedInternalConcept Year YearFn) Merge.kif 8668-8668 年函数 是 内部相关
(termFormat ChineseLanguage YearFn "年") domainEnglishFormat.kif 63737-63737
(termFormat ChineseLanguage YearFn "年函数") chinese_format.kif 466-466
(termFormat ChineseTraditionalLanguage YearFn "年") domainEnglishFormat.kif 63736-63736
(termFormat EnglishLanguage YearFn "year") domainEnglishFormat.kif 63735-63735

antecedent
-------------------------


(<=>
    (and
        (instance ?Y
            (YearFn ?YEAR))
        (equal
            (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER))
    (exists (?LIST)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Male)
                                        (during
                                            (WhenFn ?BIRTH) ?Y)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))
People.kif 383-416 那个 年EAR yearinstance 地缘政治区域那个 年male 出生估计寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列串列instance那个 串列 的长度 是 另一个 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?YEAR)
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 108-123 整数 yearinstance 地缘政治区域那个 年 每一千的 births equal 实数 若且唯若 那个 地缘政治区域population 和 1000 equal 另一个 实数另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数那个 另外 实数 equal 那个 实数
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?DEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?PERSON)
                        (instance ?PERSON Human)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 144-159 整数 yearinstance 地缘政治区域那个 年 每一千里的 deaths equal 实数 若且唯若 那个 地缘政治区域population 和 1000 equal 另一个 实数另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数那个 另外 实数 equal 那个 实数
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?YEAR)
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
        (equal ?INFANTDEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?INFANT)
                        (instance ?INFANT Human)
                        (age ?INFANT
                            (MeasureFn ?AGE YearDuration))
                        (lessThan ?AGE 1)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 264-290 整数 yearinstance 地缘政治区域那个 年 每一千个生存出生里的 deaths equal 实数 若且唯若 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 1000 equal 另一个 实数第三 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 第三 整数那个 另外 实数 equal 那个 实数
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Female)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))
People.kif 429-462 整数 yearinstance 地缘政治区域那个 年female 出生预期寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列串列instance那个 串列 的长度 是 另一个 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))
People.kif 336-368 整数 yearinstance 地缘政治区域那个 年 的出生预期 life equal 实数 若且唯若 有存在 串列 这样 那个 串列串列instance那个 串列 的长度 是 另一个 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (SubtractionFn ?Y ?PY) 1)
        (instance ?PREVIOUSYEAR
            (YearFn ?PY))
        (holdsDuring ?YEAR
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (equal
            (DivisionFn ?POPULATION 1000) ?THOUSANDS)
        (equal ?IMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring ?PREVIOUSYEAR
                            (not
                                (inhabits ?PERSON ?AREA)))
                        (holdsDuring ?YEAR
                            (inhabits ?PERSON ?AREA))))))
        (equal ?EMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring ?PREVIOUSYEAR
                            (inhabits ?PERSON ?AREA))
                        (holdsDuring ?YEAR
                            (not
                                (inhabits ?PERSON ?AREA)))))))
        (equal
            (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
        (equal
            (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 182-213 整数 yearinstance 地缘政治区域那个 年 每一千的 migrants equal 实数 若且唯若 (那个 整数另一个 整数) equal 1 和 实体那个 另外 整数 yearinstance那个 地缘政治区域population equal 另一个 实数那个 年 holdsDuring那个 另外 实数 和 1000 equal 第三 实数第三 整数 equal 符号串 所描述的类别 instance 的数量 和 第四 整数 equal 那个 符号串 所描述的类别 instance 的数量 和 (那个 第三 整数那个 第四 整数) equal 第四 实数那个 第四 实数那个 第三 实数 equal 那个 实数
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (PopulationGrowthFn ?AREA ?YEAR) ?ADJUSTEDPERCENT))
    (and
        (equal
            (SubtractionFn ?Y ?YP) 1)
        (instance ?PREVIOUSYEAR
            (YearFn ?YP))
        (holdsDuring ?YEAR
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (holdsDuring ?PREVIOUSYEAR
            (equal
                (PopulationFn ?AREA) ?PREVIOUSPOPULATION))
        (equal
            (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT)
        (equal
            (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT)))
People.kif 78-90 整数 yearinstance 地缘政治区域那个 年population 成长 equal 实数 若且唯若 (那个 整数那个 整数P) equal 1 和 时间位置那个 整数P yearinstance那个 地缘政治区域population equal 另一个 实数那个 年 holdsDuring那个 地缘政治区域population equal 第三 实数那个 时间位置 holdsDuring那个 另外 实数那个 第三 实数 equal 第四 实数 和 (那个 第四 实数 和 1) equal 那个 实数
(=>
    (and
        (birthdate JesusOfNazareth ?DAY)
        (instance ?Y1
            (YearFn -6))
        (instance ?Y2
            (YearFn 4)))
    (temporalPart ?DAY
        (TimeIntervalFn
            (BeginFn ?Y1)
            (EndFn ?Y2))))
Media.kif 1936-1941
(=>
    (and
        (commemoratesDate ?HOLIDAY
            (DayFn ?DAY
                (MonthFn ?MONTH
                    (YearFn ?YEAR))))
        (instance ?DATE ?HOLIDAY)
        (instance ?ANYO
            (YearFn ?YEAR)))
    (not
        (earlier ?DATE ?ANYO)))
Government.kif 612-617
(=>
    (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
(=>
    (and
        (deathdate JesusOfNazareth ?DAY)
        (instance ?Y1
            (YearFn 29))
        (instance ?Y2
            (YearFn 36)))
    (temporalPart ?DAY
        (TimeIntervalFn
            (BeginFn ?Y1)
            (EndFn ?Y2))))
Media.kif 1943-1948
(=>
    (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 8651-8658
(=>
    (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 8660-8665
(=>
    (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 14697-14706
(=>
    (and
        (instance ?LEAP LeapYear)
        (instance ?LEAP
            (YearFn ?NUMBER)))
    (or
        (and
            (equal
                (RemainderFn ?NUMBER 4) 0)
            (not
                (equal
                    (RemainderFn ?NUMBER 100) 0)))
        (equal
            (RemainderFn ?NUMBER 400) 0)))
Merge.kif 8930-8938
(=>
    (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 8635-8642
(=>
    (and
        (instance ?M1
            (MonthFn ?N1
                (YearFn ?Y)))
        (instance ?M2
            (MonthFn ?N2
                (YearFn ?Y)))
        (successorClass ?N1 ?N2))
    (earlier ?M1 ?M2))
Merge.kif 8644-8649
(=>
    (and
        (instance ?Q QuarterYear)
        (instance ?Q
            (QuarterFn ?N
                (YearFn ?Y)))
        (instance ?YI
            (YearFn ?Y)))
    (during ?Q ?YI))
Merge.kif 8909-8914
(=>
    (and
        (instance ?T1
            (YearFn 26))
        (instance ?T2
            (YearFn 100)))
    (temporalPart
        (WhenFn TwelveApostles)
        (TimeIntervalFn
            (BeginFn ?T1)
            (EndFn ?T2))))
Media.kif 1959-1963
(=>
    (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 17013-17019
(=>
    (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 17025-17031
(=>
    (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 17001-17007
(=>
    (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 16989-16995
(=>
    (and
        (instance ?Y1
            (YearFn ?N1))
        (instance ?Y2
            (YearFn ?N2))
        (equal
            (SubtractionFn ?N2 ?N1) 1))
    (meetsTemporally ?Y1 ?Y2))
Merge.kif 8677-8682

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (SubtractionFn ?Y ?PY) 1)
        (instance ?PREVIOUSYEAR
            (YearFn ?PY))
        (holdsDuring ?YEAR
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (equal
            (DivisionFn ?POPULATION 1000) ?THOUSANDS)
        (equal ?IMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring ?PREVIOUSYEAR
                            (not
                                (inhabits ?PERSON ?AREA)))
                        (holdsDuring ?YEAR
                            (inhabits ?PERSON ?AREA))))))
        (equal ?EMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring ?PREVIOUSYEAR
                            (inhabits ?PERSON ?AREA))
                        (holdsDuring ?YEAR
                            (not
                                (inhabits ?PERSON ?AREA)))))))
        (equal
            (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
        (equal
            (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 182-213 整数 yearinstance 地缘政治区域那个 年 每一千的 migrants equal 实数 若且唯若 (那个 整数另一个 整数) equal 1 和 实体那个 另外 整数 yearinstance那个 地缘政治区域population equal 另一个 实数那个 年 holdsDuring那个 另外 实数 和 1000 equal 第三 实数第三 整数 equal 符号串 所描述的类别 instance 的数量 和 第四 整数 equal 那个 符号串 所描述的类别 instance 的数量 和 (那个 第三 整数那个 第四 整数) equal 第四 实数那个 第四 实数那个 第三 实数 equal 那个 实数
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (PopulationGrowthFn ?AREA ?YEAR) ?ADJUSTEDPERCENT))
    (and
        (equal
            (SubtractionFn ?Y ?YP) 1)
        (instance ?PREVIOUSYEAR
            (YearFn ?YP))
        (holdsDuring ?YEAR
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (holdsDuring ?PREVIOUSYEAR
            (equal
                (PopulationFn ?AREA) ?PREVIOUSPOPULATION))
        (equal
            (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT)
        (equal
            (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT)))
People.kif 78-90 整数 yearinstance 地缘政治区域那个 年population 成长 equal 实数 若且唯若 (那个 整数那个 整数P) equal 1 和 时间位置那个 整数P yearinstance那个 地缘政治区域population equal 另一个 实数那个 年 holdsDuring那个 地缘政治区域population equal 第三 实数那个 时间位置 holdsDuring那个 另外 实数那个 第三 实数 equal 第四 实数 和 (那个 第四 实数 和 1) equal 那个 实数
(<=>
    (yearOfFounding ?O ?Y)
    (exists (?F ?YEAR)
        (and
            (overlapsTemporally
                (WhenFn ?F) ?YEAR)
            (instance ?YEAR
                (YearFn ?Y))
            (instance ?F Founding)
            (result ?F ?O))))
Mid-level-ontology.kif 935-942 整数 机构year 资金 若且唯若 有存在 过程那个 整数EAR 这样 那个 整数EAR 时段 和 那个 过程 出现 的 time 重叠 和 那个 整数EAR 是 那个 整数 yearinstance那个 过程创建instance那个 机构那个 过程result
(=>
    (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
(=>
    (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 14697-14706
(=>
    (yearOfFounding ?O ?Y)
    (dateEstablished ?O
        (YearFn ?Y)))
Mid-level-ontology.kif 927-930

statement
-------------------------


(agreementAdoptionDate AntarcticTreaty
    (DayFn 1
        (MonthFn December
            (YearFn 1959))))
Geography.kif 3124-3124 1 Day南极条约agreement 采用日期
(agreementEffectiveDate AntarcticTreaty
    (instance ?D
        (DayFn 23
            (MonthFn June
                (YearFn 1961)))))
Geography.kif 3125-3125 ?D 是 23 Dayinstance南极条约agreement 生效日期
(and
    (instance ?YEAR
        (YearFn ?Y))
    (equal
        (ChildrenBornPerWomanFn ?AREA ?YEAR)
        (CardinalityFn
            (KappaFn ?INFANT
                (and
                    (instance ?BIRTH Birth)
                    (experiencer ?BIRTH ?INFANT)
                    (agent ?BIRTH ?WOMAN)
                    (instance ?WOMAN Human)
                    (attribute ?WOMAN Female)
                    (holdsDuring ?YEAR
                        (inhabits ?WOMAN ?AREA)))))))
People.kif 482-495 整数 yearinstance 地缘政治区域那个 年 每个女人生的 children equal 符号串 所描述的类别 instance 的数量
(dateDissolved CoordinatingCommitteeOnExportControls
    (DayFn 31
        (MonthFn March
            (YearFn 1994))))
Government.kif 2994-2994 31 Day出口管制协调委员会 的闭幕 date
(dateDissolved CouncilForMutualEconomicAssistance
    (DayFn 1
        (MonthFn January
            (YearFn 1991))))
Government.kif 3009-3009 1 Day共同经济援助理事会 的闭幕 date
(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))
Government.kif 4145-4145 25 Day联合国预防性部署部队 的闭幕 date
(dateDissolved WarsawPact
    (DayFn 1
        (MonthFn July
            (YearFn 1991))))
Government.kif 4285-4285 1 Day华沙协议 的闭幕 date
(dateEstablished ASEANRegionalForum
    (YearFn 1994))
Government.kif 2877-2877 1994 Year东盟区域论坛 的成立 date
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates
    (DayFn 6
        (MonthFn June
            (YearFn 1975))))
Government.kif 2750-2750 6 Day非洲加勒比和太平洋国家集团 的成立 date
(dateEstablished AfricanDevelopmentBank
    (DayFn 4
        (MonthFn August
            (YearFn 1963))))
Government.kif 2757-2757 4 Day非洲开发银行 的成立 date
(dateEstablished AgencyForTheFrenchSpeakingCommunity
    (DayFn 20
        (MonthFn March
            (YearFn 1970))))
Government.kif 2771-2771 20 Day法语社区的代理机构 的成立 date
(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
    (DayFn 14
        (MonthFn February
            (YearFn 1967))))
Government.kif 2778-2778 14 Day在拉丁美洲和加勒比地区禁止核武器的机构 的成立 date
(dateEstablished AndeanCommunityOfNations
    (DayFn 26
        (MonthFn May
            (YearFn 1969))))
Government.kif 2796-2796 26 Day安第斯国际社会 的成立 date
(dateEstablished AntarcticTreatyCouncil
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))
Government.kif 2801-2801 23 Day南极条约理事会 的成立 date
(dateEstablished ArabBankForEconomicDevelopmentInAfrica
    (DayFn 18
        (MonthFn February
            (YearFn 1974))))
Government.kif 2812-2812 18 Day阿拉伯非洲经济发展银行 的成立 date
(dateEstablished ArabCooperationCouncil
    (DayFn 16
        (MonthFn February
            (YearFn 1989))))
Government.kif 2818-2818 16 Day阿拉伯合作理事会 的成立 date
(dateEstablished ArabFundForEconomicAndSocialDevelopment
    (DayFn 16
        (MonthFn May
            (YearFn 1968))))
Government.kif 2824-2824 16 Day阿拉伯经济和社会发展基金 的成立 date
(dateEstablished ArabLeague
    (DayFn 22
        (MonthFn March
            (YearFn 1945))))
Government.kif 2833-2833 22 Day阿拉伯联盟 的成立 date
(dateEstablished ArabMaghrebUnion
    (DayFn 17
        (MonthFn February
            (YearFn 1989))))
Government.kif 2842-2842 17 Day阿拉伯马格里布联盟 的成立 date
(dateEstablished ArabMonetaryFund
    (DayFn 27
        (MonthFn April
            (YearFn 1976))))
Government.kif 2851-2851 27 Day阿拉伯货币基金 的成立 date
(dateEstablished AsiaPacificEconomicCooperation
    (DayFn 7
        (MonthFn November
            (YearFn 1989))))
Government.kif 2857-2857 7 Day亚太经济合作 的成立 date
(dateEstablished AsianDevelopmentBank
    (DayFn 19
        (MonthFn December
            (YearFn 1966))))
Government.kif 2863-2863 19 Day亚洲开发银行 的成立 date
(dateEstablished AssociationOfSoutheastAsianNations
    (DayFn 8
        (MonthFn August
            (YearFn 1967))))
Government.kif 2869-2869 8 Day东南亚国家联盟 的成立 date
(dateEstablished AustraliaGroup
    (YearFn 1984))
Government.kif 2883-2883 1984 Year澳大利亚集团 的成立 date
(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty
    (DayFn 1
        (MonthFn September
            (YearFn 1951))))
Government.kif 2889-2889 1 Day澳大利亚新西兰美国安全条约 的成立 date

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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