No TPTP formula. May not be expressible in strict first order. | Languages.kif 9361-9361 | Italic language is a subclass of indo european language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9366-9366 | Latino faliscan language is a subclass of italic language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9380-9380 | Romance language is a subclass of italic language |