No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2699-2704 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17834-17846 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9186-9191 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9179-9184 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7569-7573 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 538-547 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 473-482 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 559-568 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2584-2588 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 118-124 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 467-492 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1890-1894 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 769-779 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1044-1059 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9519-9529 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4081-4083 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2743-2747 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1379-1393 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1363-1377 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8002-8012 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8883-8885 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8887-8889 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9349-9351 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2354-2366 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4053-4055 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |