Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AnatomicalStructure
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners