No TPTP formula. May not be expressible in strict first order. | Languages.kif 3681-3681 | Romance based pidgin language is a subclass of pidgin language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3559-3559 | French based pidgin language is a subclass of romance based pidgin language |
![]() |