| Subject |
have relatedInternalConcept |
documentation |
be disjoint from |
have axiom |
|---|
| Concealing | | The Class of Processes where something is moved out of view | NonintentionalProcess | (=>
(and
(instance ?COVER Covering)
(patient ?COVER ?OBJ))
(exists (?CONCEAL ?PART)
(and
(instance ?CONCEAL Concealing)
(subProcess ?CONCEAL ?COVER)
(part ?PART ?OBJ)
(patient ?CONCEAL ?PART))))
|
| ContentDevelopment | | A subclass of IntentionalProcess in which content is transcribed or created anew | NonintentionalProcess | (=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
|
| Decorating | SurfaceAlteration | The act of modifying or embellishing something with the aim of making it more aesthetically pleasing | NonintentionalProcess | (=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
|
| DiagnosticProcess | | A Process that is carried out for the purpose of determining the nature of a DiseaseOrSyndrome | NonintentionalProcess | (=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
|
| EducationalProcess | | A Process related to the organization and provision of education | NonintentionalProcess | (=>
(instance ?ACT EducationalProcess)
(exists (?PROC)
(and
(instance ?PROC Learning)
(subProcess ?PROC ?ACT))))
|
| ExerciseProcess | | A Process that is carried out for the purpose of exercise | NonintentionalProcess | (=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
|
| Grooming | | The subclass of Process where parts of an Organism are arranged in a socially pleasing manner. Some examples are shaving, brushing, combing, etc | NonintentionalProcess | (=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
|
| Guiding | | Controlling the direction and/or speed of a CorpuscularObject. This includes aiming a gun or arrow, navigating a ship, driving a car or truck, operating a train, etc | NonintentionalProcess | (=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
|
| Keeping | | The Class of Processes where the agent keeps something in a particular location for an extended period of time | NonintentionalProcess | (=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
|
| Maintaining | | The Class of Processes where the agent cares for or maintains the Object | NonintentionalProcess | (=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
|
| Maneuver | | An intentional move or play within a Contest. In many cases, a Maneuver is part of a strategy for winning the larger Contest of which the Maneuver is a part | NonintentionalProcess | (=>
(instance ?MOVE Maneuver)
(exists (?CONTEST)
(and
(instance ?CONTEST Contest)
(subProcess ?MOVE ?CONTEST))))
|
| MentalProcess | | An OrganismProcess involving the mind or cognitive processing | NonintentionalProcess | (=>
(instance ?PROCESS MentalProcess)
(exists (?ANIMAL)
(and
(instance ?ANIMAL Animal)
(experiencer ?PROCESS ?ANIMAL))))
|
| OrganizationalProcess | | An IntentionalProcess that is carried out within or by an Organization | NonintentionalProcess | (=>
(instance ?PERSON PersonBySocialRole)
(exists (?ACT)
(and
(instance ?ACT OrganizationalProcess)
(agent ?ACT ?PERSON))))
|
| Poking | | The Class of Processes where the agent brings a something long and narrow into contact with an Object and, in some cases, pierces the surface of the Object | NonintentionalProcess | (=>
(and
(instance ?POKE Poking)
(agent ?POKE ?AGENT)
(patient ?POKE ?OBJ)
(instrument ?POKE ?INST))
(holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ)))
|
| RecreationalProcess | | A Process that is carried out for the purpose of recreation | NonintentionalProcess | (=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
|
| ReligiousProcess | | An IntentionalProcess that is carried out within or by a ReligiousOrganization | NonintentionalProcess | (=>
(and
(instance ?ACT ReligiousProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT ReligiousOrganization)
(exists (?ORG)
(and
(member ?AGENT ?ORG)
(instance ?ORG ReligiousOrganization)))))
|
| Repairing | Maintaining | The Class of Processes where the agent makes a modification or series of modifications to an Object that is not functioning as intended so that it works properly | NonintentionalProcess | (=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
|
| Revealing | | The Class of Processes where something is moved into view | Concealing | (=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
|
| Searching | | Any Process where the aim is to find something, whether it be information (i.e. a Proposition) or an Object | NonintentionalProcess | (=>
(and
(instance ?SEARCH Searching)
(agent ?SEARCH ?AGENT)
(patient ?SEARCH ?ENTITY))
(inScopeOfInterest ?AGENT ?ENTITY))
|
| SocialInteraction | | The subclass of IntentionalProcess that involves interactions between CognitiveAgents | NonintentionalProcess | (=>
(instance ?INTERACTION SocialInteraction)
(exists (?AGENT1 ?AGENT2)
(and
(agent ?INTERACTION ?AGENT1)
(agent ?INTERACTION ?AGENT2)
(not
(equal ?AGENT1 ?AGENT2)))))
|
| Striking | | The Class of Impactings that are intentionally caused by a CognitiveAgent | NonintentionalProcess | (=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
|
| TherapeuticProcess | | A Process that is carried out for the purpose of curing, improving or reducing the pain associated with a DiseaseOrSyndrome | NonintentionalProcess | (=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
|
| Touching | | The Class of Processes where there is immediate physical contact between an Organism and another Object | NonintentionalProcess | (=>
(and
(instance ?TOUCH Touching)
(agent ?TOUCH ?AGENT)
(patient ?TOUCH ?OBJ))
(holdsDuring (WhenFn ?TOUCH) (connected ?AGENT ?OBJ)))
|
SUMO View all facts Glossary Help
