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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - independenceDate

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 530-533
(domain independenceDate 1 GeopoliticalArea) Government.kif 527-527
(domainSubclass independenceDate 2 TimeInterval) Government.kif 528-528
(instance independenceDate BinaryPredicate) Government.kif 526-526

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 29538-29538
(termFormat ChineseTraditionalLanguage independenceDate "獨立日期") domainEnglishFormat.kif 29537-29537
(termFormat EnglishLanguage independenceDate "independence date") domainEnglishFormat.kif 29536-29536


    (independenceDate ?COUNTRY1 ?DATE)
        (FutureFn ?DATE)
            (exists (?COUNTRY2)
                (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2)))))
Government.kif 535-540

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