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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 397-398
(subclass Oqal Clothing) ArabicCulture.kif 400-400

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


(termFormat ChineseLanguage Oqal "oqal") domainEnglishFormat.kif 42286-42286
(termFormat ChineseTraditionalLanguage Oqal "oqal") domainEnglishFormat.kif 42285-42285
(termFormat EnglishLanguage Oqal "oqal") domainEnglishFormat.kif 42284-42284

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 405-416
(=>
    (instance ?T Oqal)
    (attribute ?T Black))
ArabicCulture.kif 401-403


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