No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3006-3007 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11177-11179 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1769-1770 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1026-1026 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11175-11175 |
Ambulating is exhaustively partitioned into walking and running |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11172-11172 |
Ambulating is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11173-11173 |
Ambulating is a subclass of intentional process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11174-11174 |
Ambulating is a subclass of translocation |