stepmother |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23161-23163 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23164-23164 | The number 1 argument of stepmother is an instance of human |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23165-23165 | The number 2 argument of stepmother is an instance of woman |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23167-23167 | stepmother is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23166-23166 | stepmother is a subrelation of legal relation |
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 23169-23176 | A woman is the stepfather of a human if and only if there exists another human such that the other human is a father of the human and the woman is the spouse of the other human and the woman is not a mother of the human |