Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Chemist
Chemist

appearance as argument number 1
-------------------------


(documentation Chemist EnglishLanguage "A Scientist who specializes in Chemistry.") Biography.kif 410-410
(instance Chemist Profession) Biography.kif 408-408
(subAttribute Chemist Scientist) Biography.kif 409-409

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Chemist "化学家") domainEnglishFormat.kif 14361-14361
(termFormat ChineseTraditionalLanguage Chemist "化學家") domainEnglishFormat.kif 14360-14360
(termFormat EnglishLanguage Chemist "chemist") domainEnglishFormat.kif 14359-14359

antecedent
-------------------------


(=>
    (attribute ?PERSON Chemist)
    (hasExpertise ?PERSON Chemistry))
Biography.kif 412-414


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners