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

Formal Language: 



KB Term:  Term intersection
English Word: 

  independenceDate

Sigma KEE - independenceDate
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 505-508
(domain independenceDate 1 GeopoliticalArea) Government.kif 502-502 Die Zahl 1 Argument von independenceDate ist ein fall von GeopoliticalArea %n{nicht}
(domainSubclass independenceDate 2 TimeInterval) Government.kif 503-503 Die Zahl 2 Argument von independenceDate ist eine teilkategorie von TimeInterval %n{nicht}
(instance independenceDate BinaryPredicate) Government.kif 501-501 independenceDate ist ein fall von BinaryPredicate %n{nicht}

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 510-517


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