No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2556-2557 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6985-6987 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1258-1259 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11979-11979 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11980-11980 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10288-10288 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11977-11977 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6982-6982 |
Tesla est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6983-6983 |
Tesla est une instance de syst�me d'unit� international |