No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26555-26555 |
子類 Soaking and Wetting |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1182-1182 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1581-1581 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 860-860 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 392-392 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 395-395 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2544-2544 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 812-812 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 397-397 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 431-431 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 881-881 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 396-396 |
|