No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 702-710 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 793-802 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1003-1024 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 772-781 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 755-770 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 973-983 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 950-965 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 920-930 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 938-948 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 991-1001 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 895-904 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 906-912 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 865-874 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 876-887 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 718-730 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 599-607 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10922-10927 |
|