Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ComputerScientist

 Sigma KEE - ComputerScientist
ComputerScientist(computer scientist)computer_scientist

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


(instance ComputerScientist Profession) Biography.kif 416-416 Computer scientist is an instance of profession
(subAttribute ComputerScientist Scientist) Biography.kif 417-417 Computer scientist is a subattribute of scientist
(documentation ComputerScientist EnglishLanguage "A Scientist who specializes in ComputerScience.") Biography.kif 418-418 Computer scientist is a subattribute of scientist

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


(termFormat EnglishLanguage ComputerScientist "computer scientist") domainEnglishFormat.kif 16404-16404
(termFormat ChineseTraditionalLanguage ComputerScientist "電腦科學家") domainEnglishFormat.kif 16405-16405
(termFormat ChineseLanguage ComputerScientist "电脑科学家") domainEnglishFormat.kif 16406-16406

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


(=>
    (attribute ?PERSON ComputerScientist)
    (hasExpertise ?PERSON ComputerScience))		 Biography.kif 420-422 If computer scientist is an attribute of X, then computer science has an expertise in X


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners