TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Cemetery LandArea)	Mid-level-ontology.kif 9412-9412	Cemetery is a subclass of land area
(documentation Cemetery EnglishLanguage "A LandArea which is used for burying the dead.")	Mid-level-ontology.kif 9413-9413	Cemetery is a subclass of land area
(externalImage Cemetery "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Caspar_Weinberger_2006-04-04_funeral_N-0696M-380.jpg")	pictureList.kif 2943-2943	Cemetery is a subclass of land area

appearance as argument number 2

(termFormat EnglishLanguage Cemetery "cemetery")	domainEnglishFormat.kif 13758-13758
(termFormat ChineseTraditionalLanguage Cemetery "公墓")	domainEnglishFormat.kif 13759-13759
(termFormat ChineseLanguage Cemetery "公墓")	domainEnglishFormat.kif 13760-13760

antecedent

(=>
    (instance ?C Cemetery)
    (exists (?T)
        (and
            (instance ?T Tomb)
            (located ?T ?C))))

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