Belt - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Belt EnglishLanguage "A piece of Clothing that is worn around the waist to restrain another piece of clothing.")	Mid-level-ontology.kif 5618-5619
(externalImage Belt "http://articulatesoftware.com/SUMOpictures/clothes/ accessories/ belt.png")	pictureList.kif 273-273
(subclass Belt Clothing)	Mid-level-ontology.kif 5617-5617	Belt is a subclass of clothing

appearance as argument number 2

(termFormat ChineseLanguage Belt "带")	domainEnglishFormat.kif 10728-10728
(termFormat ChineseTraditionalLanguage Belt "帶")	domainEnglishFormat.kif 10727-10727
(termFormat EnglishLanguage Belt "belt")	domainEnglishFormat.kif 10726-10726

antecedent

(=>
    (and
        (wears ?P ?B)
        (instance ?B Belt))
    (exists (?C)
        (and
            (instance ?C Clothing)
            (wears ?P ?C)
            (meetsSpatially ?B ?C))))

Mid-level-ontology.kif 5621-5629

If an animal wears a wearable item and the wearable item is an instance of belt,
then there exists another wearable item such that the other wearable item is an instance of clothing and the animal wears the other wearable item and the wearable item meets the other wearable item

consequent

(=>
    (and
        (instance ?IC IhramClothing)
        (wears ?IC ?M)
        (attribute ?M Male))
    (exists (?C ?B ?S)
        (and
            (instance ?C Cloak)
            (instance ?B Belt)
            (instance ?S Sandal)
            (member ?C ?IC)
            (member ?B ?IC)
            (member ?S ?IC))))

ArabicCulture.kif 151-163

If an animal is an instance of ihram clothing and the animal wears a wearable item and male is an attribute of the wearable item,
then there exist a physical, another physical and a third physical such that the physical is an instance of cloak and the other physical is an instance of belt and the third physical is an instance of sandal and the physical is a member of the animal and the other physical is a member of the animal and the third physical is a member of the animal

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: