CivilMilitaryOperation |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2269-2283 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4865-4865 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4866-4866 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2268-2268 | CivilMilitaryOperation e' uma sub-classe de JointOperation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14976-14976 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14975-14975 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14974-14974 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2288-2298 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2350-2360 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2386-2393 |