No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14875-14884 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14886-14897 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14825-14836 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14905-14914 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14916-14925 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14844-14853 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14855-14866 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14806-14816 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2785-2797 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7828-7840 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2322-2332 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11103-11124 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7834-7846 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31739-31745 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31747-31753 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 671-679 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14704-14713 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14770-14779 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14737-14746 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14688-14696 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14754-14762 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14721-14729 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 428-436 |
|