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 |
![]() |
![]() |