No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16852-16861 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 392-400 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1207-1224 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8120-8130 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26594-26602 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26159-26171 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 840-847 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 349-361 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3498-3506 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2471-2482 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1275-1296 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1717-1733 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2573-2587 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8154-8162 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 655-669 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1579-1592 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7752-7765 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7877-7893 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5210-5222 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23506-23511 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1227-1246 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2328-2338 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11456-11468 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1651-1672 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 491-500 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |