| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 391-392 | |
| 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. | MilitaryProcesses.kif 388-388 | 子類 直接行動活動 and 軍事行動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 389-389 | 子類 直接行動活動 and ViolentContest |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 656-656 | 子類 防表面操作 and 直接行動活動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 410-410 | 子類 直接埋伏 and 直接行動活動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 426-426 | 子類 直接攻擊 and 直接行動活動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 589-589 | 子類 精確破壞 and 直接行動活動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 400-400 | 子類 襲擊 and 直接行動活動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 549-549 | 子類 恢復運作 and 直接行動活動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 436-436 | 子類 對峙的攻擊 and 直接行動活動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 448-448 | 子類 終端攻擊控制 and 直接行動活動 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 500-500 | 子類 終端指導 and 直接行動活動 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19650-19650 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19649-19649 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19648-19648 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 393-398 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners