No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17991-17991 |
Non fully formed is the opposite of fully formed |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17974-17974 |
Fully formed are all the attributes of developmental attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17992-17992 |
Non fully formed is an immediate successor attribute of fully formed |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25186-25186 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25185-25185 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25184-25184 |
|