TreeView 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 541-544
(domain independenceDate 1 GeopoliticalArea)	Government.kif 538-538	The number 1 argument of independence date is an instance of geopolitical area
(domainSubclass independenceDate 2 TimeInterval)	Government.kif 539-539	The number 2 argument of independence date is a subclass of time interval
(instance independenceDate BinaryPredicate)	Government.kif 537-537	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 29551-29551
(termFormat ChineseTraditionalLanguage independenceDate "獨立日期")	domainEnglishFormat.kif 29550-29550
(termFormat EnglishLanguage independenceDate "independence date")	domainEnglishFormat.kif 29549-29549

antecedent

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

Government.kif 546-553