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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Hat

appearance as argument number 1

(documentation Hat EnglishLanguage "A type of Clothing that is worn on the Head. Note that this class covers caps, bonnets, berets, etc.") Mid-level-ontology.kif 5145-5146
(externalImage Hat " hat/ Hat_4.png") pictureList.kif 491-491
(externalImage Hat "") pictureList.kif 110-110
(subclass Hat
    (CoveringFn Head))
Mid-level-ontology.kif 5147-5147 HatCoveringFn Headsubclass では %n
(subclass Hat Clothing) Mid-level-ontology.kif 5144-5144 Hat衣類subclass では %n

appearance as argument number 2

(subclass Gutrah Hat) ArabicCulture.kif 371-371 GutrahHatsubclass では %n
(subclass Kufiyyah Hat) ArabicCulture.kif 356-356 KufiyyahHatsubclass では %n
(subclass Shimagh Hat) ArabicCulture.kif 392-392 ShimaghHatsubclass では %n
(subclass Tagiyyah Hat) ArabicCulture.kif 363-363 TagiyyahHatsubclass では %n
(termFormat ChineseLanguage Hat "帽子") domainEnglishFormat.kif 27576-27576
(termFormat ChineseTraditionalLanguage Hat "帽子") domainEnglishFormat.kif 27575-27575
(termFormat EnglishLanguage Hat "hat") domainEnglishFormat.kif 27574-27574


        (instance ?D Dressing)
        (instance ?O Oqal)
        (instance ?H Hat)
        (patient ?D ?O)
        (patient ?D ?H))
    (hasPurpose ?O
        (exists (?A)
                (instance ?A Attaching)
                (instrument ?A ?O)))))
ArabicCulture.kif 420-431
        (wears ?PERSON ?HAT)
        (instance ?HAT Hat))
    (exists (?HEAD)
            (instance ?HEAD Head)
            (part ?HEAD ?PERSON)
            (meetsSpatially ?HAT ?HEAD))))
Mid-level-ontology.kif 5149-5157

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