No TPTP formula. May not be expressible in strict first order. | Languages.kif 6075-6075 | CantLanguage est une sous-classe de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6083-6083 | EnglishTahitianLanguage est une sous-classe de CantLanguage |
![]() |