| Architecture
| |
| appearance as argument number 1 |
|
|
| (documentation Architecture EnglishLanguage "The FieldOfStudy of designing Buildings, i.e. creating Blueprints for Buildings.") | Mid-level-ontology.kif 22797-22798 | |
| (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 22796-22796 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Architecture "建筑") | domainEnglishFormat.kif 8251-8251 | |
| (termFormat ChineseTraditionalLanguage Architecture "建築") | domainEnglishFormat.kif 8250-8250 | |
| (termFormat EnglishLanguage Architecture "architecture") | domainEnglishFormat.kif 8249-8249 |
| 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 22800-22809 |
| consequent |
|
|
| (=> (attribute ?PERSON Architect) (hasExpertise ?PERSON Architecture)) |
Biography.kif 388-390 |
|
|
|