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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Oqal

Sigma KEE - Oqal
Oqal

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


(documentation Oqal EnglishLanguage "A black headband worn by Saudi Arabia and Gulf state Arabs to hold other pieces of head cover in place.") ArabicCulture.kif 399-400
(subclass Oqal Clothing) ArabicCulture.kif 402-402

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


(termFormat ChineseLanguage Oqal "oqal") domainEnglishFormat.kif 42355-42355
(termFormat ChineseTraditionalLanguage Oqal "oqal") domainEnglishFormat.kif 42354-42354
(termFormat EnglishLanguage Oqal "oqal") domainEnglishFormat.kif 42353-42353

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


(=>
    (and
        (instance ?D Dressing)
        (instance ?O Oqal)
        (instance ?H Hat)
        (patient ?D ?O)
        (patient ?D ?H))
    (hasPurpose ?O
        (exists (?A)
            (and
                (instance ?A Attaching)
                (instrument ?A ?O)))))
ArabicCulture.kif 407-418
(=>
    (instance ?T Oqal)
    (attribute ?T Black))
ArabicCulture.kif 403-405


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