No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19020-19020 |
上将 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20977-20977 |
司法部长 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19034-19034 |
准将 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19043-19043 |
队长 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19048-19048 |
陆军上校 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18969-18969 |
同盟军士兵 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20949-20949 |
验尸官 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19057-19057 |
下士 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8307-8307 |
政府秘书 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21005-21005 |
法官 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19039-19039 |
陆军中尉 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19024-19024 |
重大的 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19029-19029 |
大将军 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18998-18998 |
军官 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18991-18991 |
军事私人 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20925-20925 |
警官 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20984-20984 |
公共辩护人 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20989-20989 |
检察官 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8309-8309 |
内政部长 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8315-8315 |
财政部长 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19053-19053 |
军士 是 政府立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18964-18964 |
士兵 是 政府立场 的 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 |