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 14983-14986
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14982-14982	AbnormalAnatomicalStructure e' uma sub-classe de Estructura Anatomica

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9412-9412	Lesion e' uma sub-classe de AbnormalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9431-9431	Scar e' uma sub-classe de AbnormalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9460-9460	Tumor e' uma sub-classe de AbnormalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9447-9447	Ulcer e' uma sub-classe de AbnormalAnatomicalStructure
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 14960-14960

antecedent

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

Merge.kif 14988-14993