No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 351-351 |
子類 質膜 and BodyCovering |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11013-11013 |
子類 皮膚 and BodyCovering |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1019-1019 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1250-1250 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 697-697 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 228-228 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 231-231 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2380-2380 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 649-649 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 233-233 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 266-266 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 718-718 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 232-232 |
|