No TPTP formula. May not be expressible in strict first order. |
Dining.kif 189-201 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 600-608 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3738-3742 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1496-1518 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8243-8257 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6425-6434 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 129-137 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3910-3916 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1928-1937 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7351-7365 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15400-15407 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15431-15440 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1683-1688 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13798-13807 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13809-13818 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13820-13829 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 989-996 |
|
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. |
Geography.kif 2280-2290 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6201-6209 |
|
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 88-93 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 51-62 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 64-76 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 139-150 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |