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

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


(termFormat ChineseLanguage Oqal "oqal") domainEnglishFormat.kif 42361-42361
(termFormat ChineseTraditionalLanguage Oqal "oqal") domainEnglishFormat.kif 42360-42360
(termFormat EnglishLanguage Oqal "oqal") domainEnglishFormat.kif 42359-42359

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 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