|
|
   PrayerMat
|
|
|
| appearance as argument number 1 |
|
|
| (documentation PrayerMat EnglishLanguage "PrayerMat is a type of Rug which is used in Praying") | Mid-level-ontology.kif 25888-25889 | |
| (subclass PrayerMat Rug) | Mid-level-ontology.kif 25887-25887 | PrayerMat は Rug の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PrayerMat "prayer mat") | Mid-level-ontology.kif 25890-25890 |
| 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 25892-25901 |
|
|
|