Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rug
Rug(rug)
more pictures...
mat

appearance as argument number 1
-------------------------


(documentation Rug EnglishLanguage "A piece of Fabric whose purpose is to cover a Floor.") Mid-level-ontology.kif 5341-5341
(externalImage Rug "http://upload.wikimedia.org/wikipedia/commons/4/44/Red_carpet.JPG") pictureList.kif 11769-11769
(externalImage Rug "http://upload.wikimedia.org/wikipedia/commons/9/98/Carpet_pattern.jpg") pictureList.kif 11770-11770
(externalImage Rug "http://upload.wikimedia.org/wikipedia/commons/c/ca/Farsh_Qom.JPG") pictureList.kif 11773-11773
(externalImage Rug "http://upload.wikimedia.org/wikipedia/commons/d/d0/Swatches_of_berber_carpet.jpg") pictureList.kif 10236-10236
(externalImage Rug "http://upload.wikimedia.org/wikipedia/commons/d/d1/Tapis_Kairouan.jpg") pictureList.kif 11772-11772
(subclass Rug Fabric) Mid-level-ontology.kif 5340-5340 Rug is a subclass of fabric

appearance as argument number 2
-------------------------


(subclass PrayerMat Rug) Mid-level-ontology.kif 26118-26118 Prayer mat is a subclass of rug
(termFormat ChineseLanguage Rug "地毯") domainEnglishFormat.kif 50634-50634 Prayer mat is a subclass of rug
(termFormat ChineseTraditionalLanguage Rug "地毯") domainEnglishFormat.kif 50633-50633 Prayer mat is a subclass of rug
(termFormat EnglishLanguage Rug "rug") domainEnglishFormat.kif 50632-50632 Prayer mat is a subclass of rug

antecedent
-------------------------


(=>
    (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


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