TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Biography HistoricalAccount)	Mid-level-ontology.kif 16502-16502	Biography is a subclass of historical account
(documentation Biography EnglishLanguage "A HistoricalAccount which is concerned with the life of a single Human.")	Mid-level-ontology.kif 16503-16504	Biography is a subclass of historical account
(externalImage Biography "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Biography_of_Nostradamus_by_Chavigny.PNG")	pictureList.kif 2646-2646	Biography is a subclass of historical account

appearance as argument number 2

(termFormat EnglishLanguage Biography "biography")	domainEnglishFormat.kif 11087-11087
(termFormat ChineseTraditionalLanguage Biography "傳")	domainEnglishFormat.kif 11088-11088
(termFormat ChineseLanguage Biography "传")	domainEnglishFormat.kif 11089-11089

antecedent

(=>
    (instance ?B Biography)
    (exists (?H)
        (and
            (instance ?H Human)
            (refers ?B ?H))))

If X is an instance of biography, then there exists Y such that Y is an instance of human and X includes a reference to Y