No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18212-18212 |
Embryonic is the opposite of larval |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 4027-4028 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18213-18216 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5984-5984 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6465-6465 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6466-6466 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18211-18211 |
Embryonic is a subattribute of non fully formed |