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 5063-5064
(externalImage Belt "http://articulatesoftware.com/SUMOpictures/clothes/ accessories/ belt.png")	pictureList.kif 273-273
(subclass Belt Clothing)	Mid-level-ontology.kif 5062-5062	Belt is a subclass of clothing

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 5066-5074

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: