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 16290-16302 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9038-9043 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9031-9036 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7491-7495 |
|
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. |
Dining.kif 1044-1059 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2953-2957 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9348-9358 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3755-3757 |
|
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 7884-7894 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1687-1694 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8735-8737 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8739-8741 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9201-9203 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1630-1642 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |