TreeView Knowledge Base Browser

appearance as argument number 1

(instance Archeologist Profession)	Biography.kif 377-377	Archeologist is an instance of profession
(subAttribute Archeologist Scientist)	Biography.kif 378-378	Archeologist is a subattribute of scientist
(documentation Archeologist EnglishLanguage "Archeologists is someone who hasExpertise in Archeology")	Biography.kif 379-379	Archeologist is a subattribute of scientist

appearance as argument number 2

(termFormat EnglishLanguage Archeologist "archeologist")	domainEnglishFormat.kif 8206-8206
(termFormat ChineseTraditionalLanguage Archeologist "考古學家")	domainEnglishFormat.kif 8207-8207
(termFormat ChineseLanguage Archeologist "考古学家")	domainEnglishFormat.kif 8208-8208

antecedent

(=>
(attribute ?PERSON Archeologist)
(hasExpertise ?PERSON Archeology))

If archeologist is an attribute of X, then archeology has an expertise in X