Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Widowed
|
|
|
| appearance as argument number 1 |
|
|
| (instance Widowed SocialRole) | Mid-level-ontology.kif 24581-24581 | Widowed woman is an instance of social role |
| (documentation Widowed EnglishLanguage "The Attribute that applies to someone who was married to someone who has died, and who has not remarried. Note that this is ungendered, covering both widows and widowers.") | Mid-level-ontology.kif 24582-24584 | Widowed woman is an instance of social role |
| (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 6978-6978 | Widowed woman is an instance of social role |
| (externalImage Widowed "http://upload.wikimedia.org/wikipedia/commons/a/ a4/ Statue_of_mother_Yasukuni_112135011_bd2aaaa5d3_o.jpg") | pictureList.kif 8276-8276 | Widowed woman is an instance of social role |
| (externalImage Widowed "http://upload.wikimedia.org/wikipedia/en/5/5f/KarenWhimseyValentineMain.png") | pictureList.kif 8277-8277 | Widowed woman is an instance of social role |
| appearance as argument number 2 |
|
|
| 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 24586-24600 | If widowed woman is an attribute of X holds during Y, then there exist Z, W such that Z happens earlier than Y, W is the spouse of X holds during Z, and dead is an attribute of W holds during Y and there doesn't exist V such that V is the spouse of X holds during Y |
|
