lessThan |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1926-1940 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10941-10954 |
|
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 2537-2550 | |
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 2566-2580 | |
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 19583-19595 |
|
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 23828-23845 |
|
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. | Geography.kif 6779-6792 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 543-549 |
|
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 627-646 |
|
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 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |