TreeView Knowledge Base Browser

appearance as argument number 1

(instance Chemist Profession)	Biography.kif 408-408	Chemist is an instance of profession
(subAttribute Chemist Scientist)	Biography.kif 409-409	Chemist is a subattribute of scientist
(documentation Chemist EnglishLanguage "A Scientist who specializes in Chemistry.")	Biography.kif 410-410	Chemist is a subattribute of scientist

appearance as argument number 2

(termFormat EnglishLanguage Chemist "chemist")	domainEnglishFormat.kif 14352-14352
(termFormat ChineseTraditionalLanguage Chemist "化學家")	domainEnglishFormat.kif 14353-14353
(termFormat ChineseLanguage Chemist "化学家")	domainEnglishFormat.kif 14354-14354

antecedent

(=>
(attribute ?PERSON Chemist)
(hasExpertise ?PERSON Chemistry))

If chemist is an attribute of X, then chemistry has an expertise in X