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 | PlantStem 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9533-9533 | PlantStem 是 器官 的 subclass |