No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1639-1640 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1324-1325 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 223-224 |
|
No TPTP formula. May not be expressible in strict first order. |
spanish_format.kif 265-266 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1316-1316 |
Content bearing process is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1319-1319 |
Content bearing process is a subclass of process |