Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

SIO: Self-restriction axiom for capability #3

Open
GoogleCodeExporter opened this issue Apr 25, 2015 · 0 comments
Open

SIO: Self-restriction axiom for capability #3

GoogleCodeExporter opened this issue Apr 25, 2015 · 0 comments

Comments

@GoogleCodeExporter
Copy link

"description "A capability is a realizable entity whose basis lies in one or 
more parts or qualities and reflects possility of an entity to act in a 
specified way under certain conditions or in response to a certain stimulus 
(trigger)."@en"

What does this mean:

capability SubClassOf
 'is realized in' some 
 (process and ('has agent' some  Self ))

Can a process be its own agent? This would mean the process would be 
participating in itself. Sounds kinda weird.

Note that if 'has participant' is declared to have a range of 'object' (seems 
reasonable?), then 'capability' is unsatisfiable.

Original issue reported on code.google.com by cmung...@gmail.com on 29 Apr 2013 at 5:33

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant