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 876-876
(externalImage Founding "http://upload.wikimedia.org/wikipedia/commons/1/ 19/ Constitution_Pg1of4_AC.jpg") pictureList.kif 2953-2953
(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
(externalImage Founding "http://upload.wikimedia.org/wikipedia/commons/5/ 53/ Constitution_Pg2of4_AC.jpg") pictureList.kif 3079-3079
(subclass Founding Declaring) Mid-level-ontology.kif 874-874
(subclass Founding OrganizationalProcess) Mid-level-ontology.kif 875-875

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


(termFormat ChineseLanguage Founding "创建") domainEnglishFormat.kif 24801-24801
(termFormat ChineseTraditionalLanguage Founding "創建") domainEnglishFormat.kif 24800-24800
(termFormat EnglishLanguage Founding "founding") domainEnglishFormat.kif 24799-24799

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


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

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


(<=>
    (yearOfFounding ?O ?Y)
    (exists (?F)
        (and
            (overlapsTemporally ?F
                (YearFn ?Y))
            (instance ?F Founding)
            (result ?F ?O))))
Mid-level-ontology.kif 908-914


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