No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3505-3506 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15072-15074 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1926-1926 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2317-2317 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15071-15071 |
Pollen e' uma sub-classe de PlantAnatomicalStructure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15070-15070 |
Pollen e' uma sub-classe de Corpo Reprodutor |