No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23152-23159 |
人 是 Human 的 stepfather Human 母親 Human and Human 人 是 Human 的 spouse 父親 Human and 人 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23169-23176 |
女人 是 Human 的 stepfather Human 父親 Human and Human 女人 是 Human 的 spouse 母親 Human and 女人 |
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 22307-22321 |
|
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 7965-7970 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14170-14176 |
|