MedicalScience(medical science) more pictures... | accident_surgery, emergency_medicine, forensic_medicine, forensic_pathology, gastroenterology, medical, medical_specialty, medicine, nephrology, nuclear_medicine, prosthetics, sports_medicine, thoracic_medicine, traumatology, tropical_medicine |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21243-21243 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6696-6696 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7301-7301 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7302-7302 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7303-7303 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7304-7304 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7305-7305 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21241-21241 | Medical science is a sub-field of biology |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21242-21242 | Medical science is a subclass of science |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21245-21245 | Veterinary medicine is a sub-field of medical science |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36857-36857 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36856-36856 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36855-36855 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 509-513 |
|