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