No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13536-13545 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13547-13558 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13486-13497 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13566-13575 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13577-13586 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13505-13514 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13516-13527 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13467-13477 |
|
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 1598-1608 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9774-9795 |
|
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 29847-29853 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29855-29861 |
|
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 13365-13374 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13431-13440 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13398-13407 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13349-13357 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13415-13423 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13382-13390 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 422-430 |
|