| SportsOut(sports out) | | down, out, putout, strikeout |
| appearance as argument number 1 |
|
|
| (documentation SportsOut EnglishLanguage "A SportsAttribute that indicates that a player in a Sport can no longer compete because he has been tagged with the GamePiece.") | Mid-level-ontology.kif 20622-20623 | |
| (instance SportsOut SportsAttribute) | Mid-level-ontology.kif 20621-20621 | Sports out is an instance of sports attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SportsOut "体育运动") | domainEnglishFormat.kif 54801-54801 | |
| (termFormat ChineseTraditionalLanguage SportsOut "體育運動") | domainEnglishFormat.kif 54800-54800 | |
| (termFormat EnglishLanguage SportsOut "sports out") | domainEnglishFormat.kif 54799-54799 |
|
|
|