|
|
   ItaloWesternRomanceLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9503-9504 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9502-9502 | Italo western romance language is a subclass of romance language |
| appearance as argument number 2 |
|
|
| 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 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10593-10593 | Southern romance language is a subclass of italo western romance language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9618-9618 | Western romance language is a subclass of italo western romance language |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31273-31273 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31272-31272 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31271-31271 |
|
|
|