No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18162-18162 |
Fully formed is an instance of developmental attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18174-18174 |
Non fully formed is an instance of developmental attribute |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 189-189 |
Virion is an instance of developmental attribute |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1260-1260 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1741-1741 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 938-938 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 474-474 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 477-477 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2622-2622 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 890-890 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 513-513 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 959-959 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 478-478 |
|