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

appearance as argument number 2

(termFormat ChineseLanguage Belt "带")	domainEnglishFormat.kif 10721-10721
(termFormat ChineseTraditionalLanguage Belt "帶")	domainEnglishFormat.kif 10720-10720
(termFormat EnglishLanguage Belt "belt")	domainEnglishFormat.kif 10719-10719

antecedent

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

Mid-level-ontology.kif 6004-6012

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

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 IhramClothing and the animal wears a WearableItem and Male is an attribute of the WearableItem,
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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: