No TPTP formula. May not be expressible in strict first order. |
Music.kif 554-556 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1343-1345 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13689-13689 |
|
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 984-984 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 511-511 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 522-522 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28806-28811 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4478-4479 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2263-2266 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14108-14109 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1749-1751 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9291-9293 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9649-9651 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18804-18805 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 354-355 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21137-21139 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4864-4865 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3607-3621 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 164-173 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1393-1393 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1307-1310 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4747-4760 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1395-1395 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2312-2313 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4716-4718 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |