Architecture - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

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

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))))

If architecture has an expertise in X, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of content development (3) X is an agent of Y (4) Z is a result of Y (5) Z is an instance of blueprint (6) Z expresses W (7) W is an instance of building

consequent

(=>
(attribute ?PERSON Architect)
(hasExpertise ?PERSON Architecture))

If architect is an attribute of X, then architecture has an expertise in X