| Mouth(口)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13412-13412 | connectedBodyPart 口 and Esophagus |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13439-13439 | connectedBodyPart 口 and Trachea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12772-12773 | connectedBodyPart 口 and Trachea |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 608-608 | connectedBodyPart 口 and Trachea |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 134-134 | connectedBodyPart 口 and Trachea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12770-12770 | 子類 口 and 動物解剖結構 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13426-13426 | 子類 口 and BodyOrifice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12771-12771 | 子類 口 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13406-13406 | 口 typically 是 GastroIntestinalTract 的 part |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13659-13659 | %每個 SalivaryGland 是 口 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39037-39037 | %每個 SalivaryGland 是 口 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39036-39036 | %每個 SalivaryGland 是 口 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39035-39035 | %每個 SalivaryGland 是 口 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13658-13658 | SalivaryGland typically 是 口 的 part |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12775-12780 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7478-7486 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7558-7570 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7530-7540 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7516-7524 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12942-12947 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13076-13081 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12787-12792 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12822-12827 |
|
|
|