No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18153-18153 |
Non fully formed is the opposite of fully formed |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18136-18136 |
Fully formed are all the attributes of developmental attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18154-18154 |
Non fully formed is an immediate successor attribute of fully formed |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25196-25196 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25195-25195 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25194-25194 |
|