No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4819-4833 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17746-17753 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4061-4068 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4055-4059 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 125-130 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9601-9607 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1883-1900 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7848-7862 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18150-18184 |
|
No TPTP formula. May not be expressible in strict first order. |
Justice.kif 61-69 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3282-3302 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1841-1858 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1822-1839 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1596-1603 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1605-1621 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 148-157 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 159-165 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 109-115 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 86-98 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 61-68 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2271-2278 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 98-107 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 139-150 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 871-897 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 569-589 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |