Housewife
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20584-20585 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2962-2962 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3115-3115 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20583-20583 | Housewife est un sous-attribut de Unemployed |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28779-28779 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28778-28778 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28777-28777 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20587-20590 |