|
|
   SomaticCell
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23944-23944 | SomaticCell 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23939-23942 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23938-23938 | SomaticCell 是 真核细胞 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10151-10151 | 血细胞 是 SomaticCell 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1037-1037 | DecaploidCell 是 SomaticCell 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 890-890 | DiploidCell 是 SomaticCell 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1043-1043 | DodecaploidCell 是 SomaticCell 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1025-1025 | HeptaploidCell 是 SomaticCell 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 986-986 | HexaploidCell 是 SomaticCell 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 749-749 | MonoploidCell 是 SomaticCell 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10753-10753 | 神经细胞 是 SomaticCell 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1031-1031 | OctaploidCell 是 SomaticCell 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 968-968 | PentaploidCell 是 SomaticCell 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 933-933 | TetraploidCell 是 SomaticCell 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 915-915 | TriploidCell 是 SomaticCell 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23943-23943 |
|
|
|