Covering - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11214-11215
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11211-11213
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11210-11210	Covering is a subclass of putting

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11188-11188	Uncovering is disjoint from covering
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3718-3718	Painting is a subclass of covering
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1123-1123	"遮盖" is the printable form of covering in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	english_format.kif 810-810	"covering" is the printable form of covering in english language
No TPTP formula. May not be expressible in strict first order.	french_format.kif 801-801	"couvrir" is the printable form of covering in french language
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 333-333	"aavarana" is the printable form of covering in Hindi
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 334-334	"Coprire" is the printable form of covering in italian language
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 753-753	"Cobrir" is the printable form of covering in portuguese language
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 338-338	"pagtabon" is the printable form of covering in cb
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 372-372	"covering" is the printable form of covering in cz
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 337-337	"tinakpan" is the printable form of covering in tg

appearance as argument number 3

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

WMD.kif 502-502

Lewisite biochemical agent antidote dimercaprol for covering

antecedent

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

Mid-level-ontology.kif 27494-27501

If a process is an instance of covering and an object is a patient of the process and another object is an instrument for the process,
then the other object covers the object holds during immediately after the time of existence of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3705-3716	If a process is an instance of folding and an object is a patient of the process, then there exist another process, another object and a third object such that the other process is an instance of covering and the other process is a subprocess of the process and the other object is a part of the object and the third object is a part of the object and the other object is an instrument for the other process and the third object is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1216-1218	If a disease or syndrome disease treatment topical antibiotic for a kind of process, then a kind of process is a subclass of covering
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5925-5933	If an object is an instance of bandage, then the object has purpose there exist a process and another process such that the process is an instance of therapeutic process and the other process is an instance of covering and the other process is a subprocess of the process and the object is an instrument for the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15370-15377	If a process is an instance of burying, then there exist another process and an object such that the other process is an instance of covering and the object is an instrument for the other process and the object is an instance of soil and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10071-10073	If an object is an instance of eyelid, then the object is capable of doing covering as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10075-10088	If an object is an instance of eyelid, then the object has purpose there exist the objectYE, an agent and a process such that the process is an instance of covering and the process is an instance of body motion and the agent is an instance of human and the agent experiences the process and the object is an instrument for the process and the objectYE is a patient of the process and the objectYE is an instance of eye and the objectYE is a part of the agent and the object is a part of the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3668-3678	If an object is an instance of wallpaper, then the object has purpose there exist another object, a third object and a process such that the other object is an instance of wall and the other object is a part of the third object and the third object is an instance of room and the process is an instance of covering and the other object is a patient of the process and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3797-3808	If an agent is an instance of painting device, then the agent has purpose there exist an object, a process,, , a self connected object and another self connected object such that the object is an instance of substance and the process is an instance of covering and the other self connected object is an instance of object and the self connected object is a surface of the other self connected object and the agent is an agent of the process and the object is an instrument for the process and the self connected object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3521-3534	If an agent is an instance of protective eyewear, then the agent has purpose there exist the agentRSON, an object,, , another object and a process such that the agentRSON is an instance of animal and the object is an instance of face and the other object is an instance of eye and the other object is a proper part of the object and the object is a proper part of the agentRSON and the agentRSON wears the agent and the process is an instance of covering and the agent is an agent of the process and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5590-5598	If an object is an instance of rug, then the object has purpose there exists a process such that the process is an instance of covering and the object is an instrument for the process and an entity is a patient of the process and the entity is an instance of floor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12645-12653	If an object is an instance of window covering, then the object has purpose there exist a process and an entity such that the process is an instance of covering and the entity is a patient of the process and the entity is an instance of window and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4601-4609	If an object is an instance of bed linen, then the object has purpose there exist a process and an entity such that the process is an instance of covering and the entity is a patient of the process and the entity is an instance of bed and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27466-27475	If a set or class is a subclass of a covering for a kind of body part, then the set or class has purpose there exist a process, a kind of body partI and the set or classI such that the process is an instance of covering and the kind of body partI is an instance of the kind of body part and the set or classI is an instance of the set or class and the process ends up at the kind of body partI and the set or classI is a patient 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: