FriulianLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9976-9987 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8494-8494 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9242-9242 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9241-9241 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9975-9975 | FriulianLanguage e' uma instancia de RhaetianLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25070-25070 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25069-25069 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25068-25068 |