| 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 | Oqal is a subclass of clothing |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Oqal "oqal") | domainEnglishFormat.kif 42416-42416 | |
| (termFormat ChineseTraditionalLanguage Oqal "oqal") | domainEnglishFormat.kif 42415-42415 | |
| (termFormat EnglishLanguage Oqal "oqal") | domainEnglishFormat.kif 42414-42414 |
| 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 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