Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ComputerScience(computer science) |  | AI, MT, animatronics, artificial_intelligence, computer_science, computing, machine_translation, robotics, telerobotics |
| appearance as argument number 1 |
|
|
| (subclass ComputerScience Science) | Mid-level-ontology.kif 23404-23404 | Computer science is a subclass of science |
| (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 23405-23406 | Computer science is a subclass of science |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 |
|