| 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 17587-17588 | |
| (instance ComputerScience Science) | Mid-level-ontology.kif 17586-17586 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ComputerScience "计算机科学") | domainEnglishFormat.kif 16389-16389 | |
| (termFormat ChineseTraditionalLanguage ComputerScience "計算機科學") | domainEnglishFormat.kif 16388-16388 | |
| (termFormat EnglishLanguage ComputerScience "computer science") | domainEnglishFormat.kif 16387-16387 |
| consequent |
|
|
| (=> (attribute ?PERSON ComputerScientist) (hasExpertise ?PERSON ComputerScience)) |
Biography.kif 179-181 |
|
|
|