]> 2008/06/10 OpenCyc Knowledge Base Copyright© 2001-2008 Cycorp, Inc., http://www.cyc.com/, Austin, TX, USA This file contains an OWL representation of information contained in the OpenCyc Knowledge Base. The content of this OWL file is licensed under the Creative Commons Attribution 3.0 license whose text can be found at http://creativecommons.org/licenses/by/3.0/legalcode. The content of this OWL file, including the OpenCyc content it represents, constitutes the "Work" referred to in the Creative Commons license. The terms of this license equally apply to, without limitation, renamings and other logically equivalent reformulations of the content of this OWL file (or portions thereof) in any natural or formal language, as well as to derivations of this content or inclusion of it in other ontologies. externalID A unique, language-neutral, variable-sized identifier for a concept that can be used to refer unambiguously to that concept across OWL exports or across Cyc inference engines. label A natural-language representation for a concept that is both human readable and readable by the Cyc inference engine. These terms are not guaranteed to refer to the same concept across time but are guaranteed to be consistent within a particular OWL export. Use 'cycAnnot:externalID' for unambiguously referring to a concept across OWL exports or across Cyc inference engines. (<a href="http://sw.opencyc.org/2008/06/10/concept/en/answerSourceIBTsRejected" class="cyc_term">answerSourceIBTsRejected</a> RESPONSE IBT) says that IBT is one of the instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerDataArtifact" class="cyc_term">ComputerDataArtifact</a> that has been rejected by the performer of RESPONSE, an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ProvidingRequestedInformationToComputerProcess" class="cyc_term">ProvidingRequestedInformationToComputerProcess</a> Mx4rfpiyJtzgQdidTP-iO_UeuA answerSourceIBTsRejected Answer Source IBTs Rejected (<a href="http://sw.opencyc.org/2008/06/10/concept/en/answerSourceIBTsRejected" class="cyc_term">answerSourceIBTsRejected</a> RESPONSE IBT) says that IBT is one of the instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerDataArtifact" class="cyc_term">ComputerDataArtifact</a> that has been rejected by the performer of RESPONSE, an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ProvidingRequestedInformationToComputerProcess" class="cyc_term">ProvidingRequestedInformationToComputerProcess</a> Answer Source IBTs Rejected answerSourceIBTsRejected The collection of all communication acts [<a href="http://sw.opencyc.org/2008/06/10/concept/en/CommunicationAct_Single" class="cyc_term">CommunicationAct_Single</a>] in which a computer user provides input to a running computer process [<a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerProcessRunning" class="cyc_term">ComputerProcessRunning</a>] which the process asked the user to provide. ProvidingRequestedInformationToComputerProcess providing requested information to computer process A collection of binary predicates; a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Role" class="cyc_term">Role</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ActorSlot" class="cyc_term">ActorSlot</a> relates some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Event" class="cyc_term">Event</a> to a temporal thing involved in that event (here called a "participant", although the thing in question might not be playing an active role in the event). The first argument of every instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ActorSlot" class="cyc_term">ActorSlot</a> is constrained to be an instance of some specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Event" class="cyc_term">Event</a>, and the second argument is constrained to be an instance of some specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SomethingExisting" class="cyc_term">SomethingExisting</a>. All instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ActorSlot" class="cyc_term">ActorSlot</a> have <a href="http://sw.opencyc.org/2008/06/10/concept/en/actors" class="cyc_term">actors</a> as their <a href="http://sw.opencyc.org/2008/06/10/concept/en/genlPreds" class="cyc_term">genlPreds</a>, directly or indirectly, so that the actor slots form a kind of hierarchy. Each specialized actor slot indicates how its participant participates in the event, i.e., in what role (e.g., <a href="http://sw.opencyc.org/2008/06/10/concept/en/inputs" class="cyc_term">inputs</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/outputs" class="cyc_term">outputs</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/doneBy" class="cyc_term">doneBy</a>). Actor slots are not used to indicate the time of an event's occurrence, external representations of the event, and other more remotely related things that are not directly or indirectly "involved" in the occurrence of the event. Time and other quantities are relevant to events but are not instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SomethingExisting" class="cyc_term">SomethingExisting</a>; thus, they are related to events by some non-<a href="http://sw.opencyc.org/2008/06/10/concept/en/ActorSlot" class="cyc_term">ActorSlot</a> predicate. Things which are remotely related to the event -- for instance, someone who is affected by the event but doesn't exist when the event occurs -- may be related using some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Role" class="cyc_term">Role</a> that does not belong to <a href="http://sw.opencyc.org/2008/06/10/concept/en/ActorSlot" class="cyc_term">ActorSlot</a>, such as <a href="http://sw.opencyc.org/2008/06/10/concept/en/affectedAgent" class="cyc_term">affectedAgent</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/en/Role" class="cyc_term">Role</a>. ActorSlot predicate describing actors in events (<a href="http://sw.opencyc.org/2008/06/10/concept/en/answerSourceIBTsRejected" class="cyc_term">answerSourceIBTsRejected</a> RESPONSE IBT) says that IBT is one of the instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerDataArtifact" class="cyc_term">ComputerDataArtifact</a> that has been rejected by the performer of RESPONSE, an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ProvidingRequestedInformationToComputerProcess" class="cyc_term">ProvidingRequestedInformationToComputerProcess</a> Answer Source IBTs Rejected answerSourceIBTsRejected ComputerDataArtifact-Generic piece of stored computer data The collection of all pieces of computer data. This collection includes all such information, such as data streams (e.g., bits or bytes of data in addressable memory) and more complex objects such as files in a filesystem (see the specialization of this collection, <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerFileCopy" class="cyc_term">ComputerFileCopy</a>). Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerDataArtifact_Generic" class="cyc_term">ComputerDataArtifact_Generic</a> are non-agentive existing things; thus computer processes and software agents are not instances of this collection. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerDataArtifact_Generic" class="cyc_term">ComputerDataArtifact_Generic</a> encode information, but are not necessarily physical objects (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerDataArtifact" class="cyc_term">ComputerDataArtifact</a>). (<a href="http://sw.opencyc.org/2008/06/10/concept/en/answerSourceIBTsRejected" class="cyc_term">answerSourceIBTsRejected</a> RESPONSE IBT) says that IBT is one of the instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerDataArtifact" class="cyc_term">ComputerDataArtifact</a> that has been rejected by the performer of RESPONSE, an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ProvidingRequestedInformationToComputerProcess" class="cyc_term">ProvidingRequestedInformationToComputerProcess</a> Answer Source IBTs Rejected answerSourceIBTsRejected ComputerIBT computer IBT The collection of all <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingThing" class="cyc_term">InformationBearingThing</a>s instantiated on or for instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputationalSystem" class="cyc_term">ComputationalSystem</a>, whether as fixed stored data (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerDataArtifact" class="cyc_term">ComputerDataArtifact</a>), processes executing computer code (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerProcessRunning" class="cyc_term">ComputerProcessRunning</a>), or as #$SoftwareAgents. A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TemporallyQualifiableRelation" class="cyc_term">TemporallyQualifiableRelation</a> (q.v.). <a href="http://sw.opencyc.org/2008/06/10/concept/en/TimeDependentRelation" class="cyc_term">TimeDependentRelation</a> is the collection of all (not eternally-empty) predicates and functions that are such that nothing remains in their extensions eternally. A predicate <code>PRED</code> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TimeDependentRelation" class="cyc_term">TimeDependentRelation</a> if and only if both (i) for any sequence of things <code>SEQ</code> and time <code>T</code>, if <code>PRED</code> holds of <code>SEQ</code> at <code>T</code>, then there is some different time <code>T'</code> such that <code>PRED</code> does not hold of <code>SEQ</code> at <code>T'</code> and (ii) there is some sequence and some time such that <code>PRED</code> holds of that sequence at that time. (Condition (ii) is needed to exclude relations with necessarily empty extensions, such as is neither identical to nor distinct from.) For example, <a href="http://sw.opencyc.org/2008/06/10/concept/en/likesAsFriend" class="cyc_term">likesAsFriend</a> is time-dependent. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/likesAsFriend" class="cyc_term">likesAsFriend</a> Amy Bob)</code> can be true today but false tomorrow (and will certainly not be true after Amy and Bob are dead). On the other hand, <a href="http://sw.opencyc.org/2008/06/10/concept/en/isa" class="cyc_term">isa</a> is not time-dependent but merely temporally-qualifiable; although it holds of some things temporarily, it holds of some other things eternally. A function <code>FUNC</code> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TimeDependentRelation" class="cyc_term">TimeDependentRelation</a> if its value for any given sequence of arguments in its (non-empty) domain, and/or the fact that is has a value for that sequence, changes over time. <a href="http://sw.opencyc.org/2008/06/10/concept/en/TerritoryFn" class="cyc_term">TerritoryFn</a> is an example of a time-dependent function. TimeDependentRelation time dependent relation