No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17019-17019 | 游戏镜头 是 驱动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17020-17020 | 游戏镜头 是 竞争招数 的 subclass |
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 17044-17044 | 得分 是 游戏镜头 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17065-17065 | 体育服务 是 游戏镜头 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17091-17091 | 铺地石 是 游戏镜头 的 subclass |