No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13563-13572 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13574-13585 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13513-13524 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13593-13602 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13604-13613 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13532-13541 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13543-13554 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13494-13504 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2784-2796 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1581-1591 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9801-9822 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7497-7509 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29871-29877 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29879-29885 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 667-675 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13392-13401 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13458-13467 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13425-13434 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13376-13384 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13442-13450 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13409-13417 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 422-430 |
|