| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1523-1523 | 管 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 533-533 | Catheter 是 管 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 960-960 | AirIntake 是 管 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4030-4030 | Tailpipe 是 管 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4257-4257 | Hose 是 管 的 subclass |
|
|