No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25189-25195 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1089-1091 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1135-1137 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1069-1071 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25633-25635 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6017-6036 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 389-396 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5234-5240 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 489-491 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4768-4770 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26739-26748 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26229-26243 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 331-348 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2830-2855 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3035-3062 |
|