No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3591-3592 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15771-15774 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 506-506 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 116-116 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15769-15769 |
House is a subclass of residential building |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15770-15770 |
House is a subclass of single family residence |