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 2526-2530
(domain dateDissolved 1 Physical) Government.kif 2516-2516 日期解散 的 1 数量 是 物理instance
(domainSubclass dateDissolved 2 TimePosition) Government.kif 2517-2517 日期解散 的 2 数量 是 时间位置subclass
(instance dateDissolved BinaryPredicate) Government.kif 2515-2515 日期解散二元谓语instance

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 18621-18621
(termFormat ChineseTraditionalLanguage dateDissolved "日期解散") domainEnglishFormat.kif 18620-18620
(termFormat EnglishLanguage dateDissolved "date dissolved") domainEnglishFormat.kif 18619-18619

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


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

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


(dateDissolved CoordinatingCommitteeOnExportControls
    (DayFn 31
        (MonthFn March
            (YearFn 1994))))
Government.kif 2955-2955 31 Day出口管制协调委员会 的闭幕 date
(dateDissolved CouncilForMutualEconomicAssistance
    (DayFn 1
        (MonthFn January
            (YearFn 1991))))
Government.kif 2970-2970 1 Day共同经济援助理事会 的闭幕 date
(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))
Government.kif 4106-4106 25 Day联合国预防性部署部队 的闭幕 date
(dateDissolved WarsawPact
    (DayFn 1
        (MonthFn July
            (YearFn 1991))))
Government.kif 4246-4246 1 Day华沙协议 的闭幕 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