No TPTP formula. May not be expressible in strict first order. |
Government.kif 3603-3605 |
A physical is a member of international red cross and red crescent movement if and only if the physical is a member of international federation of red cross and red crescent societies |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 501-505 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2785-2789 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2865-2869 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3437-3441 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3482-3486 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4249-4253 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3740-3749 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3734-3738 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3751-3761 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3788-3797 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3782-3786 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3799-3809 |
|
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 7522-7529 |
|
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 23444-23454 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3408-3421 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3445-3465 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22297-22305 |
|
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 182-197 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 176-180 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |