No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17046-17046 | 子類 遊戲鏡頭 and Impelling |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17047-17047 | 子類 遊戲鏡頭 and Maneuver |
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 17071-17071 | 子類 得分 and 遊戲鏡頭 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17092-17092 | 子類 體育服務 and 遊戲鏡頭 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17118-17118 | 子類 鋪地石 and 遊戲鏡頭 |