No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25246-25252 |
|
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 25666-25668 |
|
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 5228-5234 |
|
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 4763-4765 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26772-26781 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26262-26276 |
|
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 2813-2838 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3018-3045 |
|