IntentionalProcess - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2930-2931
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10626-10627
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1681-1682
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10624-10624	Intentional process is a subclass of process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10304-10304	Autonomic process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19806-19806	Dreaming is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11329-11329	Geological process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10622-10622	Natural process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21570-21570	Trembling is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11336-11336	Weather process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 415-415	The values returned by start are subclasses of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 429-429	The values returned by stop are subclasses of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11277-11277	Ambulating is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9087-9087	Ceremony is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17269-17269	Commenting is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12825-12825	Content development is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15230-15230	Criminal action is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 675-675	Deploying weapon of mass destruction is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10988-10988	Designing is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19578-19578	Digging is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 731-731	Dismantling weapon of mass destruction is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 439-439	Dodging is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19665-19665	Drilling is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14449-14449	Ducking is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1510-1510	Engineers subprocess is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2523-2523	Evacuating is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11757-11757	Guiding is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1623-1623	IT process is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10650-10650	Intentional psychological process is a subclass of intentional process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22105-22105	The number 1 argument of occupation is an instance of intentional process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4509-4509	The number 1 argument of failure fn is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Law.kif 375-375	The number 3 argument of distrusts is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8530-8530	The number 2 argument of enjoys is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22982-22982	The number 2 argument of has occupation is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1768-1768	The number 2 argument of industry service type is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1786-1786	The number 2 argument of organization service type is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order.	Law.kif 364-364	The number 3 argument of trusts is a subclass of intentional process

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	If an agent provides an object and the agent is a customer of a cognitive agent and an entity is an instance of the object and the cognitive agent desires there exists another entity such that the other entity is an instance of intentional process and the entity is a patient of the other entity and the cognitive agent is an agent of the other entity, then the statement the agent allows the cognitive agent to perform task of the type the cognitive agent uses the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11735-11741	If an object is an instance of muscle and a process is an instance of body motion and the object is an instrument for the process and the process is an instance of intentional process, then the object is an instance of voluntary muscle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10629-10634	If a process is an instance of intentional process and an agent is an agent of the process, then there exists a formula such that the process has the purpose the formula for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10643-10648	If a process is an instance of intentional process and an agent is an agent of the process and the agent is an instance of animal, then awake is an attribute of the agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Law.kif 532-546	If a process is an instance of intentional process and a content bearing physical is a result of the process and the content bearing physical is the record of an agreement and legal is an attribute of the agreement, then there exist another process, a third process,, , the third process1 and the third process2 such that the other process is an instance of offering and the third process is an instance of reaching agreement and the other process includes a reference to the agreement and the third process includes a reference to the agreement and the third process1 is an agent of the other process and the third process2 is an agent of the third process and the time of existence of the other process happens earlier than the time of existence of the third process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2743-2749	If a process is an instance of intentional process and a cognitive agent is an agent of the process and the cognitive agent is an instance of cognitive agent and an entity is a patient of the process, then the cognitive agent is interested in the entity
No TPTP formula. May not be expressible in strict first order.	Law.kif 579-594	If an agreement is a party to agreement of a cognitive agent and a process is an instance of intentional process and the process is located at a geopolitical area and the geopolitical area is an instance of geopolitical area and a real number year duration(s) is the age of majority for the process in the geopolitical area and a content bearing physical is a result of the process and the content bearing physical is the record of the agreement and legal is an attribute of the agreement, then the age of the cognitive agent is the real number2 year duration(s) and the real number2 is greater than the real number holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Law.kif 560-577	If an agreement is a party to agreement of a cognitive agent and a process is an instance of intentional process and the process is located at a geopolitical area and the geopolitical area is an instance of nation and the process is located at the geopolitical area2 and the geopolitical area2 is an instance of geopolitical area and a real number year duration(s) is the age of majority for the process in the geopolitical area and a content bearing physical is a result of the process and the content bearing physical is the record of the agreement and the age of the cognitive agent is an entity year duration(s) and the entity is greater than the real number holds during the time of existence of the process, then legal is an attribute of the agreement
No TPTP formula. May not be expressible in strict first order.	Law.kif 521-530	If an agreement is a party to agreement of a cognitive agent and a process is an instance of intentional process and a content bearing physical is a result of the process and the content bearing physical is the record of the agreement and legal is an attribute of the agreement, then sober is an attribute of the cognitive agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15520-15534	If an agreement the attribute contract and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent and a process is an instance of intentional process and the cognitive agent is an agent of the process and the process expresses the content of a proposition and the agreement is not a consistent of the proposition, then the statement there exists an entity such that the entity is an instance of legal action and the other cognitive agent is the plaintiff in the entity and the cognitive agent is the defendant in the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10636-10641	If a process is an instance of intentional process, then there exists an agent such that the agent is an instance of cognitive agent and the agent is an agent of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6465-6477	If AVPU verbal status is an attribute of an agent holds during a time interval and a process is an instance of speaking and the process ends up at the agent and the time of existence of the process takes place during the time interval, then there exists another process such that the other process is an instance of intentional process and the agent is an agent of the other process and the time of existence of the other process takes place during the time interval and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32160-32171	If an agent is an instance of agent and motionless is an attribute of the agent holds during a time interval, then there doesn't exist a process such that the process is an instance of body motion and the process is an instance of intentional process and the agent is an agent of the process and the time of existence of the process takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12196-12212	If a process is an instance of deciding and an agent is an agent of the process and an entity is a patient of the process and the entity is an instance of set and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing physical, then the content bearing physical contains the formula there exists another entity such that the other entity is an element of the entity and the other entity is an instance of intentional process and the agent is an agent of the other entity holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12164-12176	If a process is an instance of deciding and a cognitive agent is an agent of the process and a set is an instance of set and the set is a patient of the process and an entity is an element of the set, then the cognitive agent believes there exists another entity such that the entity is an instance of the other entity and the other entity is a subclass of intentional process and the cognitive agent is capable of doing the other entity as a agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 711-724	If a reservation starts at a time point and the reservation ends at another time point and an agent reserves the reservation and another agent fulfills the reservation, then the statement there exists an entity such that the entity is an instance of intentional process and the other agent is an agent of the entity and the entity ends up at the agent holds during interval between the time point and the other time point has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21415-21424	If bored is an attribute of an agent, then there exists a process such that the process is an instance of intentional process and the agent is an agent of the process and the agent desires the agent is not an agent of the process holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9452-9462	If profession a social role is an attribute of an agent, then there exist a process and another process such that the process is an instance of working and the agent is an agent of the process and the other process is a subprocess of the process and the other process is an instance of a third kind of process and a third kind of process is a subclass of intentional process and the agent has the skill to do the third kind of process in their role as the social role
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2347-2357	If tour arrangement and reservation services is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the other entity is an instance of tour reservation and the entity is an instance of intentional process and the object is an agent of the entity and the other entity is a result of the entity or the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 10451-10461	If travel arrangement and reservation services is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the other entity is an instance of travel reservation and the entity is an instance of intentional process and the object is an agent of the entity and the other entity is a result of the entity or the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Music.kif 1086-1094	If a cognitive agent entered an entity in a contest, then there exist a process and another process such that the process is an instance of intentional process and the cognitive agent is an agent of the process and the entity is a result of the process and the other process is an instance of judging and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Music.kif 891-900	If equal a music recording and the remix of another music recording by a cognitive agent, then there exists a process such that the process is an instance of intentional process and the other music recording is a patient of the process and the cognitive agent is an agent of the process and the music recording is a result of the process and equal the music recording and the other music recording and the music recording is not a copy of the other music recording
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5223-5232	If in a coma is an attribute of an agent holds during a time interval, then there doesn't exist a process such that the process is an instance of intentional process and the agent is an agent of the process and the time interval takes place during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 430-434	If conscious is an attribute of an entity holds during a time position, then the entity is capable of doing intentional process as a agent holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2751-2757	If a cognitive agent is interested in an entity, then there exists a process such that the process is an instance of intentional process and the cognitive agent is an agent of the process and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 239-244	If an entity is an instance of genetically engineered organism, then there exists a process such that the process is an instance of intentional process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 2839-2846	If an entity is an instance of processed milk, then there exist a process and another entity such that the process is an instance of intentional process and the other entity is an instance of cow milk and the other entity is a patient of the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	engineering.kif 999-1013	If a physical is an instance of robot, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of computer process and the other entity is an instance of computer program and the entity is running on the other entity and the physical is a patient of the entity and there exists a third entity such that the third entity is an instance of intentional process and the physical is an instrument for the third entity holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1082-1088	If an entity is an instance of synthetic substance, then there exists a process such that the process is an instance of intentional process and the entity is a result of the process and the entity is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2005-2017	If a physical is an instance of wake-up service, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an agent of the physical and the other entity experiences the physical and the fourth entity is an instance of intentional process and the third entity is an agent of the fourth entity and the other entity experiences the fourth entity and the entity is an instance of waking up and the other entity experiences the entity and the entity is a result of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28149-28159	If a physical is an instance of audio recorder, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of radiating sound and the third entity is an instance of intentional process and the physical is an instrument for the third entity and the entity is a patient of the third entity and the other entity is a result of the third entity and the other entity is an instance of audio recording
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28946-28968	If a process is an instance of operator assisted telephone communication, then there exist an object, an entity and a physical such that the process originates at the object and the process ends up at the entity and the physical is an instance of human and the physical has the purpose there exists another entity such that the other entity is an instance of intentional process and the physical is an agent of the other entity and the other entity is a subprocess of the process and the statement there exists a third entity such that the third entity is an instance of communication and the third entity originates at the object and the third entity ends up at the entity has the modal force of possibility holds during immediately after the time of existence of the other entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 319-324	If an entity is an instance of prepared food, then there exists a process such that the process is an instance of intentional process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Media.kif 1338-1352	If a physical is an instance of tape recorder, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of intentional process and the physical is an instrument for the third entity and the entity is a result of the third entity and the entity is an instance of audio recording and the other entity is an instance of recording tape and the other entity is connected to the physical holds during the third entity and the beginning of the time of existence of the third entity happens before the beginning of the time of existence of the entity is a part of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28594-28600	If an entity is an instance of uniform, then there exist a process and another entity such that the process is an instance of intentional process and the other entity is a result of the process and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17889-17895	If a cognitive agent is an issued by of a certificate, then there exists a process such that the process is an instance of intentional process and the cognitive agent is an agent of the process and the certificate is a result of the process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: