No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 497-497 |
Amphipathic molecule is a subclass of molecule |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21645-21645 |
Caffeine is a subclass of molecule |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 44-44 |
Monomer is a subclass of molecule |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 64-64 |
Polymer is a subclass of molecule |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1111-1111 |
Viral genome is a subclass of molecule |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1047-1047 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1305-1305 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 725-725 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 256-256 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 259-259 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2409-2409 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 677-677 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 295-295 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 746-746 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 260-260 |
|