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 14959-14962
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14958-14958	AbnormalAnatomicalStructure est une sous-classe de structure anatomique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9384-9384	Lesion est une sous-classe de AbnormalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9403-9403	Scar est une sous-classe de AbnormalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9432-9432	Tumor est une sous-classe de AbnormalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9419-9419	Ulcer est une sous-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 14936-14936

antecedent

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

Merge.kif 14964-14969