|
|
  CloseToEpiglottisFromMedianFibrousSeptum
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3177-3179 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 646-646 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3176-3176 | Painting est une sous-classe de colorer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3175-3175 | Painting est une sous-classe de couvrir |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3234-3234 | ArtPainting est une sous-classe de Painting |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44042-44042 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44041-44041 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44040-44040 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3181-3189 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3224-3231 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3251-3253 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3092-3099 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3105-3112 |
|
|
|
