TreeView Knowledge Base Browser

appearance as argument number 1

(instance Astronomer Profession)	Biography.kif 392-392	Astronomer is an instance of profession
(subAttribute Astronomer Scientist)	Biography.kif 393-393	Astronomer is a subattribute of scientist
(documentation Astronomer EnglishLanguage "A Physicist who studies Astronomy.")	Biography.kif 394-394	Astronomer is a subattribute of scientist

appearance as argument number 2

(termFormat EnglishLanguage Astronomer "astronomer")	domainEnglishFormat.kif 8812-8812
(termFormat ChineseTraditionalLanguage Astronomer "天文學家")	domainEnglishFormat.kif 8813-8813
(termFormat ChineseLanguage Astronomer "天文学家")	domainEnglishFormat.kif 8814-8814

antecedent

(=>
(attribute ?PERSON Astronomer)
(hasExpertise ?PERSON Astronomy))

If astronomer is an attribute of X, then astronomy has an expertise in X