Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Abayah
Abayah(abayah)abaya

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


(documentation Abayah EnglishLanguage "A traditional long black overgarment worn by conservative Arab woman that cover the body from the shoulders down to the feet.") ArabicCulture.kif 522-524
(subclass Abayah Cloak) ArabicCulture.kif 526-526 Abayah is a subclass of cloak

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


(termFormat EnglishLanguage Abayah "abayah") domainEnglishFormat.kif 5035-5035
(termFormat ChineseTraditionalLanguage Abayah "阿巴亞") domainEnglishFormat.kif 5036-5036
(termFormat ChineseLanguage Abayah "阿巴亚") domainEnglishFormat.kif 5037-5037

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


(=>
    (instance ?T Abayah)
    (attribute ?T Black))		 ArabicCulture.kif 528-530 If X is an instance of abayah, then black is an attribute of X
(=>
    (instance ?H Abayah)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))		 ArabicCulture.kif 532-538 If X is an instance of abayah, then X has the purpose there exists Y such that Y is an instance of woman and Y wears X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners