No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1971-1976 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16446-16458 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9095-9100 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9088-9093 |
|
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 1856-1860 |
|
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 9405-9415 |
|
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 2015-2019 |
|
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 7939-7949 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8792-8794 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8796-8798 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9258-9260 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1626-1638 |
|
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 |