UnitOfMeasureMultiplier |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2437-2439 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6451-6454 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1129-1131 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6449-6449 | UnitOfMeasureMultiplier e' uma sub-classe de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6448-6448 | UnitOfMeasureMultiplier e' uma sub-classe de funcao Unaria |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6496-6496 | GigaFn e' uma instancia de UnitOfMeasureMultiplier |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6468-6468 | KiloFn e' uma instancia de UnitOfMeasureMultiplier |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6482-6482 | MegaFn e' uma instancia de UnitOfMeasureMultiplier |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6538-6538 | MicroFn e' uma instancia de UnitOfMeasureMultiplier |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6524-6524 | MilliFn e' uma instancia de UnitOfMeasureMultiplier |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6552-6552 | NanoFn e' uma instancia de UnitOfMeasureMultiplier |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6567-6567 | PicoFn e' uma instancia de UnitOfMeasureMultiplier |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6510-6510 | TeraFn e' uma instancia de UnitOfMeasureMultiplier |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65662-65662 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6456-6460 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6462-6466 |
|