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. |
Cars.kif 1747-1767 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6505-6529 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1886-1892 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11753-11768 |
|
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. |
ComputingBrands.kif 3496-3510 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22347-22355 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6055-6074 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29746-29753 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 767-785 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 754-765 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1141-1147 |
|
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. |
Mid-level-ontology.kif 6121-6139 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17111-17116 |
|
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. |
Hotel.kif 2196-2203 |
|
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. |
Media.kif 1836-1842 |
|
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. |
Media.kif 1867-1871 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |