No TPTP formula. May not be expressible in strict first order. | Languages.kif 14705-14709 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1446-1446 | Linguagem Humana e' uma sub-classe de Linguagem |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1460-1460 | Lingagem Construida e' uma sub-classe de Linguagem Humana |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1477-1477 | Linguagem Natural e' uma sub-classe de Linguagem Humana |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1485-1485 | ManualHumanLanguage e' uma sub-classe de Linguagem Humana |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1491-1491 | SpokenHumanLanguage e' uma sub-classe de Linguagem Humana |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1508-1508 | WrittenHumanLanguage e' uma sub-classe de Linguagem Humana |
![]() |