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 15063-15063 |
|
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 15062-15062 |
Spore est une sous-classe de PlantAnatomicalStructure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15061-15061 |
Spore est une sous-classe de corps reproducteur |