About: satisfies

Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: satisfies

An Entity of Type : ObjectProperty, within Data Space : lodserver.iula.upf.edu
Start faceted browsing from this Type

A relation between a Situation and a Description, e.g. the execution of a Plan satisfies that plan.

Attributes	Values
type	owl:ObjectProperty
label	satisfies soddisfa
domain	http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Situation
range	http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Description
isDefinedBy	http://www.ontologydesignpatterns.org/ont/dul/DUL.owl
comment	A relation between a Situation and a Description, e.g. the execution of a Plan satisfies that plan.
subPropertyOf	http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#associatedWith
owl:inverseOf	http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#isSatisfiedBy
is owl:onProperty of	nodeID://b940967 nodeID://b940986 nodeID://b941020 nodeID://b980247 nodeID://b980262 nodeID://b980296 nodeID://b940103 nodeID://b940122 nodeID://b940156 nodeID://b967854 nodeID://b967869 nodeID://b967903 nodeID://b970550 nodeID://b970565 nodeID://b970599 nodeID://b970712 nodeID://b970727 nodeID://b970761 nodeID://b961105 nodeID://b961120 nodeID://b961154 nodeID://b961245 nodeID://b961260 nodeID://b961294 nodeID://b960825 nodeID://b960840 nodeID://b960874 nodeID://b961385 nodeID://b961400 nodeID://b961434 nodeID://b976835 nodeID://b976850 nodeID://b976884 nodeID://b965048 nodeID://b965063 nodeID://b965097 nodeID://b982688 nodeID://b982703 nodeID://b982737 nodeID://b960516 nodeID://b960531 nodeID://b960565 nodeID://b968134 nodeID://b968149 nodeID://b968183 nodeID://b970036 nodeID://b970051 nodeID://b970085 nodeID://b960965 nodeID://b960980 nodeID://b961014 nodeID://b962129 nodeID://b962144 nodeID://b962178 nodeID://b965485 nodeID://b965500 nodeID://b965534 nodeID://b969896 nodeID://b969911 nodeID://b969945 nodeID://b961525 nodeID://b961540 nodeID://b961574 nodeID://b970405 nodeID://b970420 nodeID://b970454 nodeID://b961665 nodeID://b961680 nodeID://b961714 nodeID://b977642 nodeID://b977657 nodeID://b977691 nodeID://b967994 nodeID://b968009 nodeID://b968043 nodeID://b961967 nodeID://b961982 nodeID://b962016 nodeID://b971301 nodeID://b971316 nodeID://b971350 nodeID://b977016 nodeID://b977031 nodeID://b977065
is owl:inverseOf of	http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#isSatisfiedBy

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