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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 19811-19812
(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 19810-19810

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


(termFormat ChineseLanguage Architecture "建筑") domainEnglishFormat.kif 8259-8259
(termFormat ChineseTraditionalLanguage Architecture "建築") domainEnglishFormat.kif 8258-8258
(termFormat EnglishLanguage Architecture "architecture") domainEnglishFormat.kif 8257-8257

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 19814-19823

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


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


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