No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10963-10976 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 552-561 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7016-7030 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 155-166 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2533-2546 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 651-659 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2562-2576 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1243-1248 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1288-1293 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1335-1340 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19582-19594 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3595-3615 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1192-1207 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2561-2567 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23827-23844 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7847-7861 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6779-6792 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 543-550 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2208-2212 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 623-642 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 871-878 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3212-3228 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2689-2702 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1579-1588 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21951-21957 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |