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 412-413
(subclass Oqal Clothing) ArabicCulture.kif 415-415

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


(termFormat ChineseLanguage Oqal "oqal") domainEnglishFormat.kif 42380-42380
(termFormat ChineseTraditionalLanguage Oqal "oqal") domainEnglishFormat.kif 42379-42379
(termFormat EnglishLanguage Oqal "oqal") domainEnglishFormat.kif 42378-42378

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 420-431
(=>
    (instance ?T Oqal)
    (attribute ?T Black))
ArabicCulture.kif 416-418


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