No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5345-5345 | Rug est une sous-classe de textile |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25842-25842 | PrayerMat est une sous-classe de Rug |
![]() |