No TPTP formula. May not be expressible in strict first order. | Languages.kif 9380-9380 | Romance language is a subclass of italic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9386-9386 | Eastern romance language is a subclass of romance language |
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 |
![]() |