updating SmallTest to be compatible with new terminology
updating type names
adding labels
typos in main file, plus change owl:Class to rdf:Description
changing some operations and events to internal, removing their proficiencies

limiting actions to type specified cases
rearrangement and matching public operations with proxy, internal with KPM
setting up property order to test inference
property chain fillsRole o requires -> hasProficiency

had to remove FunctionalProperty from isProficiencyOf to satisfy reasoner
adding FullTest
change KPW to KPMW
add exposes and is exposed by properties
new properties: conveys, requests, hasKPOutput, new chains: actualizes, manages

added or modified property chains for actualizes, manages, interacts with
fleshing out "create KP" event

added inferences
refactoring hasInput and hasOutput into Event and Operation ontologies
adding Try
adding functional properties, or notes of implicit functional properties
partial order and property chain additions

executes, subenvironment, subproficiency
remove addsImmutable
labels 'operation event' -> 'event'
adding hasRequestee

also removing cardinality restriction involving accordingTo