No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14682-14691 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1097-1104 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1157-1166 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15431-15440 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4568-4572 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14698-14703 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29659-29667 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1534-1540 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29710-29722 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14782-14787 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14576-14581 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14650-14658 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14552-14557 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15590-15595 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4645-4652 |
|