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