BiloxiLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12928-12930 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8378-8378 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12927-12927 | BiloxiLanguage est une instance de BiloxiOfoLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11009-11009 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11008-11008 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11007-11007 |