| Widowed(widowed)
| | widowed |
| appearance as argument number 1 |
|
|
| (documentation Widowed EnglishLanguage "The Attribute that applies to someone who was married to someone who has died, and who has not remarried.") | Mid-level-ontology.kif 21760-21761 | |
| (externalImage Widowed "http://upload.wikimedia.org/wikipedia/commons/9/ 90/ Fleury-Fran%C3%A7ois_Richard_-_Valentine_of_Milan_Mourning_her_Husband%2C_the_Duke_of_Orl%C3%A9ans.JPG") | pictureList.kif 6980-6980 | |
| (externalImage Widowed "http://upload.wikimedia.org/wikipedia/commons/a/ a4/ Statue_of_mother_Yasukuni_112135011_bd2aaaa5d3_o.jpg") | pictureList.kif 8278-8278 | |
| (externalImage Widowed "http://upload.wikimedia.org/wikipedia/en/5/5f/KarenWhimseyValentineMain.png") | pictureList.kif 8279-8279 | |
| (instance Widowed SocialRole) | Mid-level-ontology.kif 21759-21759 | Widowed is an instance of social role |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Widowed "寡") | domainEnglishFormat.kif 63036-63036 | |
| (termFormat ChineseTraditionalLanguage Widowed "寡") | domainEnglishFormat.kif 63035-63035 | |
| (termFormat EnglishLanguage Widowed "widowed") | domainEnglishFormat.kif 63034-63034 |
| antecedent |
|
|
| (=> (holdsDuring ?NOW (attribute ?P Widowed)) (and (exists (?BEFORE ?SPOUSE) (and (earlier ?BEFORE ?NOW) (holdsDuring ?BEFORE (spouse ?SPOUSE ?P)) (holdsDuring ?NOW (attribute ?SPOUSE Dead)))) (not (exists (?OTHER) (holdsDuring ?NOW (spouse ?OTHER ?P)))))) |
Mid-level-ontology.kif 21763-21777 |
|
|
|
|