No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1975-1980 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16447-16459 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9073-9078 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9066-9071 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7524-7528 |
|
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 1860-1864 |
|
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 1759-1763 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 660-670 |
|
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 9383-9393 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3744-3746 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2019-2023 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1270-1284 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1254-1268 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7917-7927 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8770-8772 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8774-8776 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9236-9238 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1630-1642 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3716-3718 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |