No TPTP formula. May not be expressible in strict first order. | Languages.kif 13659-13659 | WestPapuanLanguage est une sous-classe de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13665-13665 | BirdsHeadLanguage est une sous-classe de WestPapuanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13768-13768 | HattamLanguage est une sous-classe de WestPapuanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13784-13784 | KebarLanguage est une sous-classe de WestPapuanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13799-13799 | NorthHalmaheraLanguage est une sous-classe de WestPapuanLanguage |