No TPTP formula. May not be expressible in strict first order. | Merge.kif 13407-13407 | 竞争招数 是 有意图过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 684-684 | 棒球演练 是 竞争招数 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 757-757 | 棒球局 是 竞争招数 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 815-815 | 足球演练 是 竞争招数 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 938-938 | 高尔夫演习 是 竞争招数 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 390-390 | 直接行动活动 是 竞争招数 的 subclass |
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 17101-17101 | 捕 是 竞争招数 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21750-21750 | 伏击 是 竞争招数 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21770-21770 | 封锁 是 竞争招数 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21796-21796 | 军事演习 是 竞争招数 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13420-13420 | 攻击 是 竞争招数 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13442-13442 | 防守机动 是 竞争招数 的 subclass |