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 | WarState est une instance de attribut subjectif |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1498-1498 | PeaceState est l'oppos� de WarState |
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 |
|