No TPTP formula. May not be expressible in strict first order. | Languages.kif 14083-14083 | WitotoGroupLanguage est une sous-classe de WitotoanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14090-14090 | OcainaGroupLanguage est une sous-classe de WitotoGroupLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14110-14110 | WitotoProperLanguage est une sous-classe de WitotoGroupLanguage |
![]() |