BodyCavity
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3514-3515 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15145-15146 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1049-1049 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15144-15144 | Body cavity is a subclass of body part |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1558-1558 | Auditory canal is a subclass of body cavity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15148-15148 | Body vessel is a subclass of body cavity |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1502-1502 | Eustachian tube is a subclass of body cavity |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1594-1594 | Auris interna is a subclass of body cavity |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 269-269 | Left atrium is a subclass of body cavity |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 285-285 | Left ventricle is a subclass of body cavity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6071-6071 | Nasal cavity is a subclass of body cavity |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 301-301 | Right atrium is a subclass of body cavity |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 317-317 | Right ventricle is a subclass of body cavity |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1585-1585 | Middle ear is a subclass of body cavity |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1535-1535 | Urethra is a subclass of body cavity |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11471-11471 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11470-11470 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11469-11469 |