No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3711-3722 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1233-1235 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5935-5943 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15729-15736 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10082-10084 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10086-10099 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3674-3684 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3803-3814 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3488-3501 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5600-5608 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12932-12940 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4606-4614 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27946-27955 |
|