independenceDate - Sigma Knowledge base Browser

appearance as argument number 1

(documentation independenceDate EnglishLanguage "(independenceDate ?AREA ?DATE) means that the GeopoliticalArea ?AREA achieved its sovereignty on the date ?DATE. For example, (independenceDate Afghanistan (DayFn 19 (MonthFn August (YearFn 1919)))).")	Government.kif 505-508
(domain independenceDate 1 GeopoliticalArea)	Government.kif 502-502	The number 1 argument of independence date is an instance of geopolitical area
(domainSubclass independenceDate 2 TimeInterval)	Government.kif 503-503	The number 2 argument of independence date is a subclass of time interval
(instance independenceDate BinaryPredicate)	Government.kif 501-501	independence date is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage independenceDate "%2 %n 是 %1 的 independence 日期")	domainEnglishFormat.kif 1305-1305
(format ChineseTraditionalLanguage independenceDate "%2 %n 是 %1 的 independence 日期")	domainEnglishFormat.kif 1304-1304
(format EnglishLanguage independenceDate "%2 is %n an independence date of %1")	domainEnglishFormat.kif 1303-1303
(termFormat ChineseLanguage independenceDate "独立日期")	domainEnglishFormat.kif 29585-29585
(termFormat ChineseTraditionalLanguage independenceDate "獨立日期")	domainEnglishFormat.kif 29584-29584
(termFormat EnglishLanguage independenceDate "independence date")	domainEnglishFormat.kif 29583-29583

antecedent

(=>
    (and
        (independenceDate ?COUNTRY1 ?DATE)
        (instance ?INST ?DATE))
    (holdsDuring
        (FutureFn ?INST)
        (not
            (exists (?COUNTRY2)
                (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2)))))

Government.kif 510-517