About: is postcondition of

Direct succession applied to situations. E.g., 'Taking some rest is a postcondition of my search for a hotel'.

Attributes	Values
type	owl:ObjectProperty
label	is postcondition of è postcondizione di
domain	nodeID://b939861 nodeID://b940016 nodeID://b940880 nodeID://b942139 nodeID://b960452 nodeID://b960761 nodeID://b960901 nodeID://b961041 nodeID://b961181 nodeID://b961321 nodeID://b961461 nodeID://b961601
range	nodeID://b939864 nodeID://b940019 nodeID://b940883 nodeID://b942142 nodeID://b960455 nodeID://b960764 nodeID://b960904 nodeID://b961044 nodeID://b961184 nodeID://b961324 nodeID://b961464 nodeID://b961604
isDefinedBy	http://www.ontologydesignpatterns.org/ont/dul/DUL.owl
comment	Direct succession applied to situations. E.g., 'Taking some rest is a postcondition of my search for a hotel'.
subPropertyOf	http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#directlyFollows
owl:inverseOf	http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasPostcondition http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasPostcondition

This work is licensed under a Creative Commons Attribution-Share Alike 3.0 Unported License.
OpenLink Virtuoso version 06.01.3127, on Linux (x86_64-pc-linux-gnu), Standard Edition
Copyright © 2009-2011 OpenLink Software