No TPTP formula. May not be expressible in strict first order. | Languages.kif 9502-9502 | Italo西方浪漫语言 是 浪漫语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9508-9508 | Italo达尔马提亚浪漫语言 是 italo西方浪漫语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9618-9618 | 西方浪漫语言 是 italo西方浪漫语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10593-10593 | 南方浪漫语言 是 italo西方浪漫语言 的 subclass |