No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13955-13963 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23767-23778 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23788-23799 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3076-3094 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3226-3247 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11678-11688 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12621-12632 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2438-2445 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12658-12672 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14001-14009 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10983-10996 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17170-17190 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20002-20014 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6997-7014 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2488-2501 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12430-12437 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5502-5517 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18098-18105 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2516-2530 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13975-13988 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2412-2419 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17584-17599 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10762-10770 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 944-955 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14022-14030 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |