Touching - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3048-3049
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11617-11618
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1816-1817
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6924-6924
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11615-11615	Touching is a subclass of transfer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 284-284	Touching is a biochemical agent delivery of bacillus anthracis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 201-201	Touching is a biochemical agent delivery of bacterial agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 476-476	Touching is a biochemical agent delivery of blister agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1859-1859	Touching is a biochemical agent delivery of lassa virus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18508-18508	Catching is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12985-12985	Embracing is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11638-11638	Grabbing is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11668-11668	Impacting is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12949-12949	Kissing is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12974-12974	Licking is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6657-6657	Massaging is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1534-1534	Touch surface action is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1127-1127	Touch surface action is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1471-1471	Touch surface action is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	french_format.kif 805-805	Touch surface action is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 337-337	Touch surface action is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 340-340	Touch surface action is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2489-2489	Touch surface action is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 757-757	Touch surface action is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 342-342	Touch surface action is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 376-376	Touch surface action is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 635-635	Touch surface action is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 826-826	Touch surface action is a subclass of touching
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 341-341	Touch surface action is a subclass of touching

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 11620-11627

If a process is an instance of touching and an agent is an agent of the process and an entity is a patient of the process,
then the agent is not connected to the entity holds during the beginning of the time of existence of the process and the agent is connected to the entity holds during the end of the time of existence of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4201-4225	If toxic and infectious substance is an attribute of an object and the object is an instance of substance or the object is an instance of microorganism, then there exist an agent, a process,, , another process and a third kind of process such that the agent is an instance of human or the agent is an instance of animal and the object is near to the agent and the process is an instance of inhaling or the process is an instance of ingesting or the process is an instance of touching and the agent is an agent of the process and the object is a patient of the process and the process causes the other process and the agent is a patient of the other process and the other process is an instance of a third kind of process and the object is capable of doing the third kind of process as a resource and the third kind of process is a subclass of injuring or the third kind of process is a subclass of death
No TPTP formula. May not be expressible in strict first order.	Sports.kif 636-646	If a process is an instance of baseball run and an agent is an agent of the process, then there exist another process and an entity such that the other process is an instance of touching and the other process is a subprocess of the process and the agent is an agent of the other process and the entity is a patient of the other process and the entity is an instance of home base
No TPTP formula. May not be expressible in strict first order.	Sports.kif 723-744	If a process is an instance of baseball run, then there exist another process, a third process,, , a fourth process,, , a fifth process,, , an entity,, , another entity,, , a third entity and a fourth entity such that the other process is an instance of touching and the third process is an instance of touching and the fourth process is an instance of touching and the fifth process is an instance of touching and the entity is an instance of baseball base and the other entity is an instance of baseball base and the third entity is an instance of baseball base and the fourth entity is an instance of baseball base and the entity is not equal to the other entity and the entity is not equal to the third entity and the entity is not equal to the fourth entity and the other entity is not equal to the third entity and the other entity is not equal to the fourth entity and the third entity is not equal to the fourth entity and the other process is a subprocess of the process and the third process is a subprocess of the process and the fourth process is a subprocess of the process and the fifth process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13777-13782	If a process is an instance of tactile perception, then there exists another process such that the other process is an instance of touching and the other process is a subprocess of the process

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: