No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6357-6364 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 841-862 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 546-561 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6470-6482 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18203-18209 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18181-18187 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17193-17203 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1545-1555 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6304-6313 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2230-2239 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2200-2216 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16343-16353 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 80-94 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 44-59 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21474-21489 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16363-16373 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3179-3194 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10197-10204 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21395-21403 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21389-21393 |
|
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 11771-11779 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11754-11769 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6043-6054 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6056-6075 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |