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

Formal Language: 



KB Term:  Term intersection
English Word: 

  dateDissolved

 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 2565-2569
(domain dateDissolved 1 Physical) Government.kif 2555-2555 域 日期解散, 1 and Physical
(domainSubclass dateDissolved 2 TimePosition) Government.kif 2556-2556 域子類 日期解散, 2 and TimePosition
(instance dateDissolved BinaryPredicate) Government.kif 2554-2554 例 日期解散 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 18612-18612
(termFormat ChineseTraditionalLanguage dateDissolved "日期解散") domainEnglishFormat.kif 18611-18611
(termFormat EnglishLanguage dateDissolved "date dissolved") domainEnglishFormat.kif 18610-18610

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


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

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


(dateDissolved CoordinatingCommitteeOnExportControls
    (DayFn 31
        (MonthFn March
            (YearFn 1994))))		 Government.kif 2994-2994 天 31 and 月 March and 年 1994 是 出口管制協調委員會 的閉幕 date
(dateDissolved CouncilForMutualEconomicAssistance
    (DayFn 1
        (MonthFn January
            (YearFn 1991))))		 Government.kif 3009-3009 天 1 and 月 January and 年 1991 是 共同經濟援助理事會 的閉幕 date
(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))		 Government.kif 4145-4145 天 25 and 月 March and 年 1999 是 聯合國預防性部署部隊 的閉幕 date
(dateDissolved WarsawPact
    (DayFn 1
        (MonthFn July
            (YearFn 1991))))		 Government.kif 4285-4285 天 1 and 月 July and 年 1991 是 華沙協議 的閉幕 date


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