|
|
   PrayerMat
|
|
|
| appearance as argument number 1 |
|
|
| (documentation PrayerMat EnglishLanguage "PrayerMat is a type of Rug which is used in Praying") | Mid-level-ontology.kif 25843-25844 | |
| (subclass PrayerMat Rug) | Mid-level-ontology.kif 25842-25842 | PrayerMat e' uma sub-classe de Rug |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PrayerMat "prayer mat") | Mid-level-ontology.kif 25845-25845 |
| antecedent |
|
|
| (=> (instance ?MAT PrayerMat) (hasPurpose ?MAT (exists (?PRAY ?PERSON) (and (instance ?PRAY Praying) (agent ?PRAY ?PERSON) (instance ?PERSON Human) (holdsDuring (WhenFn ?PRAY) (orientation ?PERSON ?MAT On)))))) |
Mid-level-ontology.kif 25847-25856 |
|
|
|