ItaloDalmatianRomanceLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9509-9511 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9508-9508 | Italo dalmatian romance language is a subclass of italo western romance language |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9514-9514 | Dalmatian language is an instance of italo dalmatian romance language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9522-9522 | Istriot language is an instance of italo dalmatian romance language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9541-9541 | Italian language is an instance of italo dalmatian romance language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9532-9532 | Judeo italian language is an instance of italo dalmatian romance language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9588-9588 | Napoletano calabrese language is an instance of italo dalmatian romance language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9602-9602 | Sicilian language is an instance of italo dalmatian romance language |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31267-31267 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31266-31266 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31265-31265 |