No TPTP formula. May not be expressible in strict first order. | Merge.kif 1429-1429 | Linguagem Artificial e' uma sub-classe de Linguagem |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1434-1434 | Linguagem de Programacao e' uma sub-classe de Linguagem Artificial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1461-1461 | Lingagem Construida e' uma sub-classe de Linguagem Artificial |
![]() |