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 1322-1322
(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 1320-1320
(subclass Founding OrganizationalProcess) Mid-level-ontology.kif 1321-1321

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


(termFormat EnglishLanguage Founding "founding") domainEnglishFormat.kif 4556-4556

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


(=>
    (and
        (instance ?ORG Organization)
        (instance ?F Founding)
        (result ?F ?ORG))
    (exists (?FOUNDER)
        (and
            (instance ?FOUNDER Agent)
            (agent ?F ?FOUNDER))))
Society.kif 232-240
(=>
    (instance ?FOUND Founding)
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (result ?FOUND ?ORG))))
Mid-level-ontology.kif 1324-1329

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


(<=>
    (yearOfFounding ?O ?Y)
    (exists (?F)
        (and
            (overlapsTemporally ?F
                (YearFn ?Y))
            (instance ?F Founding)
            (result ?F ?O))))
Mid-level-ontology.kif 1355-1361
(=>
    (foundingdate ?ORG ?D)
    (exists (?F)
        (and
            (instance ?F Founding)
            (instance ?ORG Organization)
            (experiencer ?F ?ORG)
            (date ?F ?D))))
Society.kif 214-221
(=>
    (instance ?AF ArchitectureFirm)
    (exists (?DATE ?F ?A)
        (and
            (attribute ?A Architect)
            (instance ?F Founding)
            (instance ?AF Business)
            (foundingdate ?AF ?DATE)
            (result ?F ?AF)
            (agent ?F ?A))))
Society.kif 284-293
(=>
    (instance ?ORG Organization)
    (exists (?F)
        (and
            (instance ?F Founding)
            (result ?F ?ORG))))
Society.kif 224-229


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