Throat
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11724-11725 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 187-187 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11723-11723 | Throat is a subclass of airway |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11721-11721 | Throat is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11722-11722 | Throat is a subclass of body vessel |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57926-57926 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57925-57925 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57924-57924 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11727-11732 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6056-6075 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 754-765 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1710-1721 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11327-11333 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6530-6535 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11740-11745 |
|