TreeView Knowledge Base Browser

appearance as argument number 1

(subclass FarmBuilding Building)	Mid-level-ontology.kif 8407-8407	Farm building is a subclass of building
(disjoint FarmBuilding ResidentialBuilding)	Mid-level-ontology.kif 8408-8408	Farm building is disjoint from residential building
(documentation FarmBuilding EnglishLanguage "A Building on a Farm that is used for keeping DomesticAnimals, Fodder or harvested crops.")	Mid-level-ontology.kif 8409-8410	Farm building is disjoint from residential building
(externalImage FarmBuilding "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ LightningVolt_Barn.jpg")	pictureList.kif 2164-2164	Farm building is disjoint from residential building

appearance as argument number 2

(termFormat EnglishLanguage FarmBuilding "farm building")	domainEnglishFormat.kif 23278-23278
(termFormat ChineseTraditionalLanguage FarmBuilding "農場建設")	domainEnglishFormat.kif 23279-23279
(termFormat ChineseLanguage FarmBuilding "农场建设")	domainEnglishFormat.kif 23280-23280

antecedent

(=>
    (instance ?B FarmBuilding)
    (exists (?F)
        (and
            (instance ?F Farm)
            (located ?B ?F))))

If X is an instance of farm building, then there exists Y such that Y is an instance of farm and X is located at Y