No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19020-19020 |
例 上將 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20977-20977 |
例 司法部長 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19034-19034 |
例 準將 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19043-19043 |
例 隊長 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19048-19048 |
例 陸軍上校 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18969-18969 |
例 同盟軍士兵 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20949-20949 |
例 驗屍官 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19057-19057 |
例 下士 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8307-8307 |
例 政府秘書 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21005-21005 |
例 法官 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19039-19039 |
例 陸軍中尉 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19024-19024 |
例 重大的 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19029-19029 |
例 大將軍 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18998-18998 |
例 軍官 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18991-18991 |
例 軍事私人 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20925-20925 |
例 警官 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20984-20984 |
例 公共辯護人 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20989-20989 |
例 檢察官 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8309-8309 |
例 內政部長 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8315-8315 |
例 財政部長 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19053-19053 |
例 軍士 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18964-18964 |
例 士兵 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26304-26304 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26303-26303 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26302-26302 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |