|
|
   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 14679-14679 | |
| 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 14678-14678 | 女人 是 人类 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 362-362 | 女孩 是 女人 的 subclass |
| 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 | WeekBeforeMenstruationFn 的 1 数量 是 女人 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23040-23040 | 姑妈 的 1 数量 是 女人 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23092-23092 | 祖母 的 2 数量 是 女人 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16595-16595 | 丈夫 的 2 数量 是 女人 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23117-23117 | 侄女 的 1 数量 是 女人 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16534-16534 | 妹妹 的 1 数量 是 女人 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23164-23164 | 后母 的 2 数量 是 女人 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16604-16604 | 妻子 的 1 数量 是 女人 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14667-14667 | 人类 详尽无遗地 partition 成 人 和 女人 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21494-21505 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23032-23036 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14681-14683 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5295-5299 | |
| 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 |
|
|
|
