AbnormalAnatomicalStructure - Sigma Knowledge base Browser

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	异常的解剖结构是解剖结构的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9385-9385	病变是异常的解剖结构的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9404-9404	伤痕是异常的解剖结构的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9433-9433	瘤是异常的解剖结构的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9420-9420	Ulcer 是异常的解剖结构的 subclass
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

antecedent

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

Merge.kif 14942-14947