| ComputerScience(computer science) | | AI, MT, animatronics, artificial_intelligence, computer_science, computing, machine_translation, robotics, telerobotics |
| 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 21458-21459 | |
| (subclass ComputerScience Science) | Mid-level-ontology.kif 21457-21457 | Computer science is a subclass of science |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ComputerScience "计算机科学") | domainEnglishFormat.kif 16414-16414 | |
| (termFormat ChineseTraditionalLanguage ComputerScience "計算機科學") | domainEnglishFormat.kif 16413-16413 | |
| (termFormat EnglishLanguage ComputerScience "computer science") | domainEnglishFormat.kif 16412-16412 |
| consequent |
|
|
| (=> (attribute ?PERSON ComputerScientist) (hasExpertise ?PERSON ComputerScience)) |
Biography.kif 412-414 |
|
|
|
|