Admiral
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19023-19023 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19021-19021 | 例 上將 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19022-19022 | 子屬性 上將 and 軍官 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5574-5574 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5573-5573 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5572-5572 |