No TPTP formula. May not be expressible in strict first order. |
Sports.kif 698-698 |
子類 棒球擊中 and 遊戲鏡頭 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 948-948 |
子類 GolfDrive and 遊戲鏡頭 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 954-954 |
子類 GolfPutt and 遊戲鏡頭 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17091-17091 |
子類 鋪地石 and 遊戲鏡頭 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17044-17044 |
子類 得分 and 遊戲鏡頭 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17065-17065 |
子類 體育服務 and 遊戲鏡頭 |
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 |
|