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 is a subclass of plant anatomical structure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15061-15061 |
Spore is a subclass of reproductive body |