No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3510-3510 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15109-15109 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2373-2373 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15108-15108 |
Spore e' uma sub-classe de PlantAnatomicalStructure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15107-15107 |
Spore e' uma sub-classe de Corpo Reprodutor |