| 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 |
|
|
|