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 22303-22304 | |
(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 6979-6979 | |
(externalImage Widowed "http://upload.wikimedia.org/wikipedia/commons/a/ a4/ Statue_of_mother_Yasukuni_112135011_bd2aaaa5d3_o.jpg") | pictureList.kif 8277-8277 | |
(externalImage Widowed "http://upload.wikimedia.org/wikipedia/en/5/5f/KarenWhimseyValentineMain.png") | pictureList.kif 8278-8278 | |
(instance Widowed SocialRole) | Mid-level-ontology.kif 22302-22302 | Widowed woman is an instance of social role |
appearance as argument number 2 |
(termFormat ChineseLanguage Widowed "寡") | domainEnglishFormat.kif 63069-63069 | |
(termFormat ChineseTraditionalLanguage Widowed "寡") | domainEnglishFormat.kif 63068-63068 | |
(termFormat EnglishLanguage Widowed "widowed woman") | domainEnglishFormat.kif 63067-63067 |
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 22306-22320 |
|