TreeView Knowledge Base Browser - AbnormalAnatomicalStructure

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 14673-14676
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14672-14672	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 8985-8985	Lesion is a subclass of abnormal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9004-9004	Scar is a subclass of abnormal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9033-9033	Tumor is a subclass of abnormal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9020-9020	Ulcer is a subclass of abnormal anatomical structure
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5073-5073
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5072-5072
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5071-5071

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Merge.kif 14650-14650

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 14678-14683