NorthernGreatAndamaneseLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5432-5434 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5431-5431 | NorthernGreatAndamaneseLanguage e' uma sub-classe de GreatAndamaneseLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5437-5437 | AkaBoLanguage e' uma instancia de NorthernGreatAndamaneseLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5444-5444 | AkaCariLanguage e' uma instancia de NorthernGreatAndamaneseLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5459-5459 | AkaJeruLanguage e' uma instancia de NorthernGreatAndamaneseLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5452-5452 | AkaKoraLanguage e' uma instancia de NorthernGreatAndamaneseLanguage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41093-41093 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41092-41092 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41091-41091 |