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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - dateDissolved
dateDissolved

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


(documentation dateDissolved EnglishLanguage "(dateDissolved ?THING ?TIME) means that the Physical ?THING was dissolved, disbanded, or superseded on the date indicated by ?TIME. For example, (dateDissolved UnitedNationsPreventiveDeploymentForce (DayFn 25 (MonthFn March (YearFn 1999)))).") Government.kif 2506-2510
(domain dateDissolved 1 Physical) Government.kif 2496-2496 domain dateDissolved, 1 and Physical
(domainSubclass dateDissolved 2 TimePosition) Government.kif 2497-2497 domainSubclass dateDissolved, 2 and TimePosition
(instance dateDissolved BinaryPredicate) Government.kif 2495-2495 instance dateDissolved and BinaryPredicate

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


(format ChineseLanguage dateDissolved "%2 %n 是 %1 的闭幕 date") domainEnglishFormat.kif 648-648
(format ChineseTraditionalLanguage dateDissolved "%2 %n 是 %1 的閉幕 date ") domainEnglishFormat.kif 647-647
(format EnglishLanguage dateDissolved "%2 is %n a date dissolved of %1") domainEnglishFormat.kif 646-646
(termFormat ChineseLanguage dateDissolved "日期解散") domainEnglishFormat.kif 18541-18541 termFormat ChineseLanguage, dateDissolved and "日期解散"
(termFormat ChineseTraditionalLanguage dateDissolved "日期解散") domainEnglishFormat.kif 18540-18540 termFormat ChineseTraditionalLanguage, dateDissolved and "日期解散"
(termFormat EnglishLanguage dateDissolved "date dissolved") domainEnglishFormat.kif 18539-18539 termFormat EnglishLanguage, dateDissolved and "date dissolved"

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


(=>
    (dateDissolved ?THING ?DATE)
    (exists (?DAY)
        (and
            (instance ?DAY ?DATE)
            (overlapsTemporally ?DAY
                (EndFn
                    (WhenFn ?THING))))))
Government.kif 2499-2504

appearance as argument number 0
-------------------------


(dateDissolved CoordinatingCommitteeOnExportControls
    (DayFn 31
        (MonthFn March
            (YearFn 1994))))
Government.kif 2925-2925 dateDissolved CoordinatingCommitteeOnExportControls and DayFn 31 and MonthFn March and YearFn 1994
(dateDissolved CouncilForMutualEconomicAssistance
    (DayFn 1
        (MonthFn January
            (YearFn 1991))))
Government.kif 2940-2940 dateDissolved CouncilForMutualEconomicAssistance and DayFn 1 and MonthFn January and YearFn 1991
(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))
Government.kif 4076-4076 dateDissolved UnitedNationsPreventiveDeploymentForce and DayFn 25 and MonthFn March and YearFn 1999
(dateDissolved WarsawPact
    (DayFn 1
        (MonthFn July
            (YearFn 1991))))
Government.kif 4216-4216 dateDissolved WarsawPact and DayFn 1 and MonthFn July and YearFn 1991


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners