LARUnit |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 511-516 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 509-509 | LARUnit est une sous-classe de MilitaryUnit |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 540-540 | LARBattalion est une sous-classe de LARUnit |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 546-546 | LARPlatoon est une sous-classe de LARUnit |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33385-33385 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33384-33384 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33383-33383 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 526-528 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 520-522 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 532-537 |
|