| Saliva | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12341-12341 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12340-12340 | Saliva e' uma sub-classe de Substancia Corporal |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12338-12338 | secretesSubstance SalivaryGland and Saliva |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12342-12342 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6573-6575 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12343-12349 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6561-6571 |
|
|
|
|