No TPTP formula. May not be expressible in strict first order. | Merge.kif 13407-13407 | 子類 Maneuver and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 684-684 | 子類 棒球演練 and Maneuver |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 757-757 | 子類 棒球局 and Maneuver |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 815-815 | 子類 足球演練 and Maneuver |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 938-938 | 子類 高爾夫演習 and Maneuver |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 390-390 | 子類 直接行動活動 and Maneuver |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17019-17019 | 子類 遊戲鏡頭 and Maneuver |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17101-17101 | 子類 捕 and Maneuver |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21750-21750 | 子類 伏擊 and Maneuver |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21770-21770 | 子類 封鎖 and Maneuver |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21796-21796 | 子類 軍事演習 and Maneuver |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13420-13420 | 子類 攻擊 and Maneuver |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13442-13442 | 子類 防守機動 and Maneuver |
![]() |