Blanket - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Blanket EnglishLanguage "A piece of Fabric whose purpose is to keep a person who is in bed warm.")	Mid-level-ontology.kif 5981-5982
(externalImage Blanket "http://upload.wikimedia.org/wikipedia/commons/8/ 8a/ Blanket.jpg")	pictureList.kif 4552-4552
(subclass Blanket Fabric)	Mid-level-ontology.kif 5980-5980	Blanket is a subclass of fabric

appearance as argument number 2

(termFormat ChineseLanguage Blanket "毯")	domainEnglishFormat.kif 11318-11318
(termFormat ChineseTraditionalLanguage Blanket "毯")	domainEnglishFormat.kif 11317-11317
(termFormat EnglishLanguage Blanket "blanket")	domainEnglishFormat.kif 11316-11316

antecedent

(=>
    (instance ?BLANKET Blanket)
    (hasPurpose ?BLANKET
        (exists (?HEAT ?PERSON ?BED)
            (and
                (instance ?HEAT Heating)
                (patient ?HEAT ?PERSON)
                (instance ?PERSON Human)
                (located ?PERSON ?BED)
                (instance ?BED Bed)))))

Mid-level-ontology.kif 5984-5993

If a physical is an instance of blanket,
then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of heating and the other entity is a patient of the entity and the other entity is an instance of human and the other entity is located at the third entity and the third entity is an instance of bed

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: