| AnatomicalStructure(anatomical structure)
| | Golgi_apparatus, Golgi_body, Golgi_complex, Port_Orford_cedar, XX, XXX, XXY, XY, XYY, X_chromosome, Y_chromosome, acanthoma, acentric_chromosome, acorn_cup, acrocentric_chromosome, acrosome, adenoma, adenomatous_polyp, adipose_tumor, afterbirth, agnail, allantois, amnion, amnios, amniotic_sac, amyloid_plaque, amyloid_protein_plaque, anatomical_structure, angioma, angiosarcoma, annual_ring, aplacental, apophysis, arch, archenteron, arterial_plaque, aster, autosome, axon, axone, bacterial_plaque, ball, belemnite, benign_tumor, benign_tumour, bilocular_capsule, birthmark, bistered, bistred, blackhead... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3488-3489 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13869-13872 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2103-2103 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13868-13868 | Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13867-13867 | Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13866-13866 | Anatomical structure is a subclass of organic object |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13889-13889 | Abnormal anatomical structure is a subclass of anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13923-13923 | Animal anatomical structure is a subclass of anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13902-13902 | Body part is a subclass of anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13934-13934 | Plant anatomical structure is a subclass of anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1016-1016 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1249-1249 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13313-13313 | Organic object is exhaustively partitioned into organism and anatomical structure |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13874-13880 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13882-13887 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9821-9826 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9844-9851 |
|
|
|
|