| ComputerScience | |
| appearance as argument number 1 |
|
|
| (documentation ComputerScience EnglishLanguage "ComputerScience is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems.") | Mid-level-ontology.kif 22817-22818 | |
| (subclass ComputerScience Science) | Mid-level-ontology.kif 22816-22816 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ComputerScience "计算机科学") | domainEnglishFormat.kif 16407-16407 | |
| (termFormat ChineseTraditionalLanguage ComputerScience "計算機科學") | domainEnglishFormat.kif 16406-16406 | |
| (termFormat EnglishLanguage ComputerScience "computer science") | domainEnglishFormat.kif 16405-16405 |
| consequent |
|
|
| (=> (attribute ?PERSON ComputerScientist) (hasExpertise ?PERSON ComputerScience)) |
Biography.kif 420-422 |
|
|
|