No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2583-2592 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 501-514 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1619-1630 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1632-1644 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 337-352 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7545-7554 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3954-3964 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 753-763 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1731-1746 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 349-357 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 742-751 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12514-12520 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 627-646 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 163-183 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17594-17601 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3374-3380 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8293-8302 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 354-370 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 372-387 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 871-897 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 569-589 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 396-417 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 419-438 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1890-1900 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24729-24736 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |