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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Architecture
Architecture(architecture)
architectural, architecture

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


(documentation Architecture EnglishLanguage "The FieldOfStudy of designing Buildings, i.e. creating Blueprints for Buildings.") Mid-level-ontology.kif 21470-21471
(externalImage Architecture "http://upload.wikimedia.org/wikipedia/commons/ 0/ 08/ Sydney_Opera_House_Sails_edit02.jpg") pictureList.kif 3042-3042
(externalImage Architecture "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2d/ Parthenon-Restoration-Nov-2005-a.jpg") pictureList.kif 3041-3041
(externalImage Architecture "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Duomo_Firenze.jpg") pictureList.kif 2938-2938
(externalImage Architecture "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ StPancrasMidlandHotel.jpg") pictureList.kif 3043-3043
(subclass Architecture FieldOfStudy) Mid-level-ontology.kif 21469-21469 Architecture is a subclass of field of study

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


(termFormat ChineseLanguage Architecture "建筑") domainEnglishFormat.kif 8253-8253
(termFormat ChineseTraditionalLanguage Architecture "建築") domainEnglishFormat.kif 8252-8252
(termFormat EnglishLanguage Architecture "architecture") domainEnglishFormat.kif 8251-8251

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 21473-21482

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


(=>
    (attribute ?PERSON Architect)
    (hasExpertise ?PERSON Architecture))
Biography.kif 380-382


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