PrayerMat
|
|
appearance as argument number 1 |
(documentation PrayerMat EnglishLanguage "PrayerMat is a type of Rug which is used in Praying") | Mid-level-ontology.kif 25855-25856 | |
(subclass PrayerMat Rug) | Mid-level-ontology.kif 25854-25854 | PrayerMat est une sous-classe de Rug |
appearance as argument number 2 |
(termFormat EnglishLanguage PrayerMat "prayer mat") | Mid-level-ontology.kif 25857-25857 |
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 25859-25868 |