| Mouth
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12090-12090 | connectedBodyPart Mouth and Esophagus |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12117-12117 | connectedBodyPart Mouth and Trachea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11450-11451 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 608-608 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 134-134 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11448-11448 | Mouth est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12104-12104 | Mouth est une sous-classe de BodyOrifice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11449-11449 | Mouth est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12084-12084 | typicalPart Mouth and GastroIntestinalTract |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12337-12337 | initialPart SalivaryGland and Mouth |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39011-39011 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39010-39010 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39009-39009 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12336-12336 | typicalPart SalivaryGland and Mouth |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11453-11458 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6509-6517 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6589-6601 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6561-6571 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6547-6555 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11620-11625 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11754-11759 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11465-11470 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11500-11505 |
|
|
|