| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15188-15209 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15146-15146 | 身体组织 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4598-4598 | PlantWicker 是 身体组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9160-9160 | 木 是 身体组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9444-9444 | 肌腱 是 身体组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15171-15171 | ConnectiveTissue 是 身体组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15229-15229 | EpithelialTissue 是 身体组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15245-15245 | MuscleTissue 是 身体组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15261-15261 | NervousTissue 是 身体组织 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1201-1201 | BoneMarrow 是 身体组织 的 subclass |
|
|