No TPTP formula. May not be expressible in strict first order. |
Government.kif 3603-3605 |
物理 是 国际红十字和红新月运动 的 member 若且唯若 那个 物理 是 国际红十字会和红新月会联合会 的 member |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 506-510 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2579-2583 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2659-2663 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3231-3235 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3276-3280 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4043-4047 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3534-3543 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3528-3532 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3545-3555 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3582-3591 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3576-3580 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3593-3603 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3207-3212 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7562-7569 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1767-1772 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 972-976 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3223-3227 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23494-23504 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3202-3215 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3239-3259 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22348-22356 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 108-122 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 145-160 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 139-143 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |