No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4715-4721 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5338-5343 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4825-4829 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5306-5311 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5326-5333 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5284-5291 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5358-5363 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5388-5393 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5316-5321 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5348-5353 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5461-5466 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5368-5373 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5296-5301 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5378-5383 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5409-5416 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5431-5436 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5421-5426 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5441-5446 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5451-5456 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5485-5493 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5235-5244 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9560-9573 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5398-5403 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9532-9532 |
Plant stem is a subclass of plant anatomical structure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9533-9533 |
Plant stem is a subclass of organ |