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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AbnormalAnatomicalStructure

Sigma KEE - AbnormalAnatomicalStructure
AbnormalAnatomicalStructure(abnormal anatomical structure)ovotestis

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3490-3492
No TPTP formula. May not be expressible in strict first order. Merge.kif 14937-14940
No TPTP formula. May not be expressible in strict first order. Merge.kif 14936-14936 Abnormal anatomical structure is a subclass of anatomical structure

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9385-9385 Lesion is a subclass of abnormal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9404-9404 Scar is a subclass of abnormal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9433-9433 Tumor is a subclass of abnormal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9420-9420 Ulcer is a subclass of abnormal anatomical structure
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5064-5064
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5063-5063
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5062-5062

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14914-14914 Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14942-14947


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

Show without tree


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