No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1370-1370 |
Esperanto language is an instance of artificial language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1386-1386 |
Europanto language is an instance of artificial language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14624-14624 |
Ido language is an instance of artificial language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1393-1393 |
Interlingua language is an instance of artificial language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14627-14627 |
Interlingue language is an instance of artificial language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14693-14693 |
Volapuk language is an instance of artificial language |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1434-1434 |
Computer language is a subclass of artificial language |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1461-1461 |
Constructed language is a subclass of artificial language |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 841-841 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 884-884 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 517-517 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 48-48 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 51-51 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2202-2202 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 469-469 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 53-53 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 84-84 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 538-538 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 52-52 |
|