BoxingRing
|
|
appearance as argument number 1 |
(documentation BoxingRing EnglishLanguage "A boxing ring is the space in which a boxing match occurs.") | Sports.kif 591-591 | |
(subclass BoxingRing SportsFacility) | Sports.kif 590-590 | BoxingRing 是 体育设施 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage BoxingRing "boxing ring") | domainEnglishFormat.kif 64562-64562 |
antecedent |
(=> (instance ?BR BoxingRing) (hasPurpose ?BR (exists (?B) (and (instance ?B Boxing) (eventLocated ?B ?BR))))) |
Sports.kif 592-598 |