Covering - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Covering ChineseLanguage "这是 Putting 过程的 Class，过程中 agent 以另外一些东西完全或部分遮盖 patient。")	chinese_format.kif 3037-3038
(documentation Covering EnglishLanguage "The Class of Putting processes where the agent covers the patient, either completely or only partially, with something else.")	Merge.kif 11462-11464
(documentation Covering JapaneseLanguage "Putting の Class は、agent が patient を完全にまたは部分的にカバーする処理を行う。")	japanese_format.kif 1805-1806
(subclass Covering Putting)	Merge.kif 11460-11460	Covering is a subclass of putting

appearance as argument number 2

(disjoint Uncovering Covering)	Merge.kif 11440-11440	Uncovering is disjoint from covering
(subclass Painting Covering)	Mid-level-ontology.kif 3175-3175	Painting is a subclass of covering
(subclass TopicalApplication Covering)	Mid-level-ontology.kif 12470-12470	Topical application is a subclass of covering
(termFormat ChineseLanguage Covering "遮盖")	chinese_format.kif 1123-1123
(termFormat EnglishLanguage Covering "covering")	english_format.kif 1463-1463
(termFormat FrenchLanguage Covering "couvrir")	french_format.kif 801-801
(termFormat Hindi Covering "aavarana")	terms-hindi.txt 333-333
(termFormat ItalianLanguage Covering "Coprire")	terms-it.txt 336-336
(termFormat JapaneseLanguage Covering "覆い")	japanese_format.kif 2485-2485
(termFormat PortugueseLanguage Covering "Cobrir")	portuguese_format.kif 753-753
(termFormat cb Covering "pagtabon")	terms-cb.txt 338-338
(termFormat cz Covering "covering")	terms-cz.txt 372-372
(termFormat ro Covering "a acoperi")	relations-ro.kif 822-822
(termFormat tg Covering "tinakpan")	terms-tg.txt 337-337

appearance as argument number 3

(biochemicalAgentAntidote Lewisite Dimercaprol Covering)

WMD.kif 507-507

Lewisite biochemical agent antidote dimercaprol for covering

antecedent

(=>
    (and
        (instance ?C Covering)
        (patient ?C ?P)
        (instrument ?C ?I))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?C))
        (covers ?I ?P)))

Merge.kif 15963-15970

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

consequent

(=> (and (instance ?F Folding) (patient ?F ?O)) (exists (?C ?P1 ?P2) (and (instance ?C Covering) (subProcess ?C ?F) (part ?P1 ?O) (part ?P2 ?O) (instrument ?C ?P1) (patient ?C ?P2))))	Mid-level-ontology.kif 3162-3173	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
(=> (diseaseMedicine ?DISEASE TopicalAntibiotic ?PROCESS) (subclass ?PROCESS Covering))	WMD.kif 1315-1317	If a disease or syndrome is disease treatment topical antibiotic for a kind of process, then a kind of process is a subclass of covering
(=> (instance ?B Bandage) (hasPurpose ?B (exists (?TP ?C) (and (instance ?TP TherapeuticProcess) (instance ?C Covering) (subProcess ?C ?TP) (instrument ?C ?B)))))	Mid-level-ontology.kif 5684-5692	If a physical is an instance of bandage, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of therapeutic process and the other entity is an instance of covering and the other entity is a subprocess of the entity and the physical is an instrument for the other entity
(=> (instance ?B Burying) (exists (?C ?S) (and (instance ?C Covering) (instrument ?C ?S) (instance ?S Soil) (subProcess ?C ?B))))	Mid-level-ontology.kif 18025-18032	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
(=> (instance ?E Eyelid) (capability Covering instrument ?E))	Mid-level-ontology.kif 12186-12188	If an object is an instance of eyelid, then the object is capable of doing covering as a instrument
(=> (instance ?E Eyelid) (hasPurpose ?E (exists (?EYE ?P ?C) (and (instance ?C Covering) (instance ?C BodyMotion) (instance ?P Human) (experiencer ?C ?P) (instrument ?C ?E) (patient ?C ?EYE) (instance ?EYE Eye) (part ?EYE ?P) (part ?E ?P)))))	Mid-level-ontology.kif 12190-12203	If a physical is an instance of eyelid, then the physical has the purpose there exist the physicalYE, another entity and a third entity such that the third entity is an instance of covering and the third entity is an instance of body motion and the other entity is an instance of human and the other entity experiences the third entity and the physical is an instrument for the third entity and the physicalYE is a patient of the third entity and the physicalYE is an instance of eye and the physicalYE is a part of the other entity and the physical is a part of the other entity
(=> (instance ?L Lid) (hasPurpose ?L (exists (?COVER) (and (instance ?COVER Covering) (instrument ?COVER ?L)))))	Mid-level-ontology.kif 4004-4010	If a physical is an instance of lid, then the physical has the purpose there exists an entity such that the entity is an instance of covering and the physical is an instrument for the entity
(=> (instance ?P Wallpaper) (hasPurpose ?P (exists (?W ?R ?C) (and (instance ?W Wall) (part ?W ?R) (instance ?R Room) (instance ?C Covering) (patient ?C ?W) (instrument ?C ?P)))))	Mid-level-ontology.kif 3124-3134	If a physical is an instance of wallpaper, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of wall and the entity is a part of the other entity and the other entity is an instance of room and the third entity is an instance of covering and the entity is a patient of the third entity and the physical is an instrument for the third entity
(=> (instance ?PD PaintingDevice) (hasPurpose ?PD (exists (?STUFF ?COVER ?SURF ?OBJ) (and (instance ?STUFF Substance) (instance ?COVER Covering) (instance ?OBJ Object) (surface ?SURF ?OBJ) (agent ?COVER ?PD) (instrument ?COVER ?STUFF) (patient ?COVER ?SURF)))))	Mid-level-ontology.kif 3255-3266	If a physical is an instance of painting device, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of substance and the other entity is an instance of covering and the fourth entity is an instance of object and the third entity is a surface of the fourth entity and the physical is an agent of the other entity and the entity is an instrument for the other entity and the third entity is a patient of the other entity
(=> (instance ?PE ProtectiveEyewear) (hasPurpose ?PE (exists (?PERSON ?FACE ?EYE ?COVER) (and (instance ?PERSON Animal) (instance ?FACE Face) (instance ?EYE Eye) (properPart ?EYE ?FACE) (properPart ?FACE ?PERSON) (wears ?PERSON ?PE) (instance ?COVER Covering) (agent ?COVER ?PE) (patient ?COVER ?FACE)))))	Cars.kif 3496-3509	If a physical is an instance of protective eyewear, then the physical has the purpose there exist the physicalRSON, another entity,, , a third entity and a fourth entity such that the physicalRSON is an instance of animal and the other entity is an instance of face and the third entity is an instance of eye and the third entity is a proper part of the other entity and the other entity is a proper part of the physicalRSON and the physicalRSON wears the physical and the fourth entity is an instance of covering and the physical is an agent of the fourth entity and the other entity is a patient of the fourth entity
(=> (instance ?R Rug) (hasPurpose ?R (exists (?C ?F) (and (instance ?C Covering) (instrument ?C ?R) (patient ?C ?F) (instance ?F Floor)))))	Mid-level-ontology.kif 5343-5351	If a physical is an instance of rug, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of covering and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of floor
(=> (instance ?WC WindowCovering) (hasPurpose ?WC (exists (?C ?W) (and (instance ?C Covering) (patient ?C ?W) (instance ?W Window) (instrument ?C ?WC)))))	Mid-level-ontology.kif 15244-15252	If a physical is an instance of window covering, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of covering and the other entity is a patient of the entity and the other entity is an instance of window and the physical is an instrument for the entity
(=> (instance ?X BedLinen) (hasPurpose ?X (exists (?COVER ?BED) (and (instance ?COVER Covering) (patient ?COVER ?BED) (instance ?BED Bed) (instrument ?COVER ?X)))))	Mid-level-ontology.kif 4124-4132	If a physical is an instance of bed linen, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of covering and the other entity is a patient of the entity and the other entity is an instance of bed and the physical is an instrument for the entity
(=> (subclass ?C (CoveringFn ?B)) (hasPurpose ?C (exists (?P ?BI ?CI) (and (instance ?P Covering) (instance ?BI ?B) (instance ?CI ?C) (destination ?P ?BI) (patient ?P ?CI)))))	Mid-level-ontology.kif 29781-29790	If a physical is a subclass of a covering for a kind of body part, then the physical has the purpose there exist an entity, a kind of body partI and the physicalI such that the entity is an instance of covering and the kind of body partI is an instance of the kind of body part and the physicalI is an instance of the physical and the entity ends up at the kind of body partI and the physicalI is a patient of the entity

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: