No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15450-15460 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 316-322 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7168-7181 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3987-4007 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18618-18623 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18601-18606 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18635-18640 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3023-3039 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2569-2587 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5625-5632 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5750-5757 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 161-172 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25564-25580 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18397-18407 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1492-1504 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3227-3241 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2551-2567 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32598-32619 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2764-2778 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4854-4870 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2228-2237 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1945-1958 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 337-352 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11384-11407 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11354-11375 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |