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 | LAR unit is a subclass of military unit |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 540-540 | LAR battalion is a subclass of LAR unit |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 546-546 | LAR platoon is a subclass of LAR unit |
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 |
|