| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12561-12561 | 蛇 是 爬虫类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12571-12571 | 响尾蛇 是 蛇 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12576-12576 | 缩蟒蛇 是 蛇 的 subclass |
|
|