Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Cricket(cricket) |  | cricket, cricket_match |
| appearance as argument number 1 |
|
|
| (subclass Cricket TeamSport) | Sports.kif 105-105 | Cricket is a subclass of team sport |
| (documentation Cricket EnglishLanguage "A game played with a ball and bat by two teams of 11 players; teams take turns trying to score runs.") | Sports.kif 106-106 | Cricket is a subclass of team sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Cricket "cricket") | domainEnglishFormat.kif 64721-64721 |
|