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 5426-5427
(externalImage Blanket "http://upload.wikimedia.org/wikipedia/commons/8/ 8a/ Blanket.jpg")	pictureList.kif 4553-4553
(subclass Blanket Fabric)	Mid-level-ontology.kif 5425-5425	Blanket is a subclass of fabric

appearance as argument number 2

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

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 5429-5438

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: