MarriageContract(marriage contract) | man_and_wife, marriage, marriage_ceremony, marriage_contract, marriage_settlement, married_couple, matrimony, spousal_relationship, union, wedding, wedlock |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14166-14168 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8586-8586 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9400-9400 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9402-9402 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9401-9401 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14165-14165 | Marriage contract is a subattribute of contract |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36323-36323 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36322-36322 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36321-36321 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14170-14176 |
|