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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Founding

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

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


(documentation Founding EnglishLanguage "Setting up an Organization.") Mid-level-ontology.kif 933-933
(externalImage Founding "http://upload.wikimedia.org/wikipedia/commons/1/ 19/ Constitution_Pg1of4_AC.jpg") pictureList.kif 2952-2952
(externalImage Founding "http://upload.wikimedia.org/wikipedia/commons/4/ 43/ Scene_at_the_Signing_of_the_Constitution_of_the_United_States.png") pictureList.kif 3079-3079
(externalImage Founding "http://upload.wikimedia.org/wikipedia/commons/5/ 53/ Constitution_Pg2of4_AC.jpg") pictureList.kif 3078-3078
(subclass Founding Declaring) Mid-level-ontology.kif 931-931 Founding is a subclass of declaring
(subclass Founding OrganizationalProcess) Mid-level-ontology.kif 932-932 Founding is a subclass of organizational process

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


(termFormat ChineseLanguage Founding "创建") domainEnglishFormat.kif 24806-24806
(termFormat ChineseTraditionalLanguage Founding "創建") domainEnglishFormat.kif 24805-24805
(termFormat EnglishLanguage Founding "founding") domainEnglishFormat.kif 24804-24804

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


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

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


(<=>
    (yearOfFounding ?O ?Y)
    (exists (?F ?YEAR)
        (and
            (overlapsTemporally
                (WhenFn ?F) ?YEAR)
            (instance ?YEAR
                (YearFn ?Y))
            (instance ?F Founding)
            (result ?F ?O))))
Mid-level-ontology.kif 968-975 An integer is a year of founding of an organization if and only if there exist a process and the integerEAR such that the integerEAR overlaps the time of existence of the process and the integerEAR is an instance of the year the integer and the process is an instance of founding and the organization is a result of the process
(=>
    (and
        (attribute ?A Founder)
        (instance ?A Human))
    (exists (?PROC)
        (and
            (instance ?PROC Founding)
            (agent ?PROC ?A))))
Biography.kif 223-230


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