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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Founding
Founding(创建)

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 创建声明subclass
(subclass Founding OrganizationalProcess) Mid-level-ontology.kif 932-932 创建机构性过程subclass

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 整数 机构year 资金 若且唯若 有存在 过程那个 整数EAR 这样 那个 整数EAR 时段 和 那个 过程 出现 的 time 重叠 和 那个 整数EAR 是 那个 整数 yearinstance那个 过程创建instance那个 机构那个 过程result
(=>
    (and
        (attribute ?A Founder)
        (instance ?A Human))
    (exists (?PROC)
        (and
            (instance ?PROC Founding)
            (agent ?PROC ?A))))
Biography.kif 223-230


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 3.0 is open source software produced by Articulate Software and its partners