stepmother |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23160-23162 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23163-23163 | 域 後母, 1 and Human |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23164-23164 | 域 後母, 2 and 女人 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23166-23166 | 例 後母 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23165-23165 | 子關係 後母 and 法律關係 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4646-4646 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4645-4645 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4644-4644 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55308-55308 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55307-55307 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55306-55306 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23168-23175 | 女人 是 Human 的 stepfather Human 父親 Human and Human 女人 是 Human 的 spouse 母親 Human and 女人 |