WarState(战争状态) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1493-1495 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1492-1492 | 战争状态 是 主观评价属性 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1498-1498 | 和平国家 是 战争状态 的相反 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62243-62243 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62242-62242 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2798-2798 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62241-62241 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 473-478 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 285-296 |
consequent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1502-1507 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 311-317 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 274-280 |