NorthernIroquoianLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11130-11131 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11129-11129 | NorthernIroquoianLanguage e' uma sub-classe de IroquoianLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11144-11144 | FiveNationsLanguage e' uma sub-classe de NorthernIroquoianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11237-11237 | HuronLanguage e' uma sub-classe de NorthernIroquoianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11135-11135 | LaurentianLanguage e' uma sub-classe de NorthernIroquoianLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11256-11256 | TuscaroraNottowayLanguage e' uma sub-classe de NorthernIroquoianLanguage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41111-41111 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41110-41110 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41109-41109 |