|
|
   Woman
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3440-3440 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14657-14657 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 843-843 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3289-3289 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3288-3288 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3290-3290 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3287-3287 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3291-3291 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3286-3286 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14656-14656 | Woman est une sous-classe de humain |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 362-362 | Girl est une sous-classe de Woman |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63303-63303 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63302-63302 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63301-63301 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1515-1515 | Le nombre 1 argument de WeekBeforeMenstruationFn est une instance de Woman |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23041-23041 | Le nombre 1 argument de aunt est une instance de Woman |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23093-23093 | Le nombre 2 argument de grandmother est une instance de Woman |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16573-16573 | Le nombre 2 argument de husband est une instance de Woman |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23118-23118 | Le nombre 1 argument de niece est une instance de Woman |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16512-16512 | Le nombre 1 argument de sister est une instance de Woman |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23165-23165 | Le nombre 2 argument de stepmother est une instance de Woman |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16582-16582 | Le nombre 1 argument de wife est une instance de Woman |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14645-14645 | Humain est compl�tement d�compos� en Man + Woman |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21495-21506 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23033-23037 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14659-14661 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5296-5300 |
|
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 533-539 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 502-508 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 515-521 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 489-495 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 470-476 |
|
|
|
