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 21180-21181
(externalImage Architecture "http://upload.wikimedia.org/wikipedia/commons/ 0/ 08/ Sydney_Opera_House_Sails_edit02.jpg") pictureList.kif 3043-3043
(externalImage Architecture "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2d/ Parthenon-Restoration-Nov-2005-a.jpg") pictureList.kif 3042-3042
(externalImage Architecture "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Duomo_Firenze.jpg") pictureList.kif 2939-2939
(externalImage Architecture "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ StPancrasMidlandHotel.jpg") pictureList.kif 3044-3044
(subclass Architecture FieldOfStudy) Mid-level-ontology.kif 21179-21179

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


(termFormat ChineseLanguage Architecture "建筑") domainEnglishFormat.kif 8250-8250
(termFormat ChineseTraditionalLanguage Architecture "建築") domainEnglishFormat.kif 8249-8249
(termFormat EnglishLanguage Architecture "architecture") domainEnglishFormat.kif 8248-8248

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 21183-21192

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


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


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 3.0 is open source software produced by Articulate Software and its partners