No TPTP formula. May not be expressible in strict first order. |
Sports.kif 698-698 |
棒球击中 是 游戏镜头 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 948-948 |
GolfDrive 是 游戏镜头 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 954-954 |
GolfPutt 是 游戏镜头 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17090-17090 |
铺地石 是 游戏镜头 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17043-17043 |
得分 是 游戏镜头 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17064-17064 |
体育服务 是 游戏镜头 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25478-25478 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25477-25477 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25476-25476 |
|