No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2364-2369 |
|
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 9171-9176 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9164-9169 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7554-7558 |
|
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 2249-2253 |
|
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 9504-9514 |
|
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 2408-2412 |
|
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 7987-7997 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8868-8870 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8872-8874 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9334-9336 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2019-2031 |
|
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 |