| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6075-6075 | CantLanguage e' uma sub-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6083-6083 | EnglishTahitianLanguage e' uma sub-classe de CantLanguage |
|
|