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