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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Architecture

Sigma KEE - Architecture
Architecture

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


(documentation Architecture EnglishLanguage "The FieldOfStudy of designing Buildings, i.e. creating Blueprints for Buildings.") Mid-level-ontology.kif 18450-18451
(externalImage Architecture "http://upload.wikimedia.org/wikipedia/commons/ 0/ 08/ Sydney_Opera_House_Sails_edit02.jpg") pictureList.kif 3044-3044
(externalImage Architecture "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2d/ Parthenon-Restoration-Nov-2005-a.jpg") pictureList.kif 3043-3043
(externalImage Architecture "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Duomo_Firenze.jpg") pictureList.kif 2940-2940
(externalImage Architecture "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ StPancrasMidlandHotel.jpg") pictureList.kif 3045-3045
(instance Architecture FieldOfStudy) Mid-level-ontology.kif 18449-18449

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


(termFormat EnglishLanguage Architecture "architecture") domainEnglishFormat.kif 1809-1809

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


(=>
    (hasExpertise ?H Architecture)
    (exists (?D ?P ?B)
        (and
            (instance ?D ContentDevelopment)
            (agent ?D ?H)
            (result ?D ?P)
            (instance ?P Blueprint)
            (represents ?P ?B)
            (instance ?B Building))))
Mid-level-ontology.kif 18453-18462

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


(=>
    (attribute ?PERSON Architect)
    (hasExpertise ?PERSON Architecture))
Biography.kif 146-148


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners