| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18971-18971 |
同盟军士兵 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18998-18998 |
军官 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18993-18993 |
军事私人 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 221-221 |
标准负担者 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 227-227 |
美国内战士兵 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 348-348 |
美国军衔e1 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 361-361 |
美国军衔e2 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 374-374 |
美国军衔e3 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 387-387 |
美国军衔e4 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 400-400 |
美国军衔e5 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 413-413 |
美国军衔e6 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 426-426 |
美国军衔e7 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 439-439 |
美国军衔e8 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 452-452 |
美国军衔e9 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 472-472 |
美国军衔e9特别 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 485-485 |
美国军衔o1 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 584-584 |
美军军衔o10 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 495-495 |
美国军衔o2 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 505-505 |
美国军衔o3 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 515-515 |
美国军衔o4 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 525-525 |
美国军衔o5 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 535-535 |
美国军衔o6 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 545-545 |
美国军衔o7 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 558-558 |
美国军衔o8 是 士兵 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 571-571 |
美国军衔o9 是 士兵 的 subAttribute |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
Soldier