No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5149-5157 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5183-5191 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2782-2795 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2803-2816 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9531-9535 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10108-10115 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10098-10106 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 695-697 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 22-27 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4508-4510 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 952-957 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 942-950 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 934-940 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15384-15391 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14196-14201 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5782-5787 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3698-3704 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1545-1553 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8968-8973 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2778-2788 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2849-2878 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18476-18487 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2510-2520 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14216-14228 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14238-14243 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |