No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23151-23158 |
人 是 人类 的 stepfather 若且唯若 有存在 另一个 人类 这样 那个 另外 人类 是 那个 人类 的 mother 和 那个 人 是 那个 另外 人类 的 spouse 和 那个 人 不 是 那个 人类 father |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23168-23175 |
女人 是 人类 的 stepfather 若且唯若 有存在 另一个 人类 这样 那个 另外 人类 是 那个 人类 father 和 那个 女人 是 那个 另外 人类 的 spouse 和 那个 女人 不 是 那个 人类 的 mother |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1426-1431 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1415-1420 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22306-22320 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1025-1034 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7964-7969 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14169-14175 |
|