Dr. Moore
Dr. Kao
Dr. Brown
Resource Description Framework for Mucosal Surface Pathology.
G. William Moore, MD, PhD (George.Moore4@va.gov) [1,2,3];
Lawrence A. Brown, MD [1,2]; Grace F. Kao, MD [1,4].
Pathology and Laboratory Medicine Service, Veterans Affairs
Maryland Health Care System, Baltimore, MD [1]; Department of Pathology,
University of Maryland Medical System, Baltimore, MD [2]; Department
of Pathology, The Johns Hopkins Medical Institutions, Baltimore, MD [3];
and Department of Dermatology, George Washington University School
of Medicine, Washington, DC [4].
http://www.netautopsy.org/mucordfh.htm
Content: Tumors of mucosal surfaces are among the most common human
malignancies. The pathogenesis of these tumors is well-studied, but
scattered in articles and textbooks. Resource Description Framework (RDF)
is a general syntax for writing computer-parsable ordered triples, that
export meaning among databases on the semantic worldwide web, by binding
a described datum to a specified subject. Internet web-crawler programs
can interrogate multiple RDF documents, and draw inferences from these
ordered triples.
Technology: Perl programming language, classical propositional logic,
non-monotonic logic.
Design: We propose a hierarchical classification for human mucosal surface
tumors, and present a Perl computer script for translating this hierarchy
into RDF code, in the style of the Laboratory Data Imaging Project.
This hierarchical classification employs classical logic, with additional
features to handle non-monotonic logic ("Sutton's Law") and ethical
constraints ("first do no harm").
Results: This human mucosal surface tumor RDF class hierarchy is
mathematically consistent. Over 200 theorems of classical and modal logic
are proved in the system. An Intercalation Theorem (for inserting
new concepts) and a Retirement Theorem (for removing obsolete concepts)
are stated and proved.
Conclusion: This RDF hierarchy serves to organize the vast knowledge of
mucosal surface pathology in the format of the semantic worldwide web,
in a manner that incorporates both clinical and pathologic findings.
Identifier:ldip:Patient Class Label:Patient versionInfo (required): 0.1 Registration Authority (required): Association for Pathology Informatics Language:en Obligation:optional Maximum occurrence:Unlimited Cardinality (required):/[0-9]+/ Datatype: Literal comment: The patient, unambiguously denoted by the required ordered quadruple: patient_name (=patient_surname, patient_givenname, patient_honorific), patient_social_security_number, patient_date_of_birth, and patient_gender. Includes: patient_insurance. subClassOf:Person Contributor:Bill Moore Date_of_contribution:11-13-2006
+∀
...
+□∞+hoofbeats_in_street
+□5+horses
+□1+zebras
where □p denotes necessarily p; and
◇p denotes possibly p.
+∀
...
+□∞+non_hemorrhagic_pigmented_long_duration
+□5+seborrheic_keratosis
+□1+melanoma
{+∀, +skin_biopsy, +basal_cell_carcinoma}
{+∀, +skin_biopsy, -basal_cell_carcinoma},
{+∀, -skin_biopsy, +basal_cell_carcinoma},
{+∀, -skin_biopsy, -basal_cell_carcinoma}.
Theorem §9.1.
+∀
+p
+q
...
+r
+t
+u
+s
...
is consistent.
Theorem §9.2.
+p
+p
Theorem §9.3.
+p +p
+q ⇒ +q
+q
+q
...
Theorem §9.5.
+p +p
+q ⇔ +p
+r +q
+s +p
+r
+s
+p +p
+p +q
+q ⇒ +r
+r
+p
+s
+t
+p +p
+p ⇒ +q
+q
+r
+p
-r
1. $zp: It is certain at level z whether p (doxastic modal logic, Greek: δοξα = doxa = belief);
2. #: It is demanded to know whether d; (deontic modal logic, Greek: δεον = deon = obligation, command);
3. !: It is paid to know whether d. (telontic modal logic, Greek: τελων = telón = payment, taxation).
+ultimate_class=+∀
+person
+event
+temporal
+spatial
+mass
+temperature
+homunculus
+cardiovascular_system
+respiratory_system
+gastrointestinal_system
+genitourinary_system
+endocrine_system
+musculoskeletal_system
+lymphoreticular_system
+nervous_system
+integumentary_system
+morbulus
+data_object
+specimen
+reagent
+instrument
+terminology
One may focus on the integumentary_system, under which there are
epidermis, dermis, skin_appendage, and subcutaneous_tissue,
summarized as follows:
+ultimate_class=+∀
...
+event
...
+homunculus
...
+integumentary_system
+epidermis
+stratum_corneum
+stratum_granulosum
+stratum_spinosum
+stratum_basale
+dermis
+papillary_dermis
+reticular_dermis
+skin_appendage
+hair
+nail
+apocrine_gland
+eccrine_gland
+sebaceous_gland
+subcutaneous_tissue
+adipose
+connective_tissue
+vascular
+nerve
Analogously, he Morbulus Class is a reference model of human diseases,
that may be divided broadly into seven systems:
+Ultimate_class=+∀
...
+Event
...
+Morbulus
+normal_variant
+congenital
+inflammatory
+non_infectious
+infectious
+bacterial
+fungal
+mycobacterial
+viral
+rickettsial
+treponemal
+vascular
+traumatic
+ischemic
+vasculopathy
+neoplastic
+benign
+dysplastic
+neoplasm_primary
+neoplasm_metastatic
+metabolic
+systemic
The homunculus and morbulus namespace subhierarchies may be constructed
to an arbitrary level of refinement. For anatomic structures,
the Nomina Anatomica provides a detailed model for such
an RDF hierarchy. For diseases, one may use text tables in standard
pathology textbooks. Other event classes might include:
embryonula, physiologula, genomula, traumula, etc.
<+g_moore,+left_axillary_lymphadenopathy,+no>In the first two ordered triples, the subject is ambiguous. For example, in the 2007 Baltimore, MD, telephone directory alone, there are xxx g_moores; however, there is only one g_moore who serves as a staff pathologist at the Baltimore VA Medical center. The last two ordered triples have uniquely identified subjects.
<+g_moore,+right_eye_lens_prosthesis,+yes>
<+superman,+xray_vision,+yes>
<+lou_gehrig,+amyotrophic_lateral_sclerosis,+yes>
1. American-English spelling, American-Roman alphabet, all lower case. Examples: hemochromatosis NOT haemochromatosis; esophagus NOT oesophagus; behcet NOT Behçet.Ordered triples can export their meaning between different databases on the worldwide web, because they bind a described datum to a specified subject. This feature of ordered triples supports data integration of heterogeneous data; and facilitates the design of internet web-crawler programs, called software agents, that can interrogate multiple RDF documents on the worldwide web, and initiate their own actions, based on inferences yielded from retrieved ordered triples. Resource Description Framework (RDF) is a general syntax for writing computer-parsable ordered triples. Detailed instructions and computer software for preparing web-ready RDF files are available in the public domain (Berman, 2007, Berman and Moore, 2007). Berman (2004) has constructed a strict hierarchy for over 100,000 human neoplasms, organized by embryologic origin, that is computer-parsable and RDF-translatable.
2. Blankspace, hyphen, and other punctuation replaced by underline (_). No apostrophe or apostrophe_s. All nouns singular. Examples: hashimoto_thyroiditis, wilms_tumor, graves_disease, hodgkin_disease.
3. Metadata inheritance denoted by carriagereturn and indentation, or ⇒.
4. Metadata sibship denoted by carriagereturn and no indentation, or |.
5. Existing standards used, where applicable and freely available.
6. Date/time convention: International Standards Organization, ISO 8601.
7. All stopwords, barrierwords, or low-information words (prepositions, conjunctions, articles, pronouns, auxiliary verbs, and disease, syndrome, condition, method, modified, solution, and technique) are removed or placed at the end of the phrase. Example: zuckerkandl_organ NOT Organ of Zuckerkandl.
In memory of Willie Sutton's proclivity for dollars ($) (Moore et al, 1978), we write:∞ : absolutely_certain. ..... 6 : very_frequent 5 : frequent 4 : common 3 : uncommon 2 : rare 1 : very_rare 0 : absolutely_uncertain.
The Zebra Rule might be formalized as:$∞ : absolutely_certain. ..... $6 : very_frequent $5 : frequent $4 : common $3 : uncommon $2 : rare $1 : very_rare $0 : absolutely_uncertain.
+∀
...
+hoofbeats_in_street
+horses
+$5horses
+zebras
+$1zebras
For example, +hoofbeats_in_street implies +horses or
+zebras. If there are +hoofbeats_in_street, then it is frequent
that there are +horses, but very_rare that there are +zebras.
+∀
...
+hoofbeats_in_street
+horses
+$5horses
(Details of calculation are given below).
+∀
...
+□∞+hoofbeats_in_street
+□5+horses
+□1+zebras
+∀
...
+bleeding_pigmented_skin_lesion
+pigmented_seborrheic_keratosis
+intradermal_nevus
+atypical_compound_nevus
+malignant_melanoma
The courses of action include:
+∀
...
+bleeding_pigmented_skin_lesion
+routine_followup
+early_followup
+immediate_skin_biopsy
Then:
+∀
...
+bleeding_pigmented_skin_lesion_long_duration_questionable_history_trauma
+$4malignant_melanoma
+malignant_melanoma
Because of the possibility of a malignant_melanoma
(+$4malignant_melanoma), and the seriousness of this
diagnosis if present, the dermatologist has an indication for biopsying
the lesion:
+∀
...
+malignant_melanoma
+$4malignant_melanoma
+immediate_skin_biopsy
+$1malignant_melanoma
+early_followup
On the other hand, if the patient is certain that the lesion has been present
since childhood, and was recently traumatized, then:
+∀
...
+bleeding_pigmented_skin_lesion_short_duration_trauma
+$1malignant_melanoma
+malignant_melanoma
In this case, since the possibility of a malignant_melanoma is very_rare
(+$1malignant_melanoma), there is an indication
for followup only. These two scenarios have the same differential
diagnosis but different certainty levels, resulting potentially
in different clinical actions.
-p +p nand +p +p ⇒ +q +p nand -q +p & +q -p nand -p, -q nand -q +p | +q -p nand -q +p ⇔ +q +p nand -q, -p nand +q
+p
+q
+s
+t
...
+r
+u
+v
...
...
For example:
+∀
...
+anatomy
+skin
+epidermis
+stratum_corneum
+stratum_granulosum
...
+dermis
+papillary_dermis
+reticular_dermis
...
+skin_appendage
+hair
+nail
+eccrine_gland
+apocrine_gland
...
...
For each element in a relationspace hierarchy that has children, the
following propositional logic sentence obtains: (the_element &
its_parent & its_grandparent &...) ⇒ (its_child | its_child |
its_child | ...), where ⇒ means "implies" or "if...then";
& means "and"; and | means "inclusive_or". In the above
example, +skin⇒(+epidermis|+dermis|+skin_appendage|...);
(+skin&+epidermis)⇒(+stratum_corneum|stratum_granulosum|...),
(+skin&+dermis)⇒(+papillary_dermis|+reticular_dermis|...),
etc.
Double Negative Rule: --p = +p.That is, a double negative is a positive; not (+p or +q) equals (-p and -q); not (+p and +q) equals (-p or -q), etc. These rules are used to solve expressions in a manner similar to high-school algebra.
Demorgan's Rules: -(+p|+q) = (-p&-q); and -(+p&+q) = (-p|-q)
Distributive Rules: ((+p|+q)&+r) = ((+p&+r)|(+q&+r)); and ((+p&+q)|+r) = ((+p|+r)&(+q|+r)).
Whitehead-Russell Transform: (+p⇒+q) = (-p|+q)
Not: ~.A possible patient description is a set that contains anypatient, denoted ∀, and exactly one true_false value for each proposition. For example, the four possible patient descriptions for a system containing propositions skin_biopsy and basal_cell_carcinoma are:
Membership, ∈: x ∈ X denotes: x belongs to (or is a member of) X.
Union, ∪: X = (Y ∪ Z) is the set of all members of Y or Z or both.
Intersection, ∩: X = (Y ∩ Z) is the set of all members of both Y and Z.
Subset, ⊆: X ⊆ Y if and only if every member of X is also a member of Y.
Superset, ⊇: X ⊇ Y if and only if every member of Y is also a member of X.
Set_subtraction, -: X = (Y - Z) is the set of all members of Y but not Z.
{+∀, +skin_biopsy, +basal_cell_carcinoma}The collection of all possible patient descriptions is a possible patient description table or a truth table. This concept is developed in the philosophy literature as possible worlds.
{+∀, +skin_biopsy, -basal_cell_carcinoma},
{+∀, -skin_biopsy, +basal_cell_carcinoma},
{+∀, -skin_biopsy, -basal_cell_carcinoma}.
{+∀, +skin_biopsy, +basal_cell_carcinoma}{+∀, +skin_biopsy, -basal_cell_carcinoma},{+∀, -skin_biopsy, +basal_cell_carcinoma},{+∀, -skin_biopsy, -basal_cell_carcinoma}.
Theorem §9.1. Consistency of Namespace.Definitions.
Theorem §9.2. Identity.
Theorem §9.3. Or-expansion:
Theorem §9.4. Telescoping.
Theorem §9.5. Contextualization:
Theorem §9.6. Intercalation.
Definition §9.1. Consistency is the property of a system that no statement and its negation may be deduced from the system. That is, {+∀} is not a nandset for the system.Proofs.
Theorem §9.1. Consistency of Namespace.is consistent.+∀ +p +q ... +r +t +u +s ...
Proof. We show that {+∀} is not a nandset for the namespace. For names p,q,r,..., construct possible patient descriptor nandset, {+∀, +p, +q, ..., +r, +s, ..., +t, +u, ...}. Then each name, r, occurs uniquely as a child in nandset, {+∀, +p, +q, ..., -r, -s, ...}, and as a parent in nansets such as {+∀, +p, +q, ..., +r, -t, -u, ...}. None of these nandsets are a subset of the constructed nandset, {+∀, +p, +q, ..., +r, +s, ..., +t, +u, ...}. Therefore, {+∀} is not a nandset for the namespace.
Theorem §9.2. Identity. A statement implies itself.+p +p
Proof. +p ⇒ +p. Nandset {+p, -p} is vacuous.
Theorem §9.3. Or-expansion: If +p implies +q, then +p implies +q or +q or +q or....+p +p +q ⇒ +q +q +q ...
Proof. IF. (+p ⇒ +q) ⇒ (+p ⇒ (+q | +q | +q |...)). Nandsets {-p, +p, -q, -q, -q,...} and {+q, +p, -q, -q, -q,...} are vacuous.
Proof. ONLY IF. (+p ⇒ (+q | +q | +q |...)) ⇒ (+p ⇒ +q). Nandsets {-p, +p, -q}, {+q, +p, -q}, {+q, +p, -q}, {+q, +p, -q}, ... are vacuous.
Theorem §9.4. Telescoping.
Proof. ((+p ⇒ +q) & ((+p & +q) ⇒ +r) & ((+p & +q & +r) ⇒ +s)) ⇒ (+p ⇒ +s). Nandsets {-p, -p, -p, +p, -s}, {-p, -p, -q, +p, -s}, {-p, -p, -r, +p, -s}, {-p, -p, +s, +p, -s}, {-p, -q, -p, +p, -s}, {-p, -q, -q, +p, -s}, {-p, -q, -r, +p, -s}, {-p, -q, +s, +p, -s}, {-p, +r, -p, +p, -s}, {-p, +r, -q, +p, -s}, {-p, +r, -r, +p, -s}, {-p, +r, +s, +p, -s}, {+q, -p, -p, +p, -s}, {+q, -p, -q, +p, -s}, {+q, -p, -r, +p, -s}, {+q, -p, +s, +p, -s}, {+q, -q, -p, +p, -s}, {+q, -q, -q, +p, -s}, {+q, -q, -r, +p, -s}, {+q, -q, +s, +p, -s}, {+q, +r, -p, +p, -s}, {+q, +r, -q, +p, -s}, {+q, +r, -r, +p, -s}, and {-q, +r, +s, +p, -s} are vacuous.
Theorem §9.5. Contextualization:+p +p +q ⇔ +p +r +q +s +p +r +s
Proof. ((+p ⇒ +q) & (+p ⇒ (+r | +s))) ⇒ (+p ⇒ +q) & ((+p & +q) ⇒ (+r | +s)). Nandsets {-p, +p, +q, -r, -s}, {+r, +p, +q, -r, -s}, and {+s, +p, +q, -r, -s} are vacuous.
Theorem §9.6. Intercalation. Procedure for inserting (intercalating) a new subhierarchy into the hierarchy, without disturbing the remainder of the hierarchy.+p +p +p +q +q ⇒ +r +r +p +s +t
Proof. (+p ⇒ (+q | +r)) & (+p ⇒ (+s | +t)) ⇒ (+p ⇒ (+q | +r)). {-p, -p, +p, -q, -r}, {-p, +s, +p, -q, -r}, {-p, +t, +p, -q, -r}, {+q, -p, +p, -q, -r}, {+q, +s, +p, -q, -r}, {+q, +t, +p, -q, -r}, {+r, -p, +p, -q, -r}, {+r, +s, +p, -q, -r}, and
Theorem §9.7. Retirement. Procedure for removing a subhierarchy (obsolete concept) without disturbing the remainder of the hierarchy.+p +p +p ⇒ +q +q +r +p -r
Proof. (+p ⇒ (+q | +r)) ⇒ (+p ⇒ +q). Nandsets {-p, -p, +p, -q}, {-p, -r, +p, -q}, {+q, -p, +p, -q}, {+q, -r, +p, -q}, {+r, -p, +p, -q}, and {+r, -r, +p, -q} are vacuous.
Rule 1. Complementizer Absorbs Negation.Rule 1. Complementizer Absorbs Negation. In linguistics, within a statement of the form, it is said that Homer was blind, the word that is a complementizer (Latin: complére: to fill up, complete), which connects the principal clause, namely it is said, with the dependent clause, namely, Homer was blind. Generalizing from this concept, we may regard the particles, $, #, !, as complementizers for datum d, or for entity e:
Rule 2. Fuzzy Certainty.
Rule 3. Data are Crisp.
Rule 4. Hippocratic.
Rule 5. Conative.
Rule 6. Vexative.
Rule 7. Ontologic.
Rule 8. Data Registration.
Rule 9. Schrödinger's Opening.
$ze: It is certain at level z whether e;These complementizers are negation neutral, i.e., if you are certain whether +d at level z, then you are certain that +d at level z, as well as that -d at level z. That is, $zd = $z+d = $z-d; likewise for #d, !d, and $ze.
$zd: It is certain at level z whether d;
#: It is demanded whether d;
!: It costs whether d.
+∀
+homunculus
+morbulus
Homunculus is the image of normal human anatomy, which serves as
the reference point for all processes, normal and abnormal,
within human medicine.
+∀
-homunculus
+homunculus
+gender
+female
+male
+gender_variant
+rare
+position
+left|+right|+bilateral|+midline|+laterality_not_specified.
+superior|+inferior|+anterior|+posterior|
+superficial|+deep|+lateral|+medial
+organ_system
+cardiovascular_system
+respiratory_system
+gastrointestinal_system
+genitourinary_system
+endocrine_system
+musculoskeletal_system
+lymphoreticular_system
+nervous_system
+integumentary_system
+epidermis
+stratum_corneum
+stratum_granulosum
+stratum_spinosum
+stratum_basale
+dermis
+skin_appendage
+subcutaneous_tissue
+morbulus
Morbulus comprises the general disease categories, and serves as
a reference point for all diseases within human medicine.
+∀
-morbulus
+morbulus
+skin
+congenital
+genodermatosis
+ichthyosis
+ichthyosis_vulgaris
+ichthyosis_x_linked
+ichthyosis_epidermolytic_hyperkeratosis
+ichthyosis_autosomal_recessive
+ichthyosis_erythroderma_variabilis
+ichthyosis_linearis_circumflexa
+acrokeratoelastoidosis
+dyskeratosis_congenita
+porokeratosis
+xeroderma_pigmentosum
+ectodermal_dysplasia
+epidermolysis_bullosa
+focal_dermal_hypoplasia_syndrom
+aplasia_cutis_congenita
+poikiloderma_congenitale
+bloom_syndrome
+ataxia_telangiectasia
+werner_syndrome
+epidermolysis_bullosa
+epidermolysis_bullosa_acquisita
+keratosis_follicularis_darier
+familial_benign_pemphigus_hailey_hailey
+acrodermatitis_verruciformis_hopf
+pseudoxanthoma_elasticum
+connective_tissue_nevus
+linear_melorheostotic_scleroderma
+winchester_syndome
+ehler_danlos_syndrome
+cutis_laxa
+pachydermoperiostosis
+urticaria_pigmentosa
+incontinentia_pigmenti
+hypomelanosis_ito
+inflammatory
+non_infectious
+autoimmune
+
+papulosquamous
+lichen_planus
+benign_lichenoid_keratosis
+keratosis_lichenoides_chronica
+lichen_nitidus
+lichen_striatus
+pityriasis_rubra_pilaris
+pityriasis_lichenoides
+lymphomatoid_papulosis
+vesiculobullous
+miliaria
+erythema_toxicum_neonatorum
+acropustulosis_infancy
+pemphigus
+pemphigus_vulgaris
+pemphigus_vegetans
+pemphigus_foliaceus
+pemphigus_erythematosus
+bullous_pemphigoid
+cicatricial_pemphigoid
+herpes_gestationis
+dermatitis_herpatiformis
+erythema_multiforme
+graft_vs_host_disease
+subcorneal_pustular_dermatosis
+transient_acantholytic_dermatosis
+friction_blister
+burn
+burn_electric
+burn_thermal
+granulomatous
+sarcoidosis
+cheilitis_granulomatosa
+=+mischer_melkersson_rosenthal_syndrome
+cheilitis_glandularis
+granuloma_annulare
+necrobiosis_lipoidica
+rheumatoid_nodule
+annular_elastolytic_granuloma
+granuloma_gluteal_infantum
+neutrophilic
+
+eosinophilic
+
+infectious
+bacterial
+impetigo
+bullous_impetigo
+staphylococcal_scalded_skin_syndrome
+ecthyma
+erysipelas
+necrotizing_fasciitis
+acute_superficial_folliculitis
+pseudomonas_folliculitis
+acute_deep_folliculitis
+chronic_superficial_folliculitis
+pseudofolliculitis_beard
+follicular_occlusion_triad
+hidradenitis_suppurativa
+acne_conglobata
+perifolliculitis_capitis_abscedens_suffodiens
+blastomycosis_like_pyuoderma_vegetans
+toxic_shock_syndrome
+acute_septicemia
+acute_menigococcemia
+pseudomonas_septicemia
+vibrio_vulnificus_septicemia
+chronic_septicemia
+chronic_menigococcemia
+chronic_gonococcemia
+malakoplakia
+tuberculosis
+fungal
+dermatophytosis
+erythrasma
+candidasis
+acute_mucocutaneous_candidasis
+chronic_mucocutaneous_candidasis
+disseminated_candidasis
+aspergillosis
+phycomycosis_mucormycosis
+cutaneous_alternariosis
+cutaneous_protothecosis
+north_american_blastomycosis
+paracoccidioidomycosis
+lobomycosis
+chromomycosis
+coccidioidomycosis
+cryptococcosis
+histoplasmosis
+african_histoplasmosis
+sporotrichosis
+actinomycosis
+nocardiosis
+mycetoma
+botryomycosis
+mycobacterial
+tuberculosis_primary
+tuberculosis_miliary
+lupus_vulgaris
+tuberculosis_verrucosa_cutis
+scrofuloderma
+tuberculosis_cutis_orificialis
+tuberculid
+papulonecrotic_tuberculid
+lichenoid_scrofulosorum
+viral
+herpes_simplex
+varicella_herpes_zoster
+variola
+human_cowpox
+eczema_herpeticum
+eczema_vaccinatum
+cytomegalic_inclusion_disease
+parapox_infection
+molluscum_contagiosum
+verruca
+verruca_vulgaris
+verruca_deep_palmoplantar
+verruca_plana
+epidermodysplasia_verricuformis
+condyloma_acuminatum
+bowenoid_papulosis_genitalia
+hand_foot_mouth_disease
+acquired_immunodeficiency_syndrome_aids
+trepomemal
+syphilis
+yaws
+pina
+lyme_borreliosis
+rickettsial
+protozoal
+leishmaniasis_oriental
+leishmaniasis_american
+leishmaniasis_post_kala_azar_dermal
+vascular
+traumatic
+ischemic
+noninflammatory_purpura
+senile_purpura
+scurvy
+idiopathic_thrombocytopenic_purpura
+autoerythrocyte_sensitization_syndrome
+coumadin_necrosis
+purpura_fulminans
+thrombotic_thrombocytopenic_purpura
+inflammatory_purpura
+leukocytoclastic_vasculutis
+cryoglobulinemia
+pustulosis_acuta_generalisata
+purpura_pigmentosa_chronica
+=+majocchi_schamberg_disease
+granuloma_faciale
+erythema_elevatum_diutinum
+acute_febrile_neutrophilic_dermatosis_sweet
+polyarteritis_nodosa
+vasculitis_granulomatosis
+allergic_granulomatosis
+wegener_granulomatosis
+lymphomatoid_granulomatosis
+midline_granuloma_face
+temporal_giant_cell_arteritis
+malignant_atrophic_papulosis_degos
+atrophie_blanche
+cutaneous_cholesterol_embolism
+livedo_reticularis
+sclerosing_lymphangitis_penis
+neoplastic
+benign
+dysplastic
+neoplasm_primary
+neoplasm_metastatic
+neoplastic
+epidermis
+cyst
+epidermal_inclusion_cyst
+milium_cyst
+trichilemmal_cyst
+steatocystoma_multiplex_cyst
+pigmented_follicular_cyst
+dermoid_cyst
+bronchogenic_cyst
+thyroglossal_duct_cyst
+cutaneous_ciliated_cyst
+median_raphe_penis_cyst
+eruptive_vellus_hair_cyst
+noncyst
+linear_epidermal_nevus
+nevus_comedonicus
+epidermolytic_acanthoma
+epidermolytic_acanthoma_isolated
+epidermolytic_acanthoma_disseminated
+oral_white_sponge_nevus
+seborrheic_keratosis
+large_cell_acanthoma
+clear_cell_acanthoma
+melanocytic
+appendage_hair
+hair_follicle_nevus
+trichofolliculoma
+dilated_pore
+pilar_sheath_acanthoma
+fibrofolliculoma_multiple
+trichodiscoma_multiple
+trichoepithelioma
+hair_follicle_hamartoma
+hair_follicle_hamartoma_generalized
+hair_follicle_hamartoma_localized
+pilomatricoma
+appendage_sebaceous
+appendage_apocrine
+appendage_eccrine
+fibrous_tissue
+fat
+muscle
+cartilage
+bone
+neural
+neuroendocrine
+vascular
+metastasis
+infiltrate_non_lymphoid
+infiltrate_lymphoid
+infiltrate_leukemic
+metabolic
+lipidosis
+hyperlipoproteinemia
+tangier_disease
+niemann_pick_disease
+gaucher_disease
+angiokeratoma_corporis_diffusum_fabry
+lipogranulomatosis_farber
+histiocytosis_x
+congenital_self_healing_reticulohistiocytosis
+indeterminate_cell_proliferative_disorder
+xanthoma_disseminatum
+diffuse_normolipemic_plane_xanthoma
+verriform_xanthoma
+juvenile_xanthogranuloma_paraproteinemia
+reticulohistiocytosis
+progressive_nodular_histiocytoma
+hereditary_progressive_mucinous_histiocytosis
+generalized_eruptive_histiocytoma
+benign_cephalic_histiocytosis
+amyloidosis
+primary_systemic_amyloidosis
+secondary_systemic_amyloidosis
+lichenoid_macular_amyloidosis
+nodular_amyloidosis
+colloid_milium_degeneration
+nodular_colloid_degeneration
+hyalinosis_cutis_mucosae
+porphyria
+pseudoporphyria_cutanea_tarda
+calcinosis_cutis
+metastatic_calcinosis_cutis
+dystrophic_calcinosis_cutis
+idiopathic_calcinosis_cutis
+idiopathic_calcinosis_scrotum
+subepidermal_calcified_nodule
+gout
+ochronosis
+mucinosis
+
+mucopolysaccharidosis
+acanthosis_nigricans
+idiopathic_hemochromatosis
+phrynoderma_vitamin_a_deficiency
+pellagra_vitamin_b_deficiency
+hartnup_disease
+oculocutaneous_tyrosinosis
+systemic
+lupus_erythematosus
+lupus_erythematosus_systemic
+lupus_erythematosus_discoid
+lupus_erythematosus_subacute
instant internet communication, publication
textbooks, indexes, tables of contents.
MS® Powerpoint® presentation subhierarchies.
1. Dermatopathology
a. Complex subspecialty of anatomic pathology
b. Large variety and number of skin diseases.
c. Described pathologic lesions.
d. Largest organ in the human body.
e. Direct exposure to environmental insults.
f. Accessibility for observation and biopsy.
g. Complex classification.
h. Clinicopathologic correlation important.
i. Published hierarchies.
2. Emergence of computers in anatomic pathology:
a. diagnostic reports.
b. quality assurance: turnaround time, outliers.
c. large specimen protocols for cancer therapy.
3. Standardized common data elements for:
a. sharing reports between institutions.
b. health care billing.
c. national health care policy.
4. Resource description framework hierarchy.
a. developed by Association for Pathology Informatics (LDIP project).
b. strict hierarchy of classes.
c. non-strict hierarchy of properties.
5. Possible patient descriptors model:
a. classical symbolic logic.
b. set theory
c. intercalation, retirement, theorems.
d. fuzzy set theory for major classes.
6. Discussion.
a. emerging electronic medical records; only 3% of U. S. hospitals.
b. large specimen protocols for cancer therapy, CAP, ACS; no std syntax.
c. common data elements for sharing reports, billing.
d. dermatopathology: complexity, interdisciplinary; needs standards.
e. open source; collegial discussion; improve patient care.
f. tracking cases electronically.
g. canary in the mine.
h. stratified sets, layered sets.
...
+homunculus
+skin
+ectoderm
+ordinary_ectoderm
+epidermis_surface
+stratum_corneum
+stratum_granulosum
+stratum_spinosum
+stratum_basale
+hair
+nail
+eccrine_sweat_gland
+apocrine_sweat_gland
+sebaceous_gland
+neurectoderm
+dendritic_cell
+neural_crest_cell
+mesoderm
+dermis
+corium
+subcorium
+subcutaneous_fat
+subcutaneous_connective_tissue
+blood_element
+lymphatic_element
+arrector_pili_muscle
+endoderm
+blood_vessel_endothelium
Theorem §9.1
However, for some purposes, it might be advantageous to classify the
skin_specimen by surface anatomy:
+skin_specimen
+surface anatomy
+face
+face_frontal_eminence
+face_glabella
+face_zygomatic_arch
+face_mental_protuberance
+face_mandibular_angle
+face_mandibular_inferior_border
+face_mastoid_process
+eye
+eye_iris
-skin_specimen
+eye_pupil
-skin_specimen
+eye_palpebral_fissure
+eye_palpebral_fissure_superior
+eye_palpebral_fissure_inferior
+eye_semilunar_fold
+eye_conjunctiva
+eye_lacrimal_caruncle
+eye_medial_angle
+eye_lateral_angle
+ear
+ear_tragus
+ear_antitragus
+ear_intertragic_incisure
+ear_lobule
+ear_acoustic_meatus_external
+ear_helix
+ear_antihelix
+oral_cavity
+oral_cavity_uvula
+oral_cavity_palatopharyngeal_notch
+oral_cavity_palatine_tonsil
+oral_cavity_palatoglossal_arch
+oral_cavity_tongue_vallate_papilla
+oral_cavity_tongue_fungiform_papilla
+neck_anterior
+neck_anterior_hyoid_bone
+neck_anterior_thyroid_cartilage
+neck_anterior_cricoid_cartilage
+neck_anterior_thyroid_gland
+neck_anterior_carotid_triangle
+neck_anterior_submental_triangle
+neck_anterior_submandibular_triangle
+neck_anterior_anterior_triangle
+neck_anterior_posterior_triangle
+neck_posterior
+lymph_node_cervical
+lymph_node_cervical_preauricular
+lymph_node_cervical_submental
+lymph_node_cervical_anterior
+lymph_node_cervical_posterior
+lymph_node_cervical_supraclavicular
+chest
+chest_jugular_notch
+chest_clavicle
+chest_sternal_angle
+chest_sternal_manubrium
+chest_costal_margin
+chest_xiphoid_process
+lymph_node_axillary
+lymph_node_axillary_lateral
+lymph_node_axillary_central
+lymph_node_axillary_apical
+lymph_node_axillary_anterior
+lymph_node_axillary_posterior
+abdomen_anterior
+abdomen_anterior_hypochondriac_left
+abdomen_anterior_epigastric
+abdomen_anterior_hypochondriac_right
+abdomen_anterior_lumbar_left
+abdomen_anterior_periumbilical
+abdomen_anterior_lumbar_right
+abdomen_anterior_iliac_left
+abdomen_anterior_hypogastric
+abdomen_anterior_iliac_right
+abdomen_anterior_linea_alba
+abdomen_anterior_mcburney_line
+abdomen_anterior_arcuate_line
+abdomen_anterior_inguinal_ligament
+abdomen_anterior_superior_iliac_spine
+abdomen_anterior_pubic_tubercle
+abdomen_posterior_iliac_crest
+back
+back_external_occipital_protuberance
+back_mastoid_process
+back_scapular_acromion
+back_scapular_spine
+back_spina_prominens
+back_vertebral_spinous_process
+back_sacral_dorsum
+back_iliac_crest
+upper_extremity
+upper_extremity_dorsal
+upper_extremity_ventral
+upper_extremity_proximal
+upper_extremity_distal
+lower_extremity
+lower_extremity_dorsal
+lower_extremity_ventral
+lower_extremity_proximal
+lower_extremity_distal
Exhaustive logical-set operations consist of:
Subset operation: if X is a valid nandset and X ⊆ Y, then Y is a valid nandset.Proof that exhaustive logical-set operations suffice to determine all and only the valid nandsets is given in Chapter 17. Appendix H. Theorems.
Theorem. (+p|+q) ⇒ (+p|+q|+r|...).
Proof. Nandsets {+p,-p,-q,-r,...} and {+q,-p,-q,-r,...} are both vacuous.
Set multiplication: if X,Y are valid nandsets; there exists an +x ∈ X such that -x ∈ Y; and X×Y = ((X ∪ Y) - {+x,-x}); then X×Y is a valid nandset.
Theorem. Modus Ponens. If ((+p ⇒ +q) and (+q ⇒ +r), then ((+p ⇒ +r).
Proof. Nandsets {-p,-q,+p,-r}, {-p,+r,+p,-r}, {+q,-q,+p,-r}, and {+q,+r,+p,-r} are all vacuous.
Theorem. Multiplication. If ((+p|+q) ⇒ +r) and (+r ⇒ (+s|+t)), then ((+p|+q) ⇒ (+s|+t)).
Proof. Nandsets {+p,-q,-r,+s,+t,+r}, {+p,-q,-r,+s,+t,-s}, and {+p,-q,-r,+s,+t,-t}, are all vacuous.
+∀
+p
.
.
.
+q
+r
+s
...
is implied by:
+∀
+q
+r
+s
...
BACKTRACK THEOREM.
(+∀ ⇒ (+q | -q)) and
(+∀ & +q) ⇒ (+r | +s | ...) implies
(+∀ & +p & ... & +q) ⇒ (+r | +s | ...).
+∀
+p
+q
+s
+t
...
+r
+u
+v
...
implies:
+∀
+p
+q
+s
+t
...
+r
+∀
+p
+r
+u
+v
...
is equivalent to:
+∀
+p
-q
+r
+p
+q
+s
+t
+∀
...
+r
+u
+v
...
where z represents certainty level. The partial membership value, v, is defined as: v = (1 - 2-z). Then as z ⇒ ∞, one is completely certain; whereas when z = 0, one is completely uncertain.z: word_description ___________________ 6: nearly_certain 5: frequent 4: common 3: uncommon 2: rare 1: very_rare
+skin_specimen
+small_round_blue_cell_tumor
+Merkel cell tumor
+small_cell_carcinoma_lung
+retinoblastoma
may be expanded into graded differential diagnoses, as follows:
+skin_specimen
+small_round_blue_cell_tumor
+adult
+heavy_smoker
+small_cell_carcinoma_lung
+common
+Merkel_cell_tumor
+rare
+retinoblastoma
+very_rare
+non_smoker
+Merkel_cell_tumor
+common
+small_cell_carcinoma_lung
+uncommon
+retinoblastoma
+very_rare
+child
+retinoblastoma
+common
+small_cell_carcinoma_lung
+very_rare
+Merkel_cell_tumor
+very_rare
We then invoke SUTTON'S LAW to narrow the possibilities, by abandoning
the rare and very_rare possibilities for the patient, +p, i.e.,
(+p ⇒ -rare) and (+p ⇒ -very_rare) i.e.,
by NOT robbing non-banks, where the money is unlikely to be. If the patient
is an adult heavy_smoker, then we may deduce that
(+p ⇒ +small_cell_carcinoma_lung)
| Number | Tumor Name | Primary Site | Age | Clinical Setting |
|---|---|---|---|---|
| 1 | Merkel Cell Tumor | Skin | Older Adult |
Isolated Lesion |
| 2 | Small Cell Carcinoma | Lung | Adult | Lung Mass, Widened Mediastinum |
| 3 | Esthesioneuroblastoma | Nasopharynx | Adult | Nasopharynx Mass |
| 4 | Ewing sarcoma | Bone, Soft tissue | Adolescent, Adult |
Bone, Soft tissue Mass |
| 5 | Retinoblastoma | Eye | Young Child |
Eye Mass |
| 6 | Nephroblastoma | Kidney | Young Child | Renal Mass |
| 7 | Neuroblastoma | Adrenal | Young Child | Adrenal Mass |
| 8 | Medulloblastoma | Brainstem | Young Child | Brainstem Mass |
| 9 | Lymphoma | . | . | . |
| 10 | Peripheral Neurendocrine Tumor | . | . | . |
| 11 | Pinealoblastoma | . | . | . |
| 12 | Rhabdomyosarcoma | . | . | . |
p=small_round_blue_cell_tumorThen there are 16 possible patient descriptions with positive small_round_blue_cell_tumor in this simplified namespace, as follows:
q=Merkel_cell_tumor
r=Retinoblastoma
s=Small_cell_carcinoma_lung
t=heavy_smoker
| Number |
p Small_round blue_cell_tumor | r Retinoblastoma |
q Merkel_cell | s Small_cell carcinoma_lung |
t Heavy_smoker |
|---|---|---|---|---|---|
| 1 | + | + | + | + | + |
| 2 | + | + | + | + | - |
| 3 | + | + | + | - | + |
| 4 | + | + | + | - | - |
| 5 | + | + | - | + | + |
| 6 | + | + | - | + | - |
| 7 | + | + | - | - | + |
| 8 | + | + | - | - | - |
| 9 | + | - | + | + | + |
| 10 | + | - | + | + | - |
| 11 | + | - | + | - | + |
| 12 | + | - | + | - | - |
| 13 | + | - | - | + | + |
| 14 | + | - | - | + | - |
| 15 | + | - | - | - | + |
| 16 | + | - | - | - | - |
| Number |
p Small_round blue_cell_tumor | r Retinoblastoma |
q Merkel_cell | s Small_cell carcinoma_lung |
t Heavy_smoker |
|---|---|---|---|---|---|
| 1 | + | + | + | + | + |
| 2 | + | + | + | + | - |
| 3 | + | + | + | - | + |
| 4 | + | + | + | - | - |
| 5 | + | + | - | + | + |
| 6 | + | + | - | + | - |
| 7 | + | + | - | - | + |
| 8 | + | + | - | - | - |
| 9 | + | - | + | + | + |
| 10 | + | - | + | + | - |
| 11 | + | - | + | - | + |
| 12 | + | - | + | - | - |
| 13 | + | - | - | + | + |
| 14 | + | - | - | + | - |
| 15 | ▒ | ▒ | ▒ | ▒ | ▒ |
| 16 | ▒ | ▒ | ▒ | ▒ | ▒ |
{+q∞,+r1}
{+q∞,+s1}
{+r∞,+q1}
{+r∞,+s1}
{+s∞,+q1}
{+s∞,+r1}
Theorem: p ⇒ p. Proof. Nandset {+p,-p} is vacuous.Corollaries:
Theorem: p ⇒ (p | p). Proof. Nandset {+p,-p,-p} is vacuous.
Theorem: p ⇒ (p | q). Proof. Nandset {+p,-p,-q} is vacuous.
Theorem: p ⇒ (p | q). Proof. Nandset {+p,-p,-q} is vacuous.
Theorem: p ⇒ (p | q | r | ...). Proof. Nandset {+p,-p,-q,-r,...} is vacuous.
Theorem: p ⇒ (q | -q). Proof. Nandset {+p,-q,+q} is vacuous.
Theorem: (p & q) ⇒ (r | -r). Proof. Nandset {+p,+q,-r,+r} is vacuous.
Theorem: (p & q & r & ...) ⇒ (z | -z). Proof. Nandset {+p,+q,+r,...,-z,+z} is vacuous.
Theorem: +p ⇒ (+q | +q | +r) is equivalent to +p ⇒ (+q | +r) Proof. Nandset .....
Theorem: (+p ⇒ -p) implies that -p is true. Proof. Nandset .....
Corollary: ∀ ⇒ ∀. Proof. Nandset {+∀,-∀} is vacuous.
Corollary: ∀ ⇒ (p | -p). Proof. Nandset {+∀,-p,+p} is vacuous.
Corollary: ∀ ⇒ (∀ | ∀). Proof. Nandset {+∀,-∀} is vacuous.
Corollary: ∀ ⇒ (∀ | ∀ | ...). Proof. Nandset {+∀,-∀,-∀,...} is vacuous.
Corollary: ∀ ⇒ (∀ (⇒ (q | -q| ...)) | (⇒ (r | -r| ...)). Proof. Nandsets {+∀,-∀,-∀,...} {+∀,-∀}, {+∀,+∀-q,+q}, and {+∀,+∀-r,+r} are vacuous.
| Number | Female | >18 years | Fair skin |
|---|---|---|---|
| 1 | + | + | + |
| 2 | + | + | - |
| 3 | + | - | + |
| 4 | + | - | - |
| 5 | - | + | + |
| 6 | - | + | - |
| 7 | - | - | + |
| 8 | - | - | - |
| Number | Female | >18 years | Fair skin | Uterus |
|---|---|---|---|---|
| 1 | + | + | + | + |
| 2 | + | + | + | - |
| 3 | + | + | - | + |
| 4 | + | + | - | - |
| 5 | + | - | + | + |
| 6 | + | - | + | - |
| 7 | + | - | - | + |
| 8 | + | - | - | - |
| 9 | - | + | + | + |
| 10 | - | + | + | - |
| 11 | - | + | - | + |
| 12 | - | + | - | - |
| 13 | - | - | + | + |
| 14 | - | - | + | - |
| 15 | - | - | - | + |
| 16 | - | - | - | - |
| Number | Female | >18 years | Fair skin | Uterus |
|---|---|---|---|---|
| 1 | + | + | + | + |
| 2 | + | + | + | - |
| 3 | + | + | - | + |
| 4 | + | + | - | - |
| 5 | + | - | + | + |
| 6 | + | - | + | - |
| 7 | + | - | - | + |
| 8 | + | - | - | - |
| 9 | ▒ | ▒ | ▒ | ▒ |
| 10 | - | + | + | - |
| 11 | ▒ | ▒ | ▒ | ▒ |
| 12 | - | + | - | - |
| 13 | ▒ | ▒ | ▒ | ▒ |
| 14 | - | - | + | - |
| 15 | ▒ | ▒ | ▒ | ▒ |
| 16 | - | - | - | - |
DEFINITION:
p μ1 P same as p ∈ P.
p μ0 P same as p ~∈ P.
p μv P: Crisp/classical set theory: v ∈ {0,1}.
p μv P: Fuzzy set theory: v ∈ [0,1].
Fuzzy Order Axiom: If 0 < v < w < 1 and p μw P, then p μv P.
pn means that pn μv P. where v = (1 - 2-n).Simplified model:
p = small round blue cell tumor.Then for the old non-smoker:
q = Merkel cell tumor.
r = retinoblastoma.
s = small cell carcinoma.
t = old non-smoker.
u = middle-aged heavy smoker.
M = Max, say 4.
p -> (q|r|s).For the middle-aged heavy-smoker:
(p&t) -> (qM-1 | rM-3 | sM-2)
p -> (q|r|s).
(p&t) -> ( qM-2 | rM-3 | sM-1)
| v | (1 - 2-v) | μ |
|---|---|---|
| 7 | 127/128 | 0.9921875 |
| 6 | 63/64 | 0.984375 |
| 5 | 31/32 | 0.96875 |
| 4 | 15/16 | 0.9375 |
| 3 | 7/8 | 0.875 |
| 2 | 3/4 | 0.75 |
| 1 | 1/2 | 0.5 |
CLASSIFICATION 1.
∀
human_tissue
which may be expanded into:
CLASSIFICATION 1.
∀
human_tissue
ectoderm
mesoderm
endoderm
This classification may further be expanded as:
CLASSIFICATION 1.
∀
human_tissue
ectoderm
epidermis
neural_crest
sensory_epithelium
contractile_epithelium
glandular_epithelium
stomatodeal_epithelium
proctodeal_epithelium
mesoderm
endothelium_mesodermal
mesothelium
mesenchyme
endoderm
endothelium_endodermal
and so forth.
This hierarchical classification of names
can be extended indefinitely, subject to the constraint
that every name
OCCURS EXACTLY ONCE;
and every name except
anypatient
HAS EXACTLY ONE PARENT.
For example, we might construct a classification
for the same
in
ALPHABETICAL ORDER,
but this second classification would be incompatible with
the first classification:
CLASSIFICATION 2.
∀
human_tissue
human_tissue_c
contractile_epithelium
human_tissue_e
ectoderm
endoderm
endothelium_endodermal
endothelium_mesodermal
epidermis
human_tissue_g
glandular_epithelium
human_tissue_m
mesenchyme
mesoderm
mesothelium
human_tissue_n
neural_crest
human_tissue_p
proctodeal_epithelium
human_tissue_s
sensory_epithelium
stomatodeal_epithelium
However, we may combine these two classifications as a MATHEMATICAL
RELATION, in which a single name may have several parents
skin
anatomy
epidermis
stratum_corneum
stratum_granulosum
stratum_spinosum
stratum_basale
dermis
papillary_dermis
reticular_dermis
appendage
hair
hair_shaft
hair_ostium
hair_infundibulum
hair_arrector_pili
hair_outer_root_sheath
hair_inner_root_sheath
hair_papilla
hair_matrix_cell
nail
apocrine_gland
eccrine_gland
subcutaneous_tissue
adipose_tissue
vascular_tissue
muscular_tissue
physiology
heat_regulation, water_regulation, ...
pharmacology
therapeutic_medications, medication side effects, ...
skin_specimen
head_skin
chest_skin
abdomen_skin
back_skin
arm_skin
leg_skin
+∀
+skin_specimen
-skin_specimen
Then:
+∀
+skin_specimen
+head_skin
+chest_skin
+abdomen_skin
+back_skin
+arm_skin
+leg_skin
-skin_specimen
In general, we interpret
+∀
+A
-A
as +∀ implies (+A or -A).
+∀
+A
+B
+C
-A
+D
+E
as +∀ implies (+A or -A);
(+∀ and +A) implies (+B or +C);
(+∀ and -A) implies (+D or +E), etc.
+∀
+skin_specimen
+inflammation
+major_tissue_reaction_noninflammatory
+minor_tissue_reaction_noninflammatory
+dysplastic_neoplastic
+unremarkable
+unsatisfactory
-skin_specimen
That is, every skin_specimen shows either inflammation,
major_tissue_reaction, minor_tissue_reaction, dysplasia_neoplasia;
is unremarkable (normal); or is technically unsatisfactory.
+∀
+skin_specimen
+major_tissue_reaction_noninflammatory
+lichenoid_reaction
+psoriasiform_reaction
+spongiotic_reaction
+vesiculobullous_reaction
+granulomatous_reaction
+vasculopathic_reaction
-major_tissue_reaction_noninflammatory
-skin_specimen
Among lichenoid reactions, there are 21 major headings shown here;
among lichen_planus_variants, there are eleven possibilities:
+∀
+skin_specimen
+major_tissue_reaction_noninflammatory
+lichenoid_reaction
+lichen_planus
+lichen_planus_variant
+lichen_planus_atrophic
+lichen_planus_hypertrophic
+lichen_planus_linear
+lichen_planus_ulcerative
+lichen_planus_erythematosus
+lichen_planus_erythema_dyschromicum_perstans
+lichen_planus_actinicus
+lichen_planus_planopilaris
+lichen_planus_pemphigoides
+lichen_planus_keratosis_chronica
+lichen_planus_lupus_erythematosus_overlap
+lichen_nitidus
+lichen_striatus
+drug_eruption_lichenoid
+lichen_planus_like_keratosis
+fixed_drug_eruption_lichenoid
+erythema_multiforme
+graft_vs_host_disease
+aids_interface_dermatitis
+eruption_lymphocyte_recovery
+lupus_erythematosus
+dermatomyositis
+poikiloderma
+lichen_sclerosis_et_atrophicus
+pityriasis_lichenoides
+persistent_viral_reaction
+perniosis
+paraneoplastic_pemphigus
+lichenoid_purpura
+lichenoid_contact_dermatitis
-lichenoid_reaction
-major_tissue_reaction_noninflammatory
-skin_specimen
This logical model supports ordinary / classical concepts of CONSISTENCY,
LOGICAL VACUITY, REDUNDANCY, and INFERENCE; and two additional
properties of INTERCALATION and RETIREMENT (see below).
+∀
-∀
VACUITY is the property that a of a particular statement adds nothing
to the logical structure, i.e., the statement can be removed without altering
the logical structure. For example, the assertion that +anypatient
implies +anypatient is vacuous, because a statement always implies
itself.
+∀
+∀
REDUNDANCY is the property that one statement adds nothing to the
logical structure created by another statement. For example:
if +A implies +B, then it is redundant to assert that:
+A implies (+B or +C). Thus:
+∀
+A
+B
+A
+B
+C
-A
is a redundant expression for:
+∀
+A
+B
-A
An INFERENCE
is one logical expression implied by another.
For example:
+∀
+A
+B
+C
+A
-B
+C
-A
implies:
+∀
+A
+C
-A
INTERCALATION is an operation in which a new theory might be placed
side-by-side (i.e., intercalated) into an existing theory, without disturbing
the structure of the existing theory. For example, consider Hippocrates
humoral theory of human_disease_pathogenesis:
+∀
+human_disease_pathogenesis
+phlegm
+blood
+urine
+bile
-human_disease_pathogenesis
We may INTERCALATE the modern pathoanatomic model of human disease
pathogenesis, without disturbing the existing logical structure:
+∀
+human_disease_pathogenesis
+humoral_human_disease_pathogenesis
+phlegm
+blood
+urine
+bile
+pathoanatomic_human_disease_pathogenesis
+anatomy
+physiology
+pathologic_anatomy
-human_disease_pathogenesis
RETIREMENT is the process of gracefully removing a defunct theory,
that has proved less useful than the new theory. In the above example,
placing +∀ into the humoral human disease pathogenesis children,
renders it vacuous:
+∀
+human_disease_pathogenesis
-humoral_human_disease_pathogenesis
+human_disease_pathogenesis
+humoral_human_disease_pathogenesis
+phlegm
+blood
+urine
+bile
+∀
+pathoanatomic_human_disease_pathogenesis
+anatomy
+physiology
+pathologic_anatomy
-human_disease_pathogenesis
FALSE PROOF!
+∀
+A
-A
is +∀:+A,-A.
+∀
+A
+B
+C
-A
+D
+E
is +∀:+A(:+B,+C),-A(:+D,+E).
http://www.gwmoore.org/dermpath/dermrdfh.htmThe computer workstation on which this document is being prepared on 11/24/2006, is located in Room 4D-137, Baltimore VA Maryland Health Care System, 10 North Greene Street, Baltimore, MD 21201-1524. Since there is only one computer workstation in this room, the document preparation device has been uniquely identified. In the event of instrument malfunction, this device could be located and examined. This occurrence typically isn't a big problem with computer workstations, but might become an issue, say, with microtomes, cryostats, automated staining devices, etc. Thus in principle, the quality of any process could be backtracked through a unique, defined pathway.
1. Surface_Anatomy.The classes for surface_anatomy and integumentary_system have the greatest relevance for dermatopathology.
2. Cardiovascular_System.
3. Respiratory_System.
4. Tubular_gastrointestinal system.
5. Hepatobiliary_System.
6. Genitourinary_System.
7. Integumentary_System.
8. Musculoskeletal_System.
9. Endocrine_System.
10. Lymphoreticular_System.
11. Central_Nervous_System.
+∀
+skin_specimen
+inflammation
+major_tissue_reaction_noninflammatory
+minor_tissue_reaction_noninflammatory
+dysplastic_neoplastic
+unremarkable
+unsatisfactory
-skin_specimen
Read +∀ as "anypatient"; and we assert from the
first-right-indentation of the above hierarchy that "anypatient" either
IS a skin_specimen (i.e., +skin_specimen) or IS NOT
a skin_specimen (i.e., -skin_specimen). That is: +∀
IMPLIES (+skin_specimen OR -skin_specimen). This isn't a very
interesting conclusion. As we shall see below, this expression is
MATHEMATICALLY VACUOUS.
| Row: | Anypatient ∀ | skin_specimen s |
Inflammation i | Neoplasia n |
|---|---|---|---|---|
| 1 | +∀ | +s | +i | +n |
| 2 | +∀ | +s | +i | -n |
| 3 | +∀ | +s | -i | +n |
| 4 | +∀ | +s | -i | -n |
| 5 | +∀ | -s | +i | +n |
| 6 | +∀ | -s | +i | -n |
| 7 | +∀ | -s | -i | +n |
| 8 | +∀ | -s | -i | -n |
+∀
+human disease pathogenesis
+humoral_human_disease_pathogenesis
+phlegm
+blood
+urine
+bile
+pathoanatomic_human_disease_pathogenesis
+anatomy
+physiology
+pathologic_anatomy
| Row: | Anypatient ∀ | skin_specimen s |
Inflammation i | Neoplasia n |
|---|---|---|---|---|
| 1 | +∀ | +s | +i | +n |
| 2 | +∀ | +s | +i | -n |
| 3 | +∀ | +s | -i | +n |
| 4 | +∀ | +s | -i | -n |
| 5 | ▒ | ▒ | ▒ | ▒ |
| 6 | ▒ | ▒ | ▒ | ▒ |
| 7 | ▒ | ▒ | ▒ | ▒ |
| 8 | ▒ | ▒ | ▒ | ▒ |
| Row: | Anypatient ∀ | skin_specimen s |
Inflammation i | Neoplasia n |
|---|---|---|---|---|
| 1 | +∀ | +s | +i | +n |
| 2 | +∀ | +s | +i | -n |
| 3 | +∀ | +s | -i | +n |
| 4 | ▒ | ▒ | ▒ | ▒ |
| 5 | ▒ | ▒ | ▒ | ▒ |
| 6 | ▒ | ▒ | ▒ | ▒ |
| 7 | ▒ | ▒ | ▒ | ▒ |
| 8 | ▒ | ▒ | ▒ | ▒ |
| Row: | Anypatient ∀ | skin_specimen s |
Inflammation i | Neoplasia n |
|---|---|---|---|---|
| 1 | ▒ | ▒ | ▒ | ▒ |
| 2 | +∀ | +s | +i | -n |
| 3 | +∀ | +s | -i | +n |
| 4 | ▒ | ▒ | ▒ | ▒ |
| 5 | ▒ | ▒ | ▒ | ▒ |
| 6 | ▒ | ▒ | ▒ | ▒ |
| 7 | ▒ | ▒ | ▒ | ▒ |
| 8 | ▒ | ▒ | ▒ | ▒ |
Row Hierarchy
1 +∀
2 +s
3 +i
4 +n
5 +n
6 +i
7 -s
In this seven-row hierarchy, the four boldface rows (1, 2, 3, 5)
have children, and the three non-boldface rows (4, 6, 7) do not have
children. These childed rows in the hierarchy have a corresponding nandset.
Row Parent Logic Expression Nandset
1 +∀ +∀⇒(+s∨-s) {+∀,-s,-s}
2 +s; (+∀∧+s)⇒(+i∨+n) {+∀,+s,-i,-n}
3 +i; (+∀∧+s∧+i)⇒(-n) {+∀,+s,+i,+n}
5 +n; (+∀∧+s∧+n)⇒(-i) {+∀,+s,+n,+i}
There are many powerful mathematical properties of the hierarchy formalism.
A nandset is VACUOUS if for some X, it contains both +X
and -X. For example, the assertion that anypatient implies either
skin_specimen or not skin_specimen, namely, +∀⇒(+s∨-s),
with corresponding nandset, +∀,-s,-s}, is vacuous.
Proof: Since every possible_patient_description_element contains either
+X or -X but not both, there exists no
possible_patient_description_element that has {+X,-X} as a subset.
Therefore, {+X,-X,...} removes no possible_patient_description_element
from the possible_patient_description_table.
+∀
+∀
+s
+∀
-s
has nandsets: {+∀, -∀, -∀} (vacuous),
{+∀, +∀, -s}, and {+∀, +∀, +s}.
These nandsets are subsets of ANY
possible_patient_description_element.
+∀
+∀
+x0
+x1
+x2
...
be the original theory (x-theory), and intercalate a new theory
(y-theory), as follows:
+∀
+∀
+x0
+x1
+x2
...
+∀
+y0
+y1
+y2
...
+∀
+∀
+x0
+x1
+x2
...
+∀
+y0
+y1
+xysub>2
...
be the unretired theory (y-theory), and
remove subtheory (x-theory), as follows:
+∀
+∀
+y0
+y1
+y2
...
+∀
+∀
+a1
+r1
+a2
+r2
+a3
+r3
+a4
+r4
...
+aN
+rN
...
+a∞
where +aN might represent, say, squamous cell carcinoma
with extensive lymph node involvement (TNM class N2) and widespread
metastases (TNM class MX); and a∞ represents
premature death from widely metastatic squamous cell carcinoma.
+∀
+a
+b
+c
Each of
+a, +b, +c,...
,
may have their own children, say:
+∀
+a
+d
+e
+b
+f
+g
+c
+h
+i
And so forth.
In a resource description framework, +∀ represents the unique,
ULTIMATE CLASS, and each of the descendent classes appears exactly
once. Thus RDF is purely a hierarchy of nomenclature.
a1 = solar elastosisIn general, all processes leading to possible premature death fall into such a progression.
a2 = actinic keratosis
a3 = bowenoid actinic keratosis
a4 = Bowen's disease
a5 = superficially invasive squamous cell carcinoma
a6 = deeply invasive squamous cell carcinoma
a7 = N1 lymph node involvement
a7 = N2 lymph node involvement
a7 = M1 distant metatases.
...
a∞ = premature death.
1. English declarative sentences, electronic form: already available in dermatopathology texts, although not publicly/generally available (Barnhill, 2004; Macdonald et al 2007; Brehmer-Andersson, 2006; Weedon, 2002; McKee et al, 2005; Farmer, 1999; Venkataram, 2006).
2. RDF model.
3. Logic model.
4. Fuzzy theory.
5. Proofs: Mathematical set theory.
Ô = {+inflammation, +major_tissue_reaction_noninflammatory, +minor_tissue_reaction_noninflammatory, +dysplastic_neoplastic, +unremarkable, +unsatisfactory}The order of elements is irrelevant, and repeated elements are redundant. Thus, the same set may be represented as:
Ô = {+major_tissue_reaction_noninflammatory, +minor_tissue_reaction_noninflammatory, +inflammation, +dysplastic_neoplastic, +unremarkable, +inflammation, +inflammation, +unremarkable, +inflammation, +unsatisfactory}The null set is the set that contains no members, denoted {} or Ø.
Not: ~.We shall pay particular attention to SETS OF BINARY (TRUE_FALSE) STATEMENTS, i.e., statements with a true_false value. When true_false statement X is true, then it is denoted +X; when statement X is false, then it is denoted -X.
Membership, ∈: x ∈ X denotes x belongs to (or is a member of) X.
Union, ∪: X = (Y ∪ Z) is the set of all members of Y or Z or both.
Intersection, ∩: X = (Y ∪ Z) is the set of all members of both Y and Z.
Subset, ⊆: X ⊆ Y if and only if every member of X is also a member of Y.
Superset, ⊇: X ⊇ Y if and only if every member of Y is also a member of X.
Set_subtraction, -: X = (Y - Z) is the set of all members of Y but not Z.
+∀
+skin_specimen
-skin_specimen
In classical logic, we write +∀ ⇒
(+skin_specimen ∨ -skin_specimen), where ⇒ denotes
IMPLIES and ∨ denotes INCLUSIVE_OR.
That is, anything implies either skin_specimen or
not skin_specimen, corresponding to the nandset,
{+∀, -skin_specimen, +skin_specimen}.
This is a vacuous nandset (not very interesting).
+∀
+skin_specimen
+inflammation
+major_tissue_reaction_noninflammatory
+minor_tissue_reaction_noninflammatory
+dysplastic_neoplastic
+unremarkable
+unsatisfactory
-skin_specimen
In classical logic, we write (+∀ ∧ +skin_specimen) ⇒
(+inflammation ∨ +major_tissue_reaction_noninflammatory ∨
+minor_tissue_reaction_noninflammatory ∨ +dysplastic_neoplastic
∨ +unremarkable ∨ +unsatisfactory), where ∧
denotes AND. That is, (+anything and +skin_specimen)
implies either +inflammation or
+major_tissue_reaction_noninflammatory or
+minor_tissue_reaction_noninflammatory
or +dysplastic_neoplastic or +unremarkable
or+unsatisfactory), or some combination of these.
1. Person.SPELLING CONVENTIONS.
2. Event.
3. Data_object.
4. Specimen.
5. Reagent.
6. Instrument.
7. Terminology.
1. American-English spelling.Skin, including epidermis, dermis, subcutis, and appendages is the largest organ of the human body, by weight or by volume. Because of its exposure to environmental insults and relative ease of observation and biopsy, skin is subject to many different diseases, that are well-described histopathologically. In the USA, for example, there is an incidence of over one million (0.3%) new skin malignancies per year.
2. All lower case.
3. Blank_space and hyphen replaced with underline (_).
4. No apostrophe or apostrophe_s. All nouns singular.
5. Inheritance denoted by carriage-return and indentation.
6. Existing standards used, where applicable and freely available.
7. Date/time convention: International Standards Organization, ISO 8601.
8. For names of stains and methods, all stopwords or barrierwords (prepositions, conjunctions, articles, pronouns, auxiliary verbs, and method, modified, stain, solution, and technique) are removed or placed at the end of the phrase.
+∀
+skin_specimen
-skin_specimen
More specifically, skin_specimen evaluation may be broadly classified as:
+∀
+skin_specimen
+inflammation
+major_tissue_reaction_noninflammatory
+minor_tissue_reaction_noninflammatory
+dysplastic_neoplastic
+unremarkable
+unsatisfactory
-skin_specimen
Even more specifically:
+∀
+skin_specimen
+inflammation
+superficial_perivascular
+superficial_deep_dermal
+folliculitis_perifolliculitis
+panniculitis
+major_tissue_reaction_noninflammatory
+lichenoid_reaction
+psoriasiform_reaction
+spongiotic_reaction
+vesiculobullous_reaction
+granulomatous_reaction
+vasculopathic_reaction
+minor_tissue_reaction_noninflammatory
+epidermolytic_hyperkeratosis
+acantholytic_dyskeratosis
+cornoid_lamellation
+papillomatosis
+acral_angiofibroma
+eosinophilic_cellulitis
+transepithelial_elimination
+dysplastic_neoplastic
+unremarkable
+unsatisfactory
-skin_specimen
At this point, the outline has become so large that one can no longer
look it over at a glance. We can dissect out a smaller subset
of the original hierarchy, as follows:
+∀
+skin_specimen
+major_tissue_reaction_noninflammatory
+lichenoid_reaction
+psoriasiform_reaction
+spongiotic_reaction
+vesiculobullous_reaction
+granulomatous_reaction
+vasculopathic_reaction
-major_tissue_reaction_noninflammatory
-skin_specimen
+∀
+skin_specimen
+major_tissue_reaction_noninflammatory
+lichenoid_reaction
+lichen_planus
+lichen_planus_variant
+lichen_planus_atrophic
+lichen_planus_hypertrophic
+lichen_planus_linear
+lichen_planus_ulcerative
+lichen_planus_erythematosus
+lichen_planus_erythema_dyschromicum_perstans
+lichen_planus_actinicus
+lichen_planus_planopilaris
+lichen_planus_pemphigoides
+lichen_planus_keratosis_chronica
+lichen_planus_lupus_erythematosus_overlap
+lichen_nitidus
+lichen_striatus
+lichen_planus_like_keratosis
+lichenoid_drug_eruption
+fixed_drug_eruption_lichenoid
-lichenoid_reaction
-major_tissue_reaction_noninflammatory
-skin_specimen
+∀
+human_disease_pathogenesis
+phlegm
+blood
+urine
+bile
-human_disease_pathogenesis
where ∀ denotes the origin-point of the hierarchy, read as:
"anypatient".
+∀
+human_disease_pathogenesis
+anatomy
+physiology
+pathologic_anatomy
-human_disease_pathogenesis
In the historical period when the two theories stood side-by-side in European
medicine, it must have become clear that the patho-anatomic model of human
disease pathogenesis showed greater explanatory power than the humoral model.
T. S. Kuhn's (1922-1996) theory of scientific revolutions suggests that the medical-scientific community makes sudden "paradigm shifts", and then younger scientists wait while the older proponents of the legacy theory retire or die off....One way to compare theories side-by-side is to INTERCALATE the new theory into the existing (legacy) theory. (Kuhn's theory doubts that this is possible.) Assuming that both theories can be characterized as RDF class structures, then this intercalation might appear as follows:
+∀
+human disease pathogenesis
+humoral_human_disease_pathogenesis
+phlegm
+blood
+urine
+bile
+pathoanatomic_human_disease_pathogenesis
+anatomy
+physiology
+pathologic_anatomy
RETIREMENT is then a formally-graceful/polite way to remove the
humoral model, once it has clearly become defunct. The transition from
Theory A to Theory B might be expressed as:
+∀
+A
+C1
+C2
...
+B
+D1
+D2
...
More generally, each theory might have an arbitrary depth
of detailed descriptions and predictions:
+C1
+C11
+C12
...
+C2
+C21
+C22
...
...
+B
+D1
+D11
+D12
...
+D2
+D21
+D22
...
...
We shall define INTERCALATION mathematically as the appending
of additional branches on an existing RDFH.
+∀
+A
+C1
+C2
...
+∀
+B
+D1
+D2
...
retires all of the children of
A at once, with an added child of
+∀
+∀
+A
+C1
-∀
+C2
-∀
...
+B
+D1
+D2
...
also retires all the children of +A, by adding -∀
as the lone grandchild for each child of +A.
+∀ implies (+A or +B)where
(+∀ and +A) implies (+C1 or +C2 or ...)
(+∀ and +A and +C1) implies +C11 or +C12 or ...)
(+∀ and +A and +C2) implies +C21 or +C22 or ...)
...
(+∀ and +B) implies (+D1 or +D2 or ...)
(+∀ and +B and +D1) implies +D11 or +D12 or ...)
(+∀ and +B and +D2) implies +D21 or +D22 or ...)
...
+X means that X is true;and or is understood as inclusive_or.
-X means that X is false; and
--X equals +X.
+∀
+A
+C1
+C2
...
+B
expanded to II:
+∀
+A
+C1
+C2
...
+B
+D1
+D2
...
no logic expressions not containing B are introduced.
+∀
+A
+C1
+C2
...
+B
+D1
+D2
...
may be transformed into II:
+∀
+B
+D1
+D2
...
by
Retirement Method 1
or
Retirement Method 2.
Petersdorf RG, Beeson PB.The issue was the presumptive treatment of a patient with fever of unknown origin based upon clinical evidence, prior to the return of culture results.
Fever of unexplained origin: report on 100 cases.
Medicine (Baltimore). 1961 Feb;40:1-30.
PMID: 13734791.
Cuius rei demonstrationem mirabilem sane detexi hanc marginis exiguitas non caperet.The conjecture is:
I have a truly marvelous demonstration of this proposition which this margin is too narrow to contain.
ak + bk = ck ,where a, b, c, and k, are all integers. There are no solutions where k > 2.
Identifier:ldip:Terminology
Class Label: Terminology
versionInfo (required): 0.1
Registration Authority (required): Association for Pathology Informatics
Language:en
Obligation:optional
Maximum occurrence:Unlimited
Cardinality (required):/[0-9]+/
Datatype: Literal
comment: All terminology used in composing and coding the
Electronic_medical_record, including free-text-English (ugh!),
syntactically-controlled English, SNOMED, UMLS, MeSH,....
subClassOf:Class
Contributor:Bill Moore
Date_of_contribution:11-13-2006
Identifier:ldip:Patient
Class Label:Patient
versionInfo (required): 0.1
Registration Authority (required): Association for Pathology Informatics
Language:en
Obligation:optional
Maximum occurrence:Unlimited
Cardinality (required):/[0-9]+/
Datatype: Literal
comment: The patient, unambiguously denoted by the required ordered quadruple:
patient_name (=patient_surname, patient_givenname, patient_honorific),
patient_social_security_number, patient_date_of_birth, and patient_gender.
Includes: patient_insurance.
subClassOf:Person
Contributor:Bill Moore
Date_of_contribution:11-13-2006
1. Body Regions.
2. Surface Anatomy.
3. Cardiovascular System.
4. Respiratory System.
5. Tubular gastrointestinal system.
6. Hepatobiliary System.
7. Genitourinary System.
8. Integumentary System.
9. Muscular System.
10. Skeletal System.
11. Endocrine System.
12. Lymphoreticular System.
13. Central Nervous System.
14. Sense Organ.
15. Peripheral Nervous System.
16. Placenta.
1. BODY REGIONS.
Gross Anatomy:
1.1. Head_region.
1.2. Facial_region.
1.3. Neck_region.
1.4. Thoracic_region.
1.5. Abdominal_region.
1.6. Dorsal_region.
1.7. Perineal_region.
1.8. Upper_extremity_region.
1.9. Lower_extremity_region.
2. SURFACE ANATOMY.
Gross Anatomy:
2.1. Face_
2.1.1. Face_frontal_eminence
2.1.2. Face_glabella
2.1.3. Face_zygomatic_arch
2.1.4. Face_mental_protuberance
2.1.5. Face_mandibular_angle
2.1.6. Face_mandibular_inferior_border
2.1.7. Face_mastoid_process
2.2. Eye_
2.2.1. Eye_pupil
2.2.2. Eye_iris
2.2.3. Eye_palpebral_fissure_superior
2.2.4. Eye_palpebral_fissure_inferior
2.2.5. Eye_semilunar_fold
2.2.6. Eye_conjunctiva
2.2.7. Eye_lacrimal_caruncle
2.2.8. Eye_medial_angle
2.2.9. Eye_lateral_angle
2.3. Ear_
2.3.1. Ear_tragus
2.3.2. Ear_antitragus
2.3.3. Ear_intertragic_incisure
2.3.4. Ear_lobule
2.3.5. Ear_acoustic_meatus_external
2.3.6. Ear_helix
2.3.7. Ear_antihelix
2.4. Oral_cavity_
2.4.1. Oral_cavity_uvula
2.4.2. Oral_cavity_palatopharyngeal_notch
2.4.3. Oral_cavity_palatine_tonsil
2.4.4. Oral_cavity_palatoglossal_arch
2.4.5. Oral_cavity_tongue_vallate_papilla
2.4.6. Oral_cavity_tongue_fungiform_papilla
2.5. Neck_anterior_
2.5.1. Neck_anterior_hyoid_bone
2.5.2. Neck_anterior_thyroid_cartilage
2.5.3. Neck_anterior_cricoid_cartilage
2.5.4. Neck_anterior_thyroid_gland
2.5.5. Neck_anterior_carotid_triangle
2.5.6. Neck_anterior_submental_triangle
2.5.7. Neck_anterior_submandibular_triangle
2.5.8. Neck_anterior_anterior_triangle
2.5.9. Neck_anterior_posterior_triangle
2.5.10. Lymph_node_cervical_
2.5.11. Lymph_node_cervical_preauricular
2.5.12. Lymph_node_cervical_submental
2.5.13. Lymph_node_cervical_anterior
2.5.14. Lymph_node_cervical_posterior
2.5.15. Lymph_node_cervical_supraclavicular
2.6. Chest_
2.6.1. Chest_jugular_notch
2.6.2. Chest_clavicle
2.6.3. Chest_sternal_angle
2.6.4. Chest_sternal_manubrium
2.6.5. Chest_costal_margin
2.6.6. Chest_xiphoid_process
2.6.7. Lymph_node_axillary_
2.6.8. Lymph_node_axillary_lateral
2.6.10. Lymph_node_axillary_central
2.6.11. Lymph_node_axillary_apical
2.6.12. Lymph_node_axillary_anterior
2.6.13. Lymph_node_axillary_posterior
2.7. Abdomen_anterior_
2.7.1. Abdomen_anterior_hypochondriac_left
2.7.2. Abdomen_anterior_epigastric
2.7.3. Abdomen_anterior_hypochondriac_right
2.7.4. Abdomen_anterior_lumbar_left
2.7.5. Abdomen_anterior_periumbilical
2.7.6. Abdomen_anterior_lumbar_right
2.7.7. Abdomen_anterior_iliac_left
2.7.8. Abdomen_anterior_hypogastric
2.7.9. Abdomen_anterior_iliac_right
2.7.10. Abdomen_anterior_linea_alba
2.7.11. Abdomen_anterior_mcburney_line
2.7.12. Abdomen_anterior_arcuate_line
2.7.13. Abdomen_anterior_inguinal_ligament
2.7.14. Abdomen_anterior_superior_iliac_spine
2.7.15. Abdomen_anterior_pubic_tubercle
2.7.16. Abdomen_posterior_iliac_crest
2.8. Back_
2.8.1. Back_external_occipital_protuberance
2.8.2. Back_mastoid_process
2.8.3. Back_scapular_acromion
2.8.4. Back_scapular_spine
2.8.5. Back_spina_prominens
2.8.6. Back_vertebral_spinous_process
2.8.7. Back_sacral_dorsum
2.8.8. Back_iliac_crest
3. CARDIOVASCULAR SYSTEM.
Gross Anatomy:
3.1. Heart.
3.1.1. Atrium
3.1.1.1. Right_atrium
3.1.1.2. Left_atrium
3.1.2. Ventricle
3.1.2.1. Right_ventricle
3.1.2.2. Left_ventricle
3.1.3. Atrioventricular_valve
3.1.3.1. Tricuspid_valve
3.1.3.2. Mitral_valve
3.1.4. Semilunar_valve
3.1.4.1. Pulmonic_valve
3.1.4.2. Aortic_valve
3.1.4.2.1. Aortic_valve_right_coronary_cusp
3.1.4.2.2. Aortic_valve_left_coronary_cusp
3.1.4.2.3. Aortic_valve_non_coronary_cusp
3.2. Great_vessel
3.2.1. Great_artery
3.2.1.1. Aorta
3.2.1.2. Pulmonary_artery
3.2.2. Great_vein
3.2.2.1. Inferior_vena_cava
3.2.2.2. Superior_vena_cava
3.2.2.3. Pulmonary_vein
3.2.2.3.1. Pulmonary_vein_left_superior
3.2.2.3.2. Pulmonary_vein_left_inferior
3.2.2.3.3. Pulmonary_vein_right_superior
3.2.2.3.4. Pulmonary_vein_right_inferior
3.3. Artery
3.4. Capillary
3.5. Vein
Microanatomy:
1. Heart.
1.1. Lumen
1.2. Endocardium
1.3. Cardiac_myocyte
1.4. Epicardium
1.5. Pericardium
3. Artery
3.1. Tunica_intima:Endothelium
3.2. Internal_elastic_lamina
3.3. Tunica_media
3.4. External_elastic_lamina
3.5. Tunica_Adventitia
4. RESPIRATORY SYSTEM.
Gross Anatomy:
4.1. Nose
Nasal_cavity
Paranasal_sinus
Ethmoid_sinus
Maxillary_sinus
Frontal_sinus
4.2. Larynx
4.2.1. Laryngeal_cartilage
4.2.2. Thyroid_cartilage
4.2.3. Cricoid_cartilage
4.2.4. Arytenoid_cartilage
4.2.5. Corniculate_cartilage
4.2.6. Cuneiform_cartilage
4.2.7. Epiglottis
4.2.8. Muscle_laryngeal
4.2.9. Cavity_laryngeal
4.3. Trachea.
4.4. Mainstem_bronchus
4.5. Main_bronchus
4.5.1. Left_main_bronchus
4.5.2 Right_main_bronchus
4.6. Lung
4.6.1. Right_lung
4.6.1.1. Right_lung_upper_lobe
4.6.1.2. Right_lung_middle_lobe
4.6.1.3. Right_lung_lower_lobe
4.6.2. Left_lung
4.6.2.1. Left_lung_upper_lobe
4.6.2.2. Left_lung_lingula
4.6.2.3. Left_lung_lower_lobe
Microanatomy:
4.3. Trachea.
4.3.1. Lumen
4.3.2. Mucosa_respiratory
4.3.3. Submucosa_respiratory
4.3.4. Adventitia_respiratory
5. TUBULAR GASTROINTESTINAL SYSTEM.
Gross Anatomy:
1. Oral Cavity.
1.1. Lip.
1.2. Buccal_region
1.3. Hard_Palate
1.4. Tongue
1.5. Soft_palate
1.6. Oropharynx
2. Esophagus
2.1. Esophagus_upper_third
2.2. Esophagus_middle_third
2.3. Esophagus_lower_third
2.4. Gastroesophageal_junction
3. Stomach
3.1. Gastroesophageal_junction
3.2. Gastric_cardia
3.3. Gastric_fundus
3.4. Gastric_body
3.5. Gastric_antrum
3.6. Gastric_pylorus
4. Duodenum
4.1. Duodenum_first_part
4.2. Duodenum_second_part
4.3. Duodenum_ampulla_Vater
4.4. Duodenum_third_part
5. Jejunum
6. Ileum
7. Cecum
8. Appendix
9. Ascending_colon
10. Hepatic_flexure
11. Transverse_colon
12. Splenic_flexure
13. Descending_colon
14. Sigmoid_colon
15. Rectum
16. Anus
Microanatomy:
3. Stomach
3.1. Gastric_lumen
3.2. Gastric_mucosa
3.2.1. Gastric_mucosa_epithelium
3.2.2. Gastric_mucosa_pit
3.2.2. Gastric_mucosa_neck
3.2.2. Gastric_mucosa_chief_cell
3.2.2. Gastric_mucosa_parietal_cell
3.2.2. Gastric_mucosa_antral_cell
3.3. Gastric_lamina_propria
3.4. Gastric_lymphoid_nodule
3.5. Gastric_muscularis_mucosae
3.4. Gastric_lamina_propria
4. Duodenum
4.1. Lumen
4.1. Mucosa
4.1.1. Mucosa_villus
4.1.2. Mucosa_crypt
4.2. Lamina_propria
4.3. Muscularis_mucosae
4.4. Submucosa
4.4.1. Brunner_gland
4.6. Muscularis_propria_circular
4.7. Muscularis_propria_longitudinal
4.8. Subserosa
4.9. Serosa
5. Jejunum
5.1. Lumen
5.1. Mucosa
5.1.1. Mucosa_villus
5.1.2. Mucosa_crypt
5.2. Lamina_propria
5.3. Muscularis_mucosae
5.4. Submucosa
5.7. Muscularis_propria_longitudinal
5.6. Muscularis_propria_circular
5.8. Subserosa
5.9. Serosa
6. HEPATOBILIARY SYSTEM.
Gross Anatomy:
6.1. Liver.
6.2. Biliary_tree.
6.3. Bile_duct.
6.3.1. Right_hepatic_duct.
6.3.2. Left_hepatic_duct.
6.3.3. Common_bile_duct.
6.4. Gallbladder.
6.5. Pancreas_exocrine.
6.6. Pancreatic_duct.
6.7. Ampulla_Vater.
Microanatomy:
6.1. Liver.
6.1.1. Liver_parenchyma
6.1.2. Liver_sinusoid
6.1.3. Liver_hepatic_artery
6.1.4. Liver_bile_ductule
6.1.5. Liver_portal_vein
6.2. Biliary_tree.
6.2.1. Lumen
6.2.2. Mucosa
6.2.3. Muscularis_mucosae
6.2.4. Submucosa
6.2.5. Muscularis_propria
6.2.5.1. Muscularis_propria_longitudinal
6.2.5.2. Muscularis_propria_circular
6.2.6. Subserosa
6.2.7. Serosa
6.4. Gallbladder.
6.4.1. Lumen
6.4.2. Mucosa
6.4.3. Muscularis_mucosae
6.4.4. Submucosa
6.4.5. Muscularis_propria
6.4.5.1. Muscularis_propria_longitudinal
6.4.5.2. Muscularis_propria_circular
6.4.6. Subserosa
6.4.7. Serosa
6.5. Pancreas_exocrine.
6.6. Pancreatic_duct.
6.7. Ampulla_Vater.
7. GENITOURINARY SYSTEM.
Gross Anatomy:
1. Kidney
1.1. Renal_cortex
1.1.1. Renal_cortex_upper_pole
1.1.2. Renal_cortex_middle
1.1.3. Renal_cortex_lower_pole
1.2. Renal_medulla
1.3. Renal_pelvis
2. Ureter
2.1. Ureter_right
2.2. Ureter_left
3. Urinary_bladder.
3.1. Urinary_bladder_dome.
3.2. Urinary_bladder_trigone.
3.3. Urinary_bladder_left_ureteral_orifice.
3.4. Urinary_bladder_right_ureteral_orifice.
3.5. Urinary_bladder_urethral_orifice.
4. Urethra
4.1. Distal_urethra:female
4.2. Prostatic_urethra:male
4.3. Penile_urethra:male
5. Internal_genitalia_female
5.1. Ovary:female
5.2. Epoophoron:female
5.3. Uterian_tube:female
5.3.1. Uterian_tube_fimbria:female
5.3.2. Uterian_tube_main:female
5.4. Ovarian_ligament:female
5.5. Uterus:female
5.5.1. Uterus_cornu_uteri:female
5.5.2. Uterus_corpus_uteri:female
5.5.3. Uterus_cervix_uteri:female
5.5.4. Uterus_gravida:female
5.6. Vagina:female
5.6.1. Vagina_upper_third:female
5.6.2. Vagina_lower_two_thirds:female
6. External_genitalia_female:female.
6.1. Vulva:female.
6.1.1. Vulva_clitoris:female.
6.1.2. Vulva_labium_majus:female.
6.1.3. Vulva_labium_minus:female.
7. Internal_genitalia_male:male.
7.1. Testis:male.
7.3. Epididymis:male.
7.4. Spermatic_cord:male.
7.5. Scrotum:male.
7.6. Seminal_vesicle:male.
7.7. Vas_deferens:male.
7.8. Prostate:male.
8. External_genitalia_male.
8.1. Penis:male.
8.1.1. Penile_urethra:male.
8.1.2. Corpus_cavernosum_left:male
8.1.3. Corpus_cavernosum_right:male
8.1.3. Corpus_cavernosum_urethrae:male
Microanatomy:
3. Urinary_bladder
3.1. Urinary_bladder_lumen
3.2. Urinary_bladder_urothelium
3.3. Urinary_bladder_lamina_propria
3.4. Urinary_bladder_inner_longitudinal_smooth_muscle
3.5. Urinary_bladder_middle_circular_smooth_muscle
3.6. Urinary_bladder_outer_longitudinal_smooth_muscle
3.7. Urinary_bladder_tunica_adventitia
5.1. Ovary:female
5.1.1. Ovary_liquor_folliculi
5.1.2. Ovary_membrana_granulosa
5.1.3. Ovary_theca_interna
5.1.4. Ovary_theca_externa
5.1.5. Ovary_cumulus_oophorus
5.1.6. Ovary_tunica_albuginea
5.3. Uterian_tube:female
5.3.1. Uterian_tube_lumen
5.3.2. Uterian_tube_mucosa
5.3.3. Uterian_tube_submucosa
5.3.4. Uterian_tube_circular_muscularis
5.3.5. Uterian_tube_longitudinal_muscularis
5.3.6. Uterian_tube_subserosa
5.3.7. Uterian_tube_serosa
5.5. Uterus:female
5.5.0.1. Uterus_lumen
5.5.0.2. Uterus_endometrium
5.5.0.2.1. Uterus_endometrium_compacta
5.5.0.2.2. Uterus_endometrium_spongiosa
5.5.0.2.3. Uterus_endometrium_basalis
5.5.0.3. Uterus_myometrium
5.5.0.4. Uterus_subserosa
5.5.0.5. Uterus_serosa
7.8. Prostate:male.
7.8.1. Prostate_acinar_lumen
7.8.2. Prostate_acinar_epithelium
7.8.3. Prostate_ductule
8. INTEGUMENTARY SYSTEM.
Gross Anatomy:
8.1. Skin_Scalp
8.2. Skin_Face
8.3. Skin_Neck
8.4. Skin_Upper_extremity
8.5. Skin_Chest
8.6. Skin_Abdomen
8.7. Skin_Back
8.8. Skin_Perineum
8.9. Skin_Lower_extremity
Microanatomy:
8.1. Epidermis
8.1.1. Epidermis_stratum_corneum
8.1.2. Epidermis_stratum_granulosum
8.1.3. Epidermis_stratum_spinosum
8.1.4. Epidermis_stratum_basale
8.1.5. Epidermis_stratum_
8.2. Dermis
8.2.1. Dermis_papillary_dermis
8.2.2. Dermis_reticular_dermis
8.2.3. Dermis_deep_dermis
8.3. Appendage_Hair
8.3.1. Hair_shaft
8.3.2. Hair_ostium
8.3.3. Hair_infundibulum
8.3.4. Hair_arrector_pili
8.3.5. Hair_outer_root_sheath
8.3.6. Hair_inner_root_sheath
8.3.7. Hair_papilla
8.3.8. Hair_matrix_cell
8.4. Eccrine_sweat
8.5. Apocrine_sweat
8.6. Nail
9. MUSCULAR SYSTEM.
Head_muscles.
Neck_muscles.
Back_muscles.
Thoracic_muscles.
Abdominal_muscles.
Upper_extremity_muscles.
Lower_extremity_muscles.
10. SKELETAL SYSTEM.
Axial_skeleton
Cranial_bones
Vertebral_column
Thoracic_bones
Appendicular_skeleton
Upper_extremity_bones
Lower_extremity_bones
Joints
Fibrous_joints
Cartilaginous_joints
Synovial_joints
11. ENDOCRINE SYSTEM.
Pituitary
Pituitary_anterior=adenohypophysis
Pituitary_posterior=neurohypophysis
Pineal_body
Thyroid
Parathyroid
Pancreas_endocrine
Adrenal_gland
Adrenal_gland_right
Adrenal_gland_left
12. LYMPHORETICULAR SYSTEM.
Spleen
Thymus
Lymph_nodes_regional
Lymphatic_duct
Lymphatic_trunk
Lymphatic_vessel
13. CENTRAL NERVOUS SYSTEM.
Meninges
Dura_mater_brain
Dura_mater_spinal_cord
Arachnoid_mater_brain
Arachnoid_mater_spinal_cord
Pia_mater_brain
Pia_mater_spinal_cord
Medulla_spinal
Gray_columns
Substantia_alba
Encephalon
Medulla_oblongata=myelencephalon
Pons=metencephalon
Fourth_ventricle
Cerebellum
Mesencephalon
Cerebral_peduncle
Tectum_mesencephalic
Aqueduct_mesencephalic
Base_cerebral_peduncle
Substantia_nigra
Tegmentum_mesencephalic
Tectum_mesencephalic
Prosencephalon
Diencephalon
Epithalamus
Dorsal_thalamus
Metathalamus
Ventral_thalamus
Hypothalamus
Third_ventricle
Telencephalon
Cerebrum
Frontal_lobe
Parietal_lobe
Temporal_lobe
Occipital_lobe
Corpus_callosum
Lateral_Ventricle
14. SENSE ORGANS.
Eye
Ear
Inner_ear
Middle_ear
External_ear
Olfactory_organ
Taste_organ
Taste_organ_calyx
Taste_organ_pore
15. PERIPHERAL NERVOUS SYSTEM.
Cranial_nerve
Olfactory_nerve
Optic_nerve
Oculomotor_nerve
Trochlear_nerve
Trigeminal_nerve
Abducens_nerve
Facial_nerve
Auditory_nerve
Glossopharyngeal_nerve
Vagus_nerve
Spinal_accessory_nerve
Hypoglossal_nerve
Spinal_nerve
Cervical_nerve
Brachial_plexus
Thoracic_nerve
Lumbar_nerve
Sacral_nerve
Coccygeal_nerve
Lumbosacral_plexus
16. PLACENTA.
Amnion
Umbilical_cord
Mucoid_connective tissue
Umbilical_artery
Umbilical_vein
Vitelline_duct
Allantoic_duct
Umbilical_celom
Chorio_allantois
Chorion_laeve
Chorion_frondosum
Chorionic_lamina
Intervillous_space
Fetal_part
Intimal_zone
Chorioallantoic villus
Trophoblastic_trabecula
Intervillous_space
Subchorionic_sapce
Marginal_sinus
Lobe=cotyledon
Trophoblastic_tubule
Trophospongium
Absorbent_areas
Maternal_part
Endometrium
Decidual_cell
Decidua
Decidua_basalis
Endometrial_gland
Endometrial_cupula
Endometrial_crypt
Endometrial_caruncle
Decidua_capsularis
Decidua_parietalis
Fibrinoid_substance
Pathologic Features:Macule: Flat discoloration <1 cm. Patch: Flat discoloration >1 cm. Papule: Solid elevation <1 cm. Plaque: Flat, solid elevation >1 cm. Nodule: Round, solid elevated lesion >1 cm. Vesicle: Small fluid-filled blister <1 cm. Bulla: Fluid-filled blister >1 cm.
Acanthosis: Thickening of the epidermal layer Acantholysis: Loss of cell-cell adhesion in epidermis. Ballooning: Intracellular edema. Crust: Serum within scale. Dyskeratosis: Premature keratinization In spinous layer. Exocytosis: . Hypergranulosis: Thick granular cell layer Hyperkeratosis: Increased thickness of cornified layer. Hypogranulosis: Thin granular cell layer Lichenification: Thickening of skin from chronic rubbing. Parakeratosis: Hyperkeratosis with residual pyknotic nuclei. Papillomatosis: Elongation of dermal papillae. Scale: Visibly cornified cells. Spongiosis: Intercellular edema. Telangiectasia: Dilated vessels. Vacuolar Change: Small separations above/below basement membrane.
+∀
+skin_specimen
+dermatopathologic_clue
+process_feature
+photosensitivity_process
+rubbing_process
+drug_reaction_process
+elastic_tissue_process
+deficiency_process
+fungal_infection_process
+folliculitis_process
-process_feature
+tissue_feature
+superficial_inflammation
+deep_inflammation
+busy_dermis
+stratum_corneum_absent
+filled_papillary_dermis
+papillary_microabscess
+basement_membrane_thickening
+middermal_infiltrate
+middermal_mucin
+epidermotropism
+exocytosis
+epidermal_follicular_vacuum_cleaner
+parakeratosis
+parakeratosis_follicular_lipping
+parakeratosis_spire
+interstitial_eosinophil
+bottom_heavy_infiltrate
+bare_underbelly_sign
+intraluminal_giant_cell
+intravascular_leukocyte
+apoptotic_keratinocyte
+collagen_bundle_vertical
+fibrillary_collagen_loose_pink
+erythrocyte_extravasation
+epidermal_pallor
+clear_cell_tumor
-tissue_feature
+disease_feature
+herpes_folliculitis
+grover_disease
+cicatricial_pemphigoid
+mycosis_fungoides
+pautrier_microabscess
+epidermotropism
+atypia_cytologic
+alopecia_areata
+androgenic_alopecia
+bullous_late
+granuloma_annulare
+necrobiosis_lipoidica
+trichoepithelioma
+kaposi_sarcoma
+bacillary_angiomatosis
-disease_feature
-dermatopathologic_clue
-skin_specimen
...
+skin_specimen
+location
+surface anatomy
+procedure
+biopsy
+excision_simple
+excision_radical
+size
+long_axis
+short_axis
+depth
+shape
+circular
+ellipse
+irregular
+epidermal_surface
+scar
+color
+ulcer
+size
+cut_surface
+∀
+∀
+length.
(cm intervals).
(nm intervals).
-length.
+∀
+mass
(mg intervals).
(g intervals).
-mass
+∀
+time.
-time.
+∀
+large_specimen_checklist.
+procedure.
+skin_procedure.
+biopsy.
+excision.
+colon_procedure.
+right_hemicolectomy.
+transverse_colectomy.
+left_hemicolectomy.
+abdominoperineal_resection.
+rectosigmoid_resection.
+total_abdominal_colectomy.
+sigmoidectomy.
+lung_procedure.
+kidney_procedure.
+prostate_procedure.
+size.
+dimension.
+dimension_greatest.
+dimension_middle.
+dimension_least.
+tumor_quantitation.
+tumor_configuration
+plaque_like.
+annular.
+ulcerating.
+infiltrative.
+site
+skin.
+colon.
+cecum.
+ascending_colon.
+hepatic_flexure.
+transverse_colon.
+splenic_flexure.
+descending_colon.
+sigmoid_colon.
+rectosigmoid.
+rectum.
+lung.
+kidney.
+prostate.
+laterality.
+left.
+right.
+bilateral.
+midline.
+laterality_not_specified.
+focality
+unifocal
+multifocal
+histologic_type.
+adenocarcinoma.
+mucinous_adenocarcinoma.
+signet_ring_adenocarcinoma.
+small_cell_carcinoma.
+squamous_cell_carcinoma.
+medullary_carcinoma.
+sarcomatoid_carcinoma.
+papillary_carcinoma.
+sarcomatoid_carcinoma.
+clear_cell_renal_cell_carcinoma.
+chromophil_renal_cell_carcinoma.
+chromophobe_renal_cell_carcinoma.
+urothelial_cell_carcinoma.
+undifferentiated_carcinoma.
+histologic_grade.
+low_grade.
+high_grade.
+gleason_score.
+fuhrman_nuclear_grade.
+surgical_margin.
+proximal_surgical_margin.
+involved_by_tumor.
-involved_by_tumor.
+distal_surgical_margin.
+involved_by_tumor.
-involved_by_tumor.
+circumferential_surgical_margin.
+involved_by_tumor.
-involved_by_tumor.
+invasion.
+lymphatic_invasion.
-present.
+present.
+venous_invasion.
-present.
+present.
+perineural_invasion.
-present.
+present.
+seminal_vesicle_invasion.
-present.
+present.
+pathologic_staging.
+pathologic_staging_tumor.
+pT0.
+pTIS.
+pT1.
+pT2.
+pT3.
+pT4.
+pathologic_staging_lymph_node.
+pN0.
+pN1.
+pN2.
+pathologic_staging_metastasis.
+pM0.
+pM1.
+pMX.
-large_specimen_checklist.
LOGIC OPERATORS
Zeman Our
notation notation Description
C ⇒ IMPLIES
K & AND
A | INCLUSIVE_OR, ALTERNATION
E ⇔ EQUALS
K - NOT
In traditional symbolic logic notation, the operators are INFIXed
between the subject and object, i.e., subject OPERATOR object.
For example, p IMPLIES q, denoted p ⇒ q; or
p AND q, denoted p & q.
p ⇒ (q ⇒ p).in traditional notation, and
CpCqpin Polish notation.
EXPANSION THEOREM.
--p ⇔ +p (Double Negative).
(+p ⇒ +q) ⇔ nandset {+p,-q} (Nandset).
(+p ⇒ +q) ⇔ (-p | q) (Whitehead_Russell Transformation).
(+p = +q) ⇔ (+p ⇒ +q) and (+q ⇒ +p) (Equivalence).
(+p | +q) ⇔ -(-p & -q) (DeMorgan's Rule).
(+p & +q) ⇔ -(-p | -q) (DeMorgan's Rule).
((+p & +q) | +r) ⇔ ((+p & +r) | (+p & +r)) (Distributive Rule).
((+p | +q) & +r) ⇔ ((+p | +r) & (+p & +r)). (Distributive Rule).
+p +p
+q ⇔ +q
+q
...
+p +p
+q ⇔ +s
... +r
+s +q
...
Proof:
It suffices to show:
{-p,-p,-p,+p,-s},
{-p,-p,-s,+p,-s},
{-p,-p,+r,+p,-s},
{-p,+s,-p,+p,-s},
{-p,+s,-s,+p,-s},
{-p,+s,+r,+p,-s},
{+q,-p,-p,+p,-s},
{+q,-p,-s,+p,-s},
{+q,-p,+r,+p,-s},
{+q,+s,-p,+p,-s},
{+q,+s,-s,+p,-s}, and
{+q,+s,+r,+p,-s}
are vacuous.
{-p,-p,-p,+p,+s,-r},
{-p,-p,-s,+p,+s,-r},
{-p,-p,+r,+p,+s,-r},
{-p,+s,-p,+p,+s,-r},
{-p,+s,-s,+p,+s,-r},
{-p,+s,+r,+p,+s,-r},
{+q,-p,-p,+p,+s,-r},
{+q,-p,-s,+p,+s,-r},
{+q,-p,+r,+p,+s,-r},
{+q,+s,-p,+p,+s,-r},
{+q,+s,-s,+p,+s,-r}, and
{+q,+s,+r,+p,+s,-r}
are vacuous.
{-p,-p,-p,+p,+s,+r,-q},
{-p,-p,-s,+p,+s,+r,-q},
{-p,-p,+r,+p,+s,+r,-q},
{-p,+s,-p,+p,+s,+r,-q},
{-p,+s,-s,+p,+s,+r,-q},
{-p,+s,+r,+p,+s,+r,-q},
{+q,-p,-p,+p,+s,+r,-q},
{+q,-p,-s,+p,+s,+r,-q},
{+q,-p,+r,+p,+s,+r,-q},
{+q,+s,-p,+p,+s,+r,-q},
{+q,+s,-s,+p,+s,+r,-q}, and
{+q,+s,+r,+p,+s,+r,-q}
are vacuous.
+p +p
+q ⇔ +s
+r +r
... ...
+q
+s
...
Proof:
It suffices to show that:
(((+p & +q) ⇒ +r)
&
((+p & +q) ⇒ +s))
⇒
((+p & +q) ⇒ +r)
{-p,-p,+p,+q,-r},
{-p,-q,+p,+q,-r},
{-p,+s,+p,+q,-r},
{-q,-p,+p,+q,-r},
{-q,-q,+p,+q,-r},
{-q,+s,+p,+q,-r},
{+r,-p,+p,+q,-r},
{+r,-q,+p,+q,-r}, and
{+r,+s,+p,+q,-r}
are vacuous.
+p +p
+q ⇔ +s
+r +r
+q
+s
+q
-s
Proof. IF. It suffices to show that:
(((+p & +q) ⇒ +r)
&
((+p & +q) ⇒ +s)
&
((+p & +q) ⇒ -s))
⇒
((+p & +q) ⇒ +r).
{-p,-p,-p,+p,+q,-r},
{-p,-p,-q,+p,+q,-r},
{-p,-p,-s,+p,+q,-r},
{-p,-q,-p,+p,+q,-r},
{-p,-q,-q,+p,+q,-r},
{-p,-q,-s,+p,+q,-r},
{-p,+s,-p,+p,+q,-r},
{-p,+s,-q,+p,+q,-r},
{-p,+s,-s,+p,+q,-r},
{-q,-p,-p,+p,+q,-r},
{-q,-p,-q,+p,+q,-r},
{-q,-p,-s,+p,+q,-r},
{-q,-q,-p,+p,+q,-r},
{-q,-q,-q,+p,+q,-r},
{-q,-q,-s,+p,+q,-r},
{-q,+s,-p,+p,+q,-r},
{-q,+s,-q,+p,+q,-r},
{-q,+s,-s,+p,+q,-r},
{+r,-p,-p,+p,+q,-r},
{+r,-p,-q,+p,+q,-r},
{+r,-p,-s,+p,+q,-r},
{+r,-q,-p,+p,+q,-r},
{+r,-q,-q,+p,+q,-r},
{+r,-q,-s,+p,+q,-r},
{+r,+s,-p,+p,+q,-r},
{+r,+s,-q,+p,+q,-r}, and
{+r,+s,-s,+p,+q,-r}
are vacuous.
{-p,-q,+r,+p,+p,+p},
{-p,-q,+r,+p,+p,+q},
{-p,-q,+r,+p,+p,+s},
{-p,-q,+r,+p,+q,+p},
{-p,-q,+r,+p,+q,+q},
{-p,-q,+r,+p,+q,+s},
{-p,-q,+r,+p,-p,+p},
{-p,-q,+r,+p,-p,+q},
{-p,-q,+r,+p,-p,+s},
{-p,-q,+r,+q,+p,+p},
{-p,-q,+r,+q,+p,+q},
{-p,-q,+r,+q,+p,+s},
{-p,-q,+r,+q,+q,+p},
{-p,-q,+r,+q,+q,+q},
{-p,-q,+r,+q,+q,+s},
{-p,-q,+r,+q,-p,+p},
{-p,-q,+r,+q,-p,+q},
{-p,-q,+r,+q,-p,+s},
{-p,-q,+r,-r,+p,+p},
{-p,-q,+r,-r,+p,+q},
{-p,-q,+r,-r,+p,+s},
{-p,-q,+r,-r,+q,+p},
{-p,-q,+r,-r,+q,+q},
{-p,-q,+r,-r,+q,+s},
{-p,-q,+r,-r,-p,+p},
{-p,-q,+r,-r,-p,+q}, and
{-p,-q,+r,-r,-p,+s}
are vacuous.
+cytogenetics
+male
+y_chromosome
-male
-y_chromosome
Alternatively:
+cytogenetics
+y_chromosome
+male
-y_chromosome
-male
According to the Strict Alternative Theorem, these two expressions
are equal. In a more general expression:
+p +p
+q +r
+r ⇔ +q
-q -r
-r -q
Proof. IF.
It suffices to show that
{-p,-p,+p,+r,-q},
{-p,+q,+p,+r,-q},
{-p,-r,+p,+r,-q},
{-q,-p,+p,+r,-q},
{-q,+q,+p,+r,-q},
{-q,-r,+p,+r,-q},
{+r,-p,+p,+r,-q},
{+r,+q,+p,+r,-q}, and
{+r,-r,+p,+r,-q}
are vacuous.
{-p,-p,+p,-r,+q},
{-p,+q,+p,-r,+q},
{-p,-r,+p,-r,+q},
{-q,-p,+p,-r,+q},
{-q,+q,+p,-r,+q},
{-q,-r,+p,-r,+q},
{+r,-p,+p,-r,+q},
{+r,+q,+p,-r,+q}, and
{+r,-r,+p,-r,+q}
are vacuous.
{-p,-p,+p,+q,-r},
{-p,+r,+p,+q,-r},
{-p,-q,+p,+q,-r},
{-q,-p,+p,+q,-r},
{-q,+r,+p,+q,-r},
{-q,-q,+p,+q,-r},
{+r,-p,+p,+q,-r},
{+r,+r,+p,+q,-r}, and
{+r,-q,+p,+q,-r}
are vacuous.
{-p,-p,+p,-q,+r},
{-p,+r,+p,-q,+r},
{-p,-q,+p,-q,+r},
{-q,-p,+p,-q,+r},
{-q,+r,+p,-q,+r},
{-q,-r,+p,-q,+r},
{+r,-p,+p,-q,+r},
{+r,+r,+p,-q,+r}, and
{+r,-q,+p,-q,+r}
are vacuous.
A1. CpApq. Proof: +p ⇒ (+p | +q).
Nandset {+p,-p,-q} is vacuous.
Live Proof. Click on the SUBMIT button (below).
2.139. CCpqCNANpqANpq.
Proof: (+p ⇒ +q) ⇒ (-(-p | +q) ⇒ (+p | +q)).
Nandsets {-p,+p,-q,+p,-q} and {+q,+p,-q,+p,-q} are vacuous.
2.140. CCpqNNANpq.
Proof: (+p ⇒ +q) ⇒ --(-p | +q).
Nandsets {-p,+p,-q} and {+q,+p,-q} are vacuous.
2.141. CNANpNqNCpNq.
Proof: -(-p | -q) ⇒ -(+p ⇒ -q).
Nandsets {+p,+q,-p} and {+p,+q,-q} are vacuous.
2.142. CpCNKpqNq.
Proof: +p ⇒ (-(+p & +q) ⇒ -q).
Nandsets {+p,-p,+q}ÿ20and {+p,-q,+q} are vacuous.
2.143. CNKpqCpNq.
Proof: -(+p & +q) ⇒ (+p ⇒ -q).
Nandsets {-p,+p,+q} and {-q,+p,+q} are vacuous.
2.144. CNANpNqNNKpq.
Proof: -(-p | -q) ⇒ --(+p & -q).
Nandsets {+p,+q,-p} and {+p,+q,-q} are vacuous.
2.145. CNNKpqNNp.
Proof: --(+p & -q) ⇒ --p.
Nandset {+p,+q,-p} is vacuous.
2.146. CNNKpqNNq.
Proof: --(+p & -q) ⇒ --q.
Nandset {+p,+q,-q} is vacuous.
2.147. CNNKpqKNNpNNq.
Proof: --(+p & -q) ⇒ (--p & --q).
Nandsets {+p,+q,-p} and {+p,+q,-q} are vacuous.
2.148. CCpNqCNNpNq.
Proof: (+p ⇒ -q) ⇒ (--p ⇒ -q).
Nandsets {-p,+p,+q} and {-q,+p,+q} are vacuous.
2.149. CNNpCCpNqNq.
Proof: --p ⇒ ((+p ⇒ -q) ⇒ -q).
Nandsets {+p,-p,+q} and {+p,-q,+q} are vacuous.
2.150. CNNpCNNqNCpNq.
Proof: --p ⇒ (--q ⇒ (--p ⇒ -q)).
Nandsets {+p,+q,-p} and {+p,+q,-q} are vacuous.
2.151. CKNNpNNqNCpNq.
Proof: (--p & --q) ⇒ -(+p ⇒ -q).
Nandsets {+p,+q,-p} and {+p,+q,-q} are vacuous.
2.152. ENNEpqKNNCpqNNCqp.
.....................
2.153. CCpNqNKpq.
Proof: (+p ⇒ -q) ⇒ -(+p & +q).
Nandsets {-p,+p,+q} and {-q,+p,+q} are vacuous.
2.154. CANpNqNKpq.
Proof: (-p | -q) ⇒ -(+p & +q).
Nandsets {-p,+p,+q} and {-q,+p,+q} are vacuous.
2.155. CNApqNp.
Proof: -(+p | +q) ⇒ -p.
Nandset {-p,-q,+p} is vacuous.
2.156. CNApqNq.
Proof: -(+p | +q) ⇒ -q.
Nandset {-p,-q,+q} is vacuous.
2.157. CNApqKNpNq.
Proof: -(+p | +q) ⇒ (-p & -q).
Nandsets {-p,-q,+p} and {-p,-q,+q} are vacuous.
2.158. CNpCApqq.
Proof: -p ⇒ ((+p | +q) ⇒ +q).
Nandsets {-p,+p,-q} and {-p,+q,-q} are vacuous.
2.159. CNpCNqNApq.
Proof: -p ⇒ (-q ⇒ -(+p | +q)).
Nandsets {-p,-q,+p} and {-p,-q,+q} are vacuous.
2.160. CKNpNqNApq.
Proof: ((-p & -q) ⇒ (+p | +q).
Nandset {+p,+q,-p,-q} is vacuous.
2.161. ENApqKNpNq.
(DeMorgan's Law.)
Proof: -(+p | +q) ⇒ (-p & -q);
and (-p & -q) ⇒ -(+p | +q).
Nandsets {-p,-q,+p} and {-p,-q,+q}; and {-p,-q,+p} and {-p,-q,+q}
are vacuous.
2.162. CApqCCpqq.
Proof: ((+p | +q) ⇒ ((+p ⇒ +q) ⇒ +q).
Nandsets {-p,+p,+q}, {-q,+p,+q}, {-p,-q,+q}, and {-q,-q,+q} are vacuous.
2.163. CCCpqqCCpqq.
Proof: ((+p ⇒ +q) ⇒ +q) ⇒ ((+p ⇒ +q) ⇒ +q).
Nandsets
are vacuous.
...............................
2.164. CCCpqqCNpq.
Proof: ((+p ⇒ +q) ⇒ +q) ⇒ (-p ⇒ +q).
Nandsets {+p,+q,-p,+q} and {-q,+q,-p,+q} are vacuous.
2.165. CCNpqNKNpNq.
Proof: (-p ⇒ +q) ⇒ -(-p & -q).
Nandsets {+p,-p,-q} and {+q,-p,-q} are vacuous.
2.166. CCNppp.
Proof: ((-p ⇒ +p) ⇒ +p).
Nandset {+p,+p,-p} is vacuous.
2.167. CNNpp.
Proof: (--p ⇒ +p).
Nandset {+p,-p} is vacuous.
2.168. EpNNp.
Proof: (+p = --p) is (+p ⇒ --p)
and (--p ⇒ p). Nandsets {+p,-p} and {+p,-p} are vacuous.
2.169. CCNpNqCNNqNNp.
Proof: (-p ⇒ -q) ⇒ (--q ⇒ --p).
Nandsets {+p,+q,-p} and {-q,+q,-p} are vacuous.
2.170. CCNpNqCqp.
Proof: (-p ⇒ -q) ⇒ (+q ⇒ +p).
Nandsets {+p,+q,-p} and {-q,+q,-p} are vacuous.
2.171. CCNpNNqCNqp.
Proof: (-p ⇒ --q) ⇒ (-q ⇒ +p).
Nandsets {+p,-q,-p} and {-q,-q,-p} are vacuous.
2.172. CCNpqCNqp.
Proof: (-p ⇒ +q) ⇒ (-q ⇒ +p).
Nandsets {+p,-q,-p} and {-q,-q,-p} are vacuous.
2.173. ApNp.
Proof: (+p | -p). Nandset {-p,+p} is vacuous.
2.174. CCpqANpq.
Proof: (+p ⇒ +q) ⇒ (-p | +q).
Nandsets {-p,+p,-q} and {-q,+p,-q} are vacuous.
2.175. CNNCpqANpq.
Proof: --(+p ⇒ +q) ⇒ (-p | +q).
Nandsets {-p,+p,-q} and {-q,+p,-q} are vacuous.
2.176. CNNKpqKpq.
Proof: --(+p & +q) ⇒ (+p & +q).
Nandsets {+p,-p,-q} and {+q,-p,-q} are vacuous.
2.177. CNKNpNqApq.
Proof: -(-p & -q) ⇒ (+p | +q).
Nandsets {+p,-p,-q} and {+q,-p,-q} are vacuous.
2.178. EANpNqNKpq.
(DeMorgan's Law.)
Proof: (-p | -q) ⇒ -(+p & +q);
and -(+p & +q) ⇒ (-p | -q).
Nandsets {-p,+p,+q} and {-q,+p,+q}; and {-p,+p,+q} and {-q,+p,+q}
are vacuous.
CN1. CCpqCCqrCpr.
Proof: (+p ⇒ +q) ⇒ ((+q ⇒ +r) ⇒ (+p ⇒ +r)).
Nandsets {-p,-q,+p,-r}, {-p,+r,+p,-r}, {+q,-q,+p,-r}, and {+q,+r,+p,-r}
are vacuous.
CN2. CpCNpq.
Proof: (+p ⇒ (-p ⇒ +q)).
Nandset {+p,-p,+q} is vacuous.
CN3. CCNppp.
Proof: ((-p ⇒ +p) ⇒ +p).
Nandsets {+p,-p} and {+p,-p} are vacuous.
KN1. CpKpp.
Proof: (+p ⇒ (+p & +p)).
Nandsets {+p,-p} and {+p,-p} are vacuous.
KN2. CKpqp.
Proof: ((+p & +q) ⇒ +p).
Nandset {+p,+q,-p} is vacuous.
KN3. CCpqCNKqrNKrp.
Proof: (+p ⇒ +q) ⇒ (-(+q & +r) ⇒ -(+r & +p)).
Nandsets
are vacuous.
...............................
5.72. CLKpqLp.
Proof: (+□(+p&+q)) ⇒ +□+p.
Nandsets {+$p,+$q,+p,+q,-$p} and {+$p,+$q,+p,+q,-p}
are vacuous.
5.73. CLKpqLp.
Proof: (+□(+p&+q)) ⇒ +□+q.
Nandsets {+$p,+$q,+p,+q,-$q} and {+$p,+$q,+p,+q,-q} are vacuous.
5.74. CLKpqKLpLq.
Proof: (+□(+p&+q)) ⇒ (+□+p & +□+q).
Nandsets {+$p,+$q,+p,+q,-$p}, {+$p,+$q,+p,+q,-p}, {+$p,+$q,+p,+q,-$q},
and {+$p,+$q,+p,+q,-q} are vacuous.
5.78. CLpCLqLKpq.
Proof: (+□+p) ⇒ ((+□+q) ⇒ (+□(+p&+q)).
Nandsets {+$p,+p,+$q,+q,-$p}, {+$p,+p,+$q,+q,-$q}, {+$p,+p,+$q,+q,-p},
and {+$p,+p,+$q,+q,-q} are vacuous.
5.79. CKLpLqLKpq.
Proof: (+□+p &+□+q) ⇒ (+□(+p &+q)).
Nandsets {+$p,+p,+$q,+q,-$p}, {+$p,+p,+$q,+q,-$q}, {+$p,+p,+$q,+q,-p},
and {+$p,+p,+$q,+q,-q} are vacuous.
5.80. ELKpqKLpLq.
Proof: +□(+p&+q) ⇔ (+□+p & +□+q).
Nandsets {+$p,+$q,+p,+q,-$p}, {+$p,+$q,+p,+q,-p}, {+$p,+$q,+p,+q,-$q},
{+$p,+$q,+p,+q,-q}, {+$p,+p,+$q,+q,-$p}, {+$p,+p,+$q,+q,-$q},
{+$p,+p,+$q,+q,-p}, and {+$p,+p,+$q,+q,-q} are vacuous.
5.83. CALpLqLApq.
Proof: (+□+p|+□+q) ⇒ +□(+p|+q).
I CAN'T MAKE THIS PROOF WORK, ALTHOUGH I CAN PROVE THE CONVERSE.
NOTE: CpLp is not necessarily true, but CpMp is always
true in GWM modal logic. However (Zeman, p. 89), there are some modal logics
where CpMp is not necessarily true.
ADDITIONAL GWMML THEOREMS AND PROOFS.
GWM1. CpMp. +p ⇒ +◇+p.
Proof: Nandset {+p,+$p,-p} is vacuous.
GWM2. CLpLp. +□+p ⇒ +□+p.
Proof: Nandsets {-$p,-p,+$p} and {-$p,-p,+p} are vacuous.
GWM3. CLpMp. +□+p ⇒ +◇+p.
Proof: Nandset {-$p,-p,+$p,+p} is vacuous.
GWM4. CCLpMNpLNp. ((+□+p ⇒ +◇+p)
⇒ +◇+p).
Proof: Nandsets {-$p,+$p,+p} and {-p,+$p,+p} are vacuous.
| Counter- Example | Rule 4: Hippocratic |
Rule 5: Conative | Rule 6: Vexative |
Rule 7a: Ontologic | Rule 7b: Ontologic |
Rule 8a: Data Registration |
Rule 8b: Data Registration |
Rule 8c: Data Registration |
Rule 8d: Data Registration |
Rule 9: Schrödinger Opening |
|---|---|---|---|---|---|---|---|---|---|---|
| {-$∞p, | ┅ | {-$∞p, | {-$∞p, | {+$∞p, | {+$∞p, | ┅ | ┅ | ┅ | ┅ | {+$∞p} |
| -#p, | {-#p, | +#p, | -#p, | ┅ | ┅ | ┅ | ┅ | ┅ | ┅ | ┅ |
| -!p, | +!p} | -!p} | ┅ | ┅ | ┅ | ┅ | ┅ | ┅ | ┅ | ┅ |
| ±p, | ┅ | ┅ | ┅ | ±p, | ±p, | ┅ | ┅ | ┅ | ┅ | ┅ |
| +e, | ┅ | ┅ | +e, | -e, | ┅ | ┅ | ┅ | ┅ | ┅ | ┅ |
| +$ke, | ┅ | ┅ | +$ke, | ┅ | -$ke} | ┅ | ┅ | ┅ | ┅ | {-$ke} |
| -$k+1e, | ┅ | ┅ | -$k+1e} | -$k+1e} | ┅ | ┅ | ┅ | ┅ | ┅ | {+$k+1e} |
| . | . | . | . | . | . | . | . | . | . | . |
| -$∞q, | ┅ | {-$∞q, | {-$∞q, | {+$∞q, | {+$∞q, | ┅ | {+$∞q} | ┅ | ┅ | {+$∞q} |
| +#q, | {-#q, | +#q, | -#q, | ┅ | ┅ | ┅ | ┅ | ┅ | ┅ | ┅ |
| +!q, | +!q} | -!q} | ┅ | ┅ | ┅ | ┅ | {-!q} | ┅ | ┅ | ┅ |
| ±q, | ┅ | ┅ | ┅ | ±q, | ±q, | ┅ | ┅ | ┅ | ┅ | ┅ |
| +e, | ┅ | ┅ | +e, | -e, | ┅ | ┅ | ┅ | ┅ | ┅ | ┅ |
| +$ke, | ┅ | ┅ | +$ke, | ┅ | -$ke} | ┅ | ┅ | ┅ | ┅ | {-$ke} |
| -$k+1e, | ┅ | ┅ | -$k+1e} | -$k+1e} | ┅ | ┅ | ┅ | ┅ | ┅ | {+$k+1e} |
| . | . | . | . | . | . | . | . | . | . | . |
| +$∞r, | ┅ | {-$∞r, | {-$∞r, | {+$∞r, | {+$∞r, | ┅ | ┅ | {-$∞r} | ┅ | {+$∞r} |
| +#r, | {-#r, | +#r, | -#r, | ┅ | ┅ | ┅ | ┅ | ┅ | ┅ | ┅ |
| +!r, | +!r} | -!r} | ┅ | ┅ | ┅ | ┅ | ┅ | {-!r} | ┅ | ┅ |
| -r, | ┅ | ┅ | ┅ | -r, | -r, | ┅ | ┅ | {+r} | ┅ | ┅ |
| +e, | ┅ | ┅ | +e, | -e, | ┅ | ┅ | ┅ | ┅ | ┅ | ┅ |
| +$ke, | ┅ | ┅ | +$ke, | ┅ | -$ke} | ┅ | ┅ | ┅ | ┅ | {-$ke} |
| -$k+1e, | ┅ | ┅ | -$k+1e} | -$k+1e} | ┅ | ┅ | ┅ | ┅ | ┅ | {+$k+1e} |
| . | . | . | . | . | . | . | . | . | . | . |
| +$∞s, | ┅ | {-$∞s, | {-$∞s, | {+$∞s, | {+$∞s, | ┅ | ┅ | ┅ | {-$∞s} | {+$∞s} |
| +#s, | {-#s, | +#s, | -#s, | ┅ | ┅ | ┅ | ┅ | ┅ | ┅ | ┅ |
| +!s, | +!s} | -!s} | ┅ | ┅ | ┅ | ┅ | ┅ | ┅ | {-!s} | ┅ |
| +s, | ┅ | ┅ | ┅ | +s, | +s, | ┅ | ┅ | ┅ | {-s} | ┅ |
| +e, | ┅ | ┅ | +e, | -e, | ┅ | ┅ | ┅ | ┅ | ┅ | ┅ |
| +$ke, | ┅ | ┅ | +$ke, | ┅ | -$ke} | ┅ | ┅ | ┅ | ┅ | {-$ke} |
| -$k+1e, | ┅ | ┅ | -$k+1e} | -$k+1e} | ┅ | ┅ | ┅ | ┅ | ┅ | {+$k+1e} |
+embryogenesis
+preimplantation
+gametogenesis
+primary_meiotic_division
+primary_meiotic_prophase
+primary_meiotic_metaphase
+primary_meiotic_anaphase
+primary_meiotic_telophase
+primary_meiotic_daughter_cell
+secondary_meiotic_division
+secondary_meiotic_prophase
+secondary_meiotic_metaphase
+secondary_meiotic_anaphase
+secondary_meiotic_telophase
+secondary_meiotic_daughter_cell
+ovulation
+fertilization
+morula
+implantation
+blastocyst
+inner_cell_mass=+embryoblast
+outer_cell_mass=+trophoblast
+blastocyst_cavity
+bilaminar_germ_disc
-embryo
+embryo
+extracelomic_cavity=+primary_yolk_sac
+endoderm
+ectoderm
+amnionic_cavity
+amnioblast
+trilaminar_germ_disc
-embryo
+embryo
+amnionic_cavity
+ectoderm
+ordinary_ectoderm
+neurectoderm
+primitive_streak
+primitive_pit
+notochord
+neurenteric_canal
+neural_fold
+neural_plate
+mesoderm
+mesoderm_intraembryonic
+mesoderm_extraembryonic
+mesoderm_intermediate
+somite
+dermatome
+dermis
+connective_tissue
+cartilage
+bone
+myotome
+skeletal_muscle
+smooth_muscle
+myocardial_muscle
+nephrotome
+nephric_tubule
+internal_glomerulus
+external_glomerulus
+pronephros
+vestigial
+mesonephros
+ovary_stroma
+testis_stroma
+metanephros
+kidney
+endoderm
+body_system
+ectoderm
+ordinary_ectoderm
+epidermis
+hair
+nail
+eccrine_sweat_gland
+apocrine_sweat_gland
+sebaceous_gland
+tooth enamel
+epithelial_lining
+neurectoderm
+central_nervous_system
+peripheral_nervous_system
+sensory_epithelium
+hypophysis
+adrenal_medulla
+mesoderm
+dermis
+connective_tissue
+cartilage
+bone
+muscle
+skeletal_muscle
+smooth_muscle
+myocardial_muscle
+blood_element
+lymph_element
+adrenal_cortex
+spleen
+endoderm
+blood_vessel_endothelium
+allantois
+allantoic_duct_remnant
+respiratory_epithelium
+respiratory_epithelium_pharyngeal
+respiratory_epithelium_tracheobronchial
+respiratory_epithelium_alveolar
+tonsillar_parenchyma
+thyroid_parenchyma
+parathyroid_parenchyma
+thymus_parenchyma
+hepatic_parenchyma
+pancreatic_parenchyma
+urothelium
+urinary_bladder_urothelium
+urethral_urothelium
+tympanic_membrane
+eustachian_tube
+esophageal_epithelium
+gastric_epithelium
+small_intestinal_epithelium
+colonic_epithelium
+primitive_yolk_sac
+omphalomesenteric_duct
+omphalomesenteric_duct_remnant
+∀
+skin_disease_recognition
+major_tissue_reaction_noninfectious_inflammatory_pattern
+lichenoid_pattern <A>
+lichen_planus_lp
+civatte_body_prominent
+band_like_inflammation
+wedge_hypergranulosis
+hypertrophic_form
+lichen_simplex_chronicus
+orthokeratosis_compact
+hypergranulosis
+parakeratosis_focal
+psoriasiform_hyperplasia
+papillomatosis_mild
+papillary_dermis_thickening
+lichen_planus_variant_lp_variant
+lichen_planus_atrophic
+lichen_planus_hypertrophic
+lichen_planus_linear
+lichen_planus_ulcerative
+lichen_planus_erythematosus
+lichen_planus_erythema_dyschromicum_perstans
+lichen_planus_actinicus
+lichen_planus_planopilaris_lpp
+lichen_planus_pemphigoides
+lichen_planus_keratosis_chronica
=+lichenoid_benign_keratosis_lbk
+lichen_planus_lupus_erythematosus_overlap_lp_le
+lichen_nitidus
+papular_lichenoid
+acanthosis
+lichen_striatus
+linear
+irregular_lichenoid_reaction
+follicular_infiltrate
+eccrine_infiltrate
+lichen_planus_like_keratosis
=+lichenoid_benign_keratosis_lbk
+lichen_planus_like_keratosis
+solitary
+civatte_body_prominent
+solar_lentigo
+lichenoid_drug_eruption
+parakeratosis_focal
+eosinophilia
+plasmacytosis
+melanin_incontinence
+fixed_drug_eruption_lichenoid
+interface_infiltrate_obscuring
+neutrophilia
+cell_death_above_stratum_basale
+interface_dermatitis_pattern <B>
+erythema_multiforme_em
+interface_infiltrate_obscuring
+subepidermal_vesiculation
+cell_death_variable
+graft_vs_host_disease_gvhd
+basal_vacuolation
+apoptotic_keratinocyte
+satellite_cell_necrosis
+apoptotic_keratinocyte
+lymphocytic_infiltrate_variable
+lupus_erythematosus_le
+basal_vacuolation
+cell_death_minimal
+mucin
+follicular_plugging
+basement_thickening
+dermatomyositis
+basal_vacuolation
+epidermal_atrophy
+dermal_mucin
+interface_infiltrate_superficial
+poikiloderma
+basal_vacuolation
+telangiectasia
+pigment_incontinence
+dermal_sclerosis_late
+pityriasis_lichenoides
+lymphocytic_vasculitis
+epidermal_cell_death
+interface_infiltrate_obscuring
+hemorrhage_focal
+parakeratosis_focal
+paraneoplastic_pemphigus
+interface_infiltrate_obscuring
+subepidermal_vesiculation
+cell_death_variable
+acantholysis_surabasal
+clefting
+clefting_subepidermal
+eruption_lymphocyte_recovery
+maculopapular_eruption
+cytoreductive_therapy
+acute_myelogenous_leukemia
+microscopic
+upper_dermal_t_cell_infiltrate
+vascular_dilation
+apoptotic_keratinocyte
+satellite_cell_necrosis
+apoptotic_keratinocyte
+pautrier_microabscess
+aids_interface_dermatitis
+hiv_disease
+microscopic
+interface_infiltrate_obscuring
+subepidermal_vesiculation
+cell_death_variable
+lupus_erythematosus
+microscopic
+interface_infiltrate
+dermatomyositis
+poikiloderma_congenitale
+hereditary_sclerosing_poikiloderma
+kindler_syndrome
+congenital_telangiectatic_erythema
+lichen_sclerosus_atrophicus_lsa
+dyskeratosis_congenita
+pityriasis_lichenoides_acuta
+pityriasis_lichenoides_chronica
+persistent_viral_reaction
+perniosis
+paraneoplastic_pemphigus
+primary_neoplasm
+very_rare
+secondary_syphilis
+prominent_plasma_cells
+lichenoid_purpura
+lichenoid_contact_dermatitis
+secondary_syphilis_late
+very_rare
+prominent_plasma_cells
+porokeratosis
+very_rare
+drug_eruption
+phototoxic_dermatitis_photoallergic
+prurigo_pigmentosa
+erythroderma
+very_rare
+mycosis_fungoides
+very_rare
+pautrier_microabscess
+mycosis_fungoides
+pautrier_microabscess
+epidermotropism
+atypia_cytologic
+regressing_verucca
+regressing_tumor
+lichen_amyloidosus
+vitiligo
+lichenoid_tattoo_reaction
+psoriasiform_pattern <C>
+psoriasis
+psoriasis_treated
+aids_associated_psoriasiform_dermatitis
=+pruritic_papular_eruption_aids
+pustular_psoriasis
+reiter_syndrome
+pityriasis_rubra_pilaris_prp
+orthokeratosis_diffuse
+follicular_plugging
+parakeratosis_mild
+acanthosis_spotty
+hypergranulosis
+spongiosis_mild
+perivascular_infiltrate
+very_rare
+acantholytic_dyskeratosis_focal
+very_rare
+parapsoriasis
+lichen_simplex_chronicus_lsc
+orthokeratosis_compact
+hypergranulosis
+parakeratosis_focal
+psoriasiform_hyperplasia
+papillomatosis_mild
+papillary_dermis_thickening
+subacute_chronic_spongiotic_dermatitis
+very_rare
+subacute_chronic_spongiotic_dermatitis
+spongiosis
+eosinophilia
+plasmacytosis
+erythroderma
+very_rare
+erythroderma
+psoriasiform_hyperplasia
+spongiosis_mild
+mycosis_fungoides
+very_rare
+pautrier_microabscess
+mycosis_fungoides
+pautrier_microabscess
+epidermotropism
+atypia_cytologic
+candidosis
+dermatophytosis
+inflammatory_linear_verrucous_epidermal_nevus_ilven
+norwegian_scabies
+bowen_disease_psoriasiform_variant
+clear_cell_acanthoma
+lamellar_ichthyosis
+pityriasis_rosea_pr
+pellagra
+psoriasiform_acanthosis
+orthokeratosis
+parakeratosis_focal
+acrodermatitis_enteropathica
+glucagonoma_syndrome
+migratory_erythema_migratory
+secondary_syphilis
+spongiotic_pattern <D>
+neutrophilic_spongiosis
+pustular_psoriasis
+iga_pemphigus
+infantile_acropustulosis
+acute_generalized_exanthematous_pustulosis
+palmoplantar_pustulosis
+dermatophytosis
+candidosis
+beetle_dermatitis
+insect_bite_reaction
+arthropod_bite_reaction
+pustular_contact_dermatitis
+eosinophilic_spongiosis
+pemphigus_precursor
+very_rare
+herpetiform_pemphigus
+pemphigus_vegetans
+bullous_pemphigoid
+idiopathic_eosinophilic_spongiosis
+eosiniphilic_polymorphic_pruritic_eruption
+allergic_contact_dermatitis
+protein_contact_dermatitis
+arthropod_bite
+eosinophilic_folliculitis
=+ofugi_disease
+incontinentia_pigmenti
+miliarial_spongiosis
+miliaria
+follicular_spongiosis
+infundibulofolliculitis
+atopic_dermatitis_follicular
+apocrine_miliaria
+eosinophilic_folliculitis
=+ofugi_disease
+irregular_spongiosis
+irritant_contact_dermatitis
+allergic_contact_dermatitis
+nummular dermatitis
+sulzberger_garbe_syndrome_???????????????
+seborrheic_dermatitis
+atopic_dermatitis_eczema
+papular_dermatitis
+pompholyx_dyshidrotic_eczema
+hyperkeratotic_dermatitis_hand
+very_rare
+juvenile_plantar_dermatosis
+vein_graft_donor_site_dermatitis
+stasis_dermatitis
+autoeczematization
+pityriasis_rosea
+papular_acrodermatitis_childhood
+spongiotic_drug_reaction
+chronic_superficial_dermatitis
+very_rare
+blaschko_dermatitis_?????????????????????
+psoriasis_spongiotic
+light_reaction_photoallergic_phototoxic
+dermatophytosis
+arthropod_bite
+grover_disease_spongiotic_transient_acantholytic_dermatosis_tad
+toxic_shock_syndrome
+pruritic_urticarial_papule_plaque_pregnancy_puppp
+pregnant
+erythema_annulare_centrifugum_eac
+pigmented_purpuric_dermatosis
+very_rare
+pityriasis_alba
+eruption_lymphocyte_recovery
+lichen_striatus
+erythroderma
+very_rare
+mycosis_fungoides
+very_rare
+pautrier_microabscess
+mycosis_fungoides
+pautrier_microabscess
+epidermotropism
+atypia_cytologic
+mycosis_fungoides
+pautrier_microabscess
+very_rare
+vesiculobullous_pattern <E>
+intracorneal_subcorneal_blister
+skin_peeling_syndrome
+impetigo
+staphylococcal_scalded_skin_syndrome_ssss
+dermatophytosis
+pemphigus_foliaceus
+pemphigus_erythematosus
+herpetiform_pemphigus
+subcorneal_pustular_dermatosis
+iga_pemphigus
+very_rare
+infantile_pustular_dermatosis
+acute_generalized_exanthematous_pustulosis
+miliaria_crystallina
+intraepidermal_blister
+spongiotic_blister_disease
+palmoplantar_pustulosis
+amicrobial_pustulosis_autoimmune
+viral_blister_disease
+epidermolysis_bullosa
+friction_blister
+suprabasilar_blister
+pemphigus_vulgaris_pv
+pemphigus_vegetans_pve
+paraneoplastic_pemphigus_parane_pemphigus
+hailey_hailey_disease_hhd
+darier_disease_keratosis_follicularis
+grover_disease_tad
+acantholytic_solar_keratosis
+subepidermal_blister_pauciinflammatory
+epidermolysis_bullosa_eb
+porphyria_cutanea_tarda_pct
+pseudoporphyria
+bullous_pemphigoid_cell_poor
+burn
+burn_second_degree
+burn_third_degree
+cryotherapy
+toxic_epidermal_necrolysis_ten
+suction_blister
+blister_over_scar
+bullous_solar_elastosis
+bullous_amyloidosis
+waldenstrom_macroglobulinemia
+drug_reaction
+kindler_syndrome_??????????????????
+subepidermal_blister_lymphocytic
+erythema_multiforme_em
+paraneoplastic_pemphigus
+bullous_fixed_drug_reacdtion
+lichen_sclerosus_et_atrophicus_lsa
+lichen_planus_pemphigoides
+polymorphous_light_eruption
+fungal_infection
+dermal_allergic_contact_dermatitis
+bullous_leprosy
+very_rare
+foamy_macrophages_afb_positive
+bullous_mycosis_fungoides
+very_rare
+pautrier_microabscess
+bullous_mycosis_fungoides
+pautrier_microabscess
+epidermotropism
+atypia_cytologic
+subepidermal_blister_eosinophilic
+wells_syndrome
+bullous_pemphigoid_bp
+pemphigoid_gestationis
+pregnant
+herpes_gestationis
+pregnant
+arthropod_bite
+drug_reaction
+epidermolysis_bullosa_eb
+subepidermal_blister_neutrophilic
+dermatitis_herpetiformis_dh
+linear_iga_bullous_dermatosis
+cicatricial_pemphigoid
+ocular_cicatricial_pemphigoid
+very_rare
+localized_cicatricial_pemphigoid
+very_rare
+deep_lamina_lucida_pemphigoid
+anti_p200_pemphigoid
+bullous_urticaria
+bullous_acute_vasculitis
+bullous_lupus_erythematosus_ble
+erysipelas
+sweet_syndrome
=+acute_neutrophilic_dermatosis
+epidermolysis_bullosa_acquisita
+subepidermal_blister_mast_cell
+bullous_urticaria_pigmentosa
+irregular_blister_disease
+drug_overdose_bulla
+methyl_bromide_bulla
+etretinate_bulla
+puva_bulla
+very_rare
+puva
+cancer_bulla
+lymphatic_bulla
+diabetic_bulla
+granulomatous_pattern_noncaseating_epithelioid <F>
+sarcoidal_granuloma
+sarcoidosis
+blau_syndrome
+foreign_body
+foreign_body_polarizing
+foreign_body_nonpolarizing
+syphilis_secondary
+very_rare
+sezary_syndrome
+very_rare
+herpes_zoster_scar
+systemic_lymphoma
+very_rare
+variable_immunodeficiency
+very_rare
+tuberculoid_granuloma
+tuberculosis
+tuberculid
+leprosy_indeterminate
+foamy_macrophages_afb_positive
+syphilis_late
+leishmaniasis
+protothecosis
+rosacea
+perioral_dermatitis
+lupus_miliaris_disseminatus_faciei
+crohn_disease
+necrobiotic_granuloma
+granuloma_annulare_ga
+necrobiosis_lipoidica_diabeticorum_nld
+diabetes_mellitus
+necrobiotic_xanthogranuloma_nxd
+rheumatoid_nodule_rn
+foreign_body_reaction
+vaccine_reaction
+suppurative_granuloma
+chromomycosis
+pheohyphomycosis
+sporotrichosis
+mycobacteriosis_nontuberculous_atypical
+blastomycosis
+paracoccidioidomycosis
+coccidioidomycosis
+blastomycosis_like_pyoderma
+nocardiosis
+actinomycosis
+cat_scratch_disease
+lymphogranuloma_venereum_lgv
+pyoderma_gangrenosum
+ruptured_cyst
+ruptured_follicle
+foreign_body_granuloma
+foreign_body_exogenous
+polarizable
+suture
+silica
+glass
+talc
+injection_granuloma
+very_rare
-polarizable
+beryllium
+zirconium
+very_rare
+foreign_body_endogenous
+epidermal_inclusion_cyst_ruptured
+pilar_cyst_ruptured
+irregular_granuloma
+melkerson_rosenthal_syndrome
+very_rare
+cutaneous_histiocytic_lymphangitis
+very_rare
+elastolytic_granuloma
+very_rare
+annular_granuloma_ochronosis
+very_rare
+granuloma_immunodeficiency
+very_rare
+interstitial_granulomatous_dermatitis
+very_rare
+interstitial_granulomatous_drug_reaction
+very_rare
+granulomatous_t_cell_lymphoma
+very_rare
+vasculopathic_pattern <G>
+noninflammatory_purpura
+traumatic_purpura
+psychogenic_purpura
+very_rare
+purpuric_drug_reaction
+bleeding_diathesis
+senile_purpura
+vascular_occlusive_disease
+fibrin
+warfarin_necrosis
+livedoid_vasculopathy
+disseminated_intravascular_coagulopathy_dic
+purpura_fulminans
+thrombotic_thrombocytic_purpura_ttp
+thrombocythemia
+cryoglobulinemia
+cholesterol_embolism
+antiphospholipid_syndrome_sle
+factor_5_leiden_mutation
+very_rare
+sneddon_syndrome
+meningococcemia
+gonococcemia
+cerebral_autosomal_dominant_arteriopathy_subcortical_infarct_leukoencephalopathy_cadasil
+very_rare
+acute_vasculitis
+leukocytoclastic_vasculitis_lct
+henoch_schoenlein_purpura
+eosinophilic_vasculitis
+very_rare
+rheumatoid_vasculitis
+urticarial_vasculitis
+mixed_cryoglobulinemia
+hypergammaglobulinemic_purpura
+hypergammaglobulinemic_d_syndrome
+septic_vasculitis
+erythema_elevatum_diutinum
+granuloma_faciale
+localized_chronic_fibrosing_vasculitis
+microscopic_polyangiitis
+polyarteritis_nodosa
+kawasaki_disease
+superficial_thrombophlebitis
+irregular_condition
+neutrophilic_dermatosis
+sweet_syndrome
+bowel_associated_dermatosis_arthritis_syndrome
+rheumatoid_neutrophic_dermatosis
+acute_generalized_pustulosis
+behcet_disease
+abscess_forming_neutrophilic_dermatosis
+chronic_lymphocytic_vasculitis
+toxic_erythema
+connective_tissue_disease
+pruritic_urticarial_papule_plaque_pregnancy_puppp
+pregnant
+prurigo_pregnancy
+pregnant
+gyrate_erythema
+annular_erythema
+pityriasis_lichenoides
+pigmented_purpuric_dermatosis
+malignant_atrophic_papulosis_degos
+perniosis
+rickettsial_infection
+viral_infection
+pyoderma_gangrenosum
+polymorphous_light_eruption
+tumor_necrosis_factor_receptor_associated_periodic_syndrome_traps
+sclerosing_lymphangitis_penis
+leukemic_vasculitis
+vasculitis_granulomatosis
+crohn_disease
+drug_reaction
+herpes_zoster
+infectious_granulomatous_disease
+wegener_granulomatosis
+lymphomatoid_granulomatosis
+allergic_granulomatosis
+lethal_midline_granuloma
+giant_cell_arteritis
+takayasu_arteritis
+irregular_vasculitis
+vascular_calcification
+pericapillary_fibrin_cuff
+vascular_aneurysm
+erythermalgia
+cutaneous_necrosis
+cutaneous_ulceration
+minor_tissue_reaction_noninflammatory
+epidermolytic_hyperkeratosis
+bullous_ichthyosiform_erythroderma
+epidermal_nevus
+palmoplantar_keratoderma
+epidermolytic_acanthoma
+disseminated_epiderolytic_acanthoma
+nevoid_follicular_hyperkeratosis
+actinic_keratosis
+acantholytic_dyskeratosis
+darier_disease
+epidermal_nevus
+grover_disease
+warty_dyskeratoma
+acantholytic_actinic_keratosis
+cornoid_lamellation
+
+papillomatosis <H>
+seborrheic_keratosis_sk
+acrokeratosis_verruciformis
+verruca_vulgaris_vv
+epidermodysplasia_verruciformis_ev
+verruca_plana_vp
+stucco_keratosis
+tar_keratosis
+very_rare
+bowen_disease_sccis
+arsenical_keratosis_arker
+actinic_keratosis_hypertrophic_hak
+acanthosis_nigricans
+reticulated_papillomatosis
+epidermal_nevus
+verrucous_carcinoma
+keratosis_follicularis_spinulosa
+digitate_keratosis
+hyperkeratosis_lenticularis
+rubbed_skin
+very_rare
+scratched_skin
+very_rare
+acral_angiofibroma <I>
+adenoma_sebaceum
+angiofibroma_men1
+very_rare
+angiofibroma_neurofibromatosis
+subungual_fibroma
+periungual_fibroma
+acquired_acral_fibrokeratoma
+fibrous_papule_face
+pearly_penile_papule
+familial_myxovascular_fibroma
+eosinophilic_cellulitis <J>
+wells_syndrome
+arthropod_bite
+internal_cancer
+bullous_pemphigoid
+dermatitis_herpetiformis
+trichophyton_rubra
+transpithelial_elimination <K>
+necrobiosis_lipoidica_nld
+necrobiotic_xanthogranuloma_nxg
+perforating_folliculitis
+pseudoxanthoma_elasticum_pxe
+elastosis_perforans_serpiginosa_eps
+reactive_perforating_collagenosis
+calcaneal_petechia
+very_rare
+amyloidosis
+chondrodermatatis_nodularis_helicis_chronica_cnhc
+urate_crystal
=+gouty_tophus
+calcinosis_cutis
+osteoma_cutis
+deep_mycosis
+cutaneous_tuberculosis
+blastomycosis_like_pyoderma
+very_rare
+granuloma_inguinale
+sarcoidosis
+very_rare
+foreign_body_granuloma
+suture_material
+very_rare
+lichen_nitidus
+very_rare
+papular_mucinosis
+very_rare
+acne_keloidalis_nuchae
+very_rare
+solar_elastosis
+very_rare
+cryotherapy_injury
+very_rare
+calcaneous_tumor
+very_rare
+absent_stratum_corneum
+staphylococcal_scalded_skin_syndrome
+pemphigus_foliacius
+peeling_skin_syndrome
+psoriatic_erythroderma
+processing_artefact
+dermis_focally_hypercellular_busy
+granuloma_annulare_incomplete
+granulomatous_dermatitis
+granulomatous_drug_reaction
+vasculitis_resolving
+photodermatosis_chronic
+folliculitis
+breast_carcinoma_metastatic
+desmoplastic_melanoma
+kaposi_sarcoma_early_patch
+filled_papillary_dermis
+lichenoid_reaction
+purpuric_dermatosis_pigmented
+cutaneous_t_cell_lymphoma
+parapsoriasis
+mastocytoma
+lichen_sclerosus_et_atrophicus_early
+basement_membrane_thickened
+lupus_erythematosus
+dermatomyositis
+lichen_sclerosus_et_atrophicus
+middermal_infiltrate_mucin
+cutaneous_lupus_erythematosus
+reticular_erythematous_mucinosis
+apoptotic_keratinocyte
+lichenoid_tissue_reaction
+drug_reaction
+light_reaction
+resolving_viral
+aids_sebopsoriasis
+incontinentia_pigmenti
+bowen_disease
+excoriation
+glucagonoma_syndrome
+bazex_syndrome
+extravasated_erythrocyte
+vasculitis
+purpuric_eruption_pigmented
+drug_eruption
+viral_infection
+rickettsial_infection
+septicemia
+erysipelas
+arthropod_bite
+pityriasis_rosea
+bleeding diathesis
+scurvy
+kaposi_sarcoma
+lichen_sclerosus_et_atrophicus
+biopsy_trauma
+epidermal_cell_pallor
+pellagra
+acrodermatitis_enteropathica
+glucagonoma
+hartnup_disease
+lactate_dehydrogenase_deficiency_m_subunit
+acroerythema
+spongiotic_disease
+clear_cell_acanthoma
+clear_cell_acanthosis
+clear_cell_papulosis
+pagetoid_dyskeratosis
+colloid_keratosis
+clear_cell_tumor
+epidermal_clear_cell_tumor
+clear_cell_acanthoma
+bowen_disease
+basal_cell_carcinoma
+squamous_cell_carcinoma
+adnexal_clear_cell_tumor
+paget_disease
+clear_cell_syringoma
+clear_cell_hidradenoma
+clear_cell_hidradenocarcinoma
+clear_cell_eccrine_adenocarcinoma
+clear_cell_myoepithelioma
+tricholemmal_carcinoma
+sebaceous_adenoma
+sebaceous_carcinoma
+nevomelanocytic_clear_cell_tumor
+balloon_cell_nevus
+balloon_cell_melanoma
+clear_cell_melanoma
+clear_cell_sarcoma
+mesenchymal_clear_cell_tumor
+clear_cell_dermatofibroma
+clear_cell_atypical_fibroxanthoma
+clear_cell_fibrous_papule
+salivary_gland_clear_cell_tumor
+acinic_cell_carcinoma
+hyalinizing_clear_cell_carcinoma
+clear_cell_mucoepidermoid_carcinoma
+metastatic_clear_cell_tumor
+renal_cell_carcinoma
+breast_carcinoma
+hepatocellular_carcinoma
+adenocarcinoma_lung
+mesothelioma
+tissue_reaction_pattern_inflammation
+papillary_microabscess
+dermatitis_herpetiformis
+linear_iga_disease
+cicatricial_pemphigoid
+cicatricial_pemphigoid_localized
+bullous_lupus_erythematosus
+epidermolysis_bullosa_acquisita
+drug_reaction
+hypersensitivity_vasculitis
+rare
+rheumatoid_neutrophilic_dermatosis
+pemphigoid_gestationis
+pregnant
+eosinophilia
+deep_lamina_lucida_pemphigoid
+exanthematous_pustulosis_generalized
+rare
+interstitial_eosinophil
+arthropod_bite
+cnidarian_contact_dermatitis
+parasite_infestation
+drug_reaction
+toxic_erythema_pregnancy
+pregnant
+annular_erythema_infancy
+infant
+wells_syndrome
+dermal_hypersensitivity
+hypereosinophilic_syndrome
+urticaria
+bullous_pemphigoid
+pemphigoid_gestationis
+pregnant
+internal_malignancy
+rare
+intraluminal_giant_cell
+melkersson_rosenthal_syndrome
+genitourinary_infection
+cutaneous_histiocytic_lymphangitis
+rosai_dorfman_disease
+intravascular_leukocyte
+urticaria
+lymphomatoid_papulosis
+superficial_deep_inflammation
+eight_ls
+light_reaction
+lymphoma
+leprosy
+foamy_macrophages_afb_positive
+lues
+lichen_striatus
+lupus_erythematosus
+necrobiosis_lipoidica
+arthropod_bite
+drugs
+dermatophyte
+reticular_erythomatous_mucinosis
+urticaria
+gyrate_erythema
+scleroderma_localized
+drug_reaction
+superficial_perivascular_inflammation
+drug_reaction
+dermatophytosis
+viral_exanthem
+chronic_urticaria
+erythrasma
+superficial_annular_erythema
+pigmented_purpuric_dermatosis
+resolving_dermatosis
+superficial_deep_dermal_inflammation
+folliculitis
+perifolliculitis
+panniculitis
+epidermis
+maturation
+keratinization
+pigmentation
+dermis
+collagen
+elastic_tissue
+cutaneous_mucinosis
+generalized_myxedema
+pretibial_myxedema
+reticular_erythematous_mucinosis
+scleredema
+scleromyxedema
+papular_mucinosis
+acral_persistent_papular_mucinosis
+cutaneous_mucinosis_infancy
+focal_mucinosis
+digital_mucous_cyst
+mucocele
+nevus_mucinosus
+dermal_mucinosis_secondary
+follicular_mucinosis
+mucopolysaccharidosis
+deposit
+appendage
+cyst
+epidermal_cyst
+epidermal_keratinization
+keratohyaline_granule
+flattened_surface_epithelium
+location_gross
+trunk
+neck
+face
+location_micro
+middermis
+lower_dermis
+epidermal_cyst_proliferating
+multiloculated_cystic_space
+proliferating_epithelium
+squamous_eddy
+frequent
+epidermal_type
+epidermal_type_keratinization
+tricholemmal_type
+tricholemmal_type_keratinization
+hpv_cyst
+hypergranulosis
+papillated
+intracytoplasmic_inclusion
+vacuolar_keratin
+digitated
+verrucous
+tricholemmal_cyst
+tricholemmal_type_keratinization
+cholesterol_cleft
+calcification
-keratohyaline_granule
+hybrid_cyst
+tricholemmal_type_keratinization
+inner
+epidermal_type_keratinization
+outer
+hair_matrix_cyst
+pigmented_follicular_cyst
+cutaneous_keratocyst
+vellus_cyst
+steatocystoma
+milium_cyst
+eccrine_hydrocystoma
+apocrine_cystadenoma
+bronchogenic_cyst
+branchial_cyst
+thymic_cyst
+cutaneous_ciliated_cyst
+median_raphe_cyst
+dermoid_cyst
+subcutis
+panniculitis
+panniculitis_septal
+erythema_nodosum
+necrobiosis_lipoidica
+scleroderma
+panniculitis_lobular
+erythema_induratum
+nodular_vasculitis
+subcutanous_fat_necrosis_newborn
+sclerema_neonatorum
+cold_panniculitis
+weber_christian_disease
+alpha1_antitrypsin_deficiency
+cytophagic_histiocytic_panniculitis
+poststeroid_panniculitis
+connective_tissue_panniculitis
+lipodystrophy_syndrome
+membranous_lipodystrophy
+lipodermatosclerosis
+factitial_panniculitis
+infective_panniculitis
+noninfective_pannicul