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单位 是 军事单位 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 540-540 | LAR营 是 LAR单位 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 546-546 | LAR排 是 LAR单位 的 subclass |
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 |