No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 703-711 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 794-803 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1004-1023 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 773-782 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 756-771 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 974-984 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 951-966 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 921-931 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 939-949 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 992-1002 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 896-905 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 907-913 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 866-875 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 877-888 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 719-731 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 600-608 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10895-10900 |
|