No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2884-2902 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23916-23932 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5919-5926 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30662-30683 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1558-1562 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1172-1184 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25722-25737 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2606-2611 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9839-9861 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4848-4852 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9900-9922 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 853-866 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17143-17164 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 211-217 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2018-2023 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1464-1474 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1964-1975 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 943-949 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 933-941 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 606-611 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1252-1267 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2873-2884 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3124-3136 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 812-817 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 620-630 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |