Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 411-412 | |
| (subclass Oqal Clothing) | ArabicCulture.kif 414-414 | Oqal is a subclass of clothing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?T Oqal) (attribute ?T Black)) |
ArabicCulture.kif 415-417 | If X is an instance of oqal, then black is an attribute of X |
| (=> (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 419-430 | If X is an instance of dressing, Y is an instance of oqal, Z is an instance of hat, Y is a patient of X, and Z is a patient of X, then Y has the purpose there exists W such that W is an instance of attaching and Y is an instrument for W |
|