No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19021-19021 |
上将 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20978-20978 |
司法部长 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19035-19035 |
准将 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19044-19044 |
队长 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19049-19049 |
陆军上校 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18970-18970 |
同盟军士兵 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20950-20950 |
验尸官 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19058-19058 |
下士 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8308-8308 |
政府秘书 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21006-21006 |
法官 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19040-19040 |
陆军中尉 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19025-19025 |
重大的 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19030-19030 |
大将军 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18999-18999 |
军官 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18992-18992 |
军事私人 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20926-20926 |
警官 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20985-20985 |
公共辩护人 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20990-20990 |
检察官 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8310-8310 |
内政部长 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8316-8316 |
财政部长 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19054-19054 |
军士 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18965-18965 |
士兵 是 政府立场 的 instance |
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 |