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 20978-20978 |
例 司法部長 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19035-19035 |
例 準將 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19044-19044 |
例 隊長 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19049-19049 |
例 陸軍上校 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18970-18970 |
例 同盟軍士兵 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20950-20950 |
例 驗屍官 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19058-19058 |
例 下士 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8308-8308 |
例 政府秘書 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21006-21006 |
例 法官 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19040-19040 |
例 陸軍中尉 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19025-19025 |
例 重大的 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19030-19030 |
例 大將軍 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18999-18999 |
例 軍官 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18992-18992 |
例 軍事私人 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20926-20926 |
例 警官 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20985-20985 |
例 公共辯護人 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20990-20990 |
例 檢察官 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8310-8310 |
例 內政部長 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8316-8316 |
例 財政部長 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19054-19054 |
例 軍士 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18965-18965 |
例 士兵 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 |