| Physiology | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21265-21266 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21263-21263 | subField Physiology and Biology |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21264-21264 | Physiology e' uma sub-classe de Science |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45758-45758 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45757-45757 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45756-45756 |
|
|
|