No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 215-215 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 216-216 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18396-18396 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 127-127 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 144-144 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1956-1956 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 79-79 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 278-278 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 183-183 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 146-146 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 132-132 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 292-292 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30103-30103 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30102-30102 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30101-30101 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-de.txt 89-89 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 293-293 |
|