No TPTP formula. May not be expressible in strict first order. | Languages.kif 14042-14042 | WitotoanLanguage est une sous-classe de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14049-14049 | BoranLanguage est une sous-classe de WitotoanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14083-14083 | WitotoGroupLanguage est une sous-classe de WitotoanLanguage |
![]() |