secretesSubstance |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12203-12205 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12207-12207 | O argumento numero 1 de secretesSubstance e' uma sub-classe de Objeto Organico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12208-12208 | O argumento numero 2 de secretesSubstance e' uma sub-classe de NaturalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12206-12206 | secretesSubstance e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2219-2219 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2218-2218 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2217-2217 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51837-51837 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51836-51836 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51835-51835 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12210-12219 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12302-12302 | secretesSubstance AdrenalGland and Adrenaline |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12296-12296 | secretesSubstance AdrenalGland and Aldosterone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12297-12297 | secretesSubstance AdrenalGland and Androgen |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12295-12295 | secretesSubstance AdrenalGland and Cortisol |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12004-12004 | secretesSubstance Liver and Bile |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10148-10148 | secretesSubstance Mitochondrion and AdenosineTriphosphate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12324-12324 | secretesSubstance MucusGland and Mucus |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5669-5669 | secretesSubstance MucusMembrane and Mucus |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12277-12277 | secretesSubstance Pancreas and Insulin |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12272-12272 | secretesSubstance PituitaryGland and ThyroidStimulatingHormone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12310-12310 | secretesSubstance SalivaryGland and Saliva |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12257-12257 | secretesSubstance SweatGland and Sweat |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12354-12354 | secretesSubstance TearGland and TearSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12224-12224 | secretesSubstance ThyroidGland and ThyroidHormone |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3339-3339 | secretesSubstance ThyroidGland and Thyroxine |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3748-3748 | secretesSubstance WhiteBlookCell and Interleukin |