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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Founding
Founding(founding)
appoint, constitute, establish, form, found, founding, institute, launch, name, nominate, organise, organize, plant, set_up, 创建, 創建

VerbNet: appoint-29.1|nominate, appoint-29.1|nominate, establish-55.5|launch, establish-55.5|launch, establish-55.5|plant, establish-55.5|launch, appoint-29.1|nominate, appoint-29.1|nominate, establish-55.5|plant, establish-55.5|launch,


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


(documentation Founding EnglishLanguage "Setting up an Organization.") Mid-level-ontology.kif 1317-1317
(externalImage Founding "http://upload.wikimedia.org/wikipedia/commons/1/ 19/ Constitution_Pg1of4_AC.jpg") pictureList.kif 2953-2953 "http://upload.wikimedia.org/wikipedia/commons/1/19/ Constitution_Pg1of4_AC.jpg" is a URL depicting founding
(externalImage Founding "http://upload.wikimedia.org/wikipedia/commons/4/ 43/ Scene_at_the_Signing_of_the_Constitution_of_the_United_States.png") pictureList.kif 3080-3080 "http://upload.wikimedia.org/wikipedia/commons/4/43/ Scene_at_the_Signing_of_the_Constitution_of_the_United_States.png" is a URL depicting founding
(externalImage Founding "http://upload.wikimedia.org/wikipedia/commons/5/ 53/ Constitution_Pg2of4_AC.jpg") pictureList.kif 3079-3079 "http://upload.wikimedia.org/wikipedia/commons/5/53/ Constitution_Pg2of4_AC.jpg" is a URL depicting founding
(subclass Founding Declaring) Mid-level-ontology.kif 1315-1315 Founding is a subclass of declaring
(subclass Founding OrganizationalProcess) Mid-level-ontology.kif 1316-1316 Founding is a subclass of organizational process

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


(termFormat ChineseLanguage Founding "创建") domainEnglishFormat.kif 24739-24739 "创建" is the printable form of founding in ChineseLanguage
(termFormat ChineseTraditionalLanguage Founding "創建") domainEnglishFormat.kif 24738-24738 "創建" is the printable form of founding in ChineseTraditionalLanguage
(termFormat EnglishLanguage Founding "founding") domainEnglishFormat.kif 24737-24737 "founding" is the printable form of founding in english language

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


(=>
    (instance ?FOUND Founding)
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (result ?FOUND ?ORG))))
Mid-level-ontology.kif 1319-1324

consequent
-------------------------


(<=>
    (yearOfFounding ?O ?Y)
    (exists (?F)
        (and
            (overlapsTemporally ?F
                (YearFn ?Y))
            (instance ?F Founding)
            (result ?F ?O))))
Mid-level-ontology.kif 1350-1356 An integer is a year of founding of an organization if and only if there exists a time interval such that the year the integer overlaps the time interval and the time interval is an instance of founding and the organization is a result of the time interval


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