No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 985-990 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 998-1006 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2359-2367 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30649-30656 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 20-39 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2647-2655 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2865-2879 |
|