No TPTP formula. May not be expressible in strict first order. | Languages.kif 9631-9631 | 加洛浪漫语言 是 加洛伊比利亚语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9637-9637 | 加洛意大利语 是 加洛浪漫语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9740-9740 | 加洛拉蒂安语 是 加洛浪漫语言 的 subclass |