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 2512-2516
(domain dateDissolved 1 Physical) Government.kif 2502-2502 dateDissolved 的 1 数量 是 物理 的 instance
(domainSubclass dateDissolved 2 TimePosition) Government.kif 2503-2503 dateDissolved 的 2 数量 是 时间位置 的 subclass
(instance dateDissolved BinaryPredicate) Government.kif 2501-2501 dateDissolved 是 二元谓语 的 instance

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


(format EnglishLanguage dateDissolved "%2 is %n a date dissolved of %1") domainEnglishFormat.kif 171-171
(termFormat EnglishLanguage dateDissolved "date dissolved") domainEnglishFormat.kif 3523-3523 termFormat EnglishLanguage, dateDissolved and "date dissolved"

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


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

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


(dateDissolved CoordinatingCommitteeOnExportControls
    (DayFn 31
        (MonthFn March
            (YearFn 1994))))		 Government.kif 2931-2931 dateDissolved CoordinatingCommitteeOnExportControls and 31 day
(dateDissolved CouncilForMutualEconomicAssistance
    (DayFn 1
        (MonthFn January
            (YearFn 1991))))		 Government.kif 2946-2946 dateDissolved CouncilForMutualEconomicAssistance and 1 day
(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))		 Government.kif 4082-4082 dateDissolved UnitedNationsPreventiveDeploymentForce and 25 day
(dateDissolved WarsawPact
    (DayFn 1
        (MonthFn July
            (YearFn 1991))))		 Government.kif 4222-4222 dateDissolved WarsawPact and 1 day


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