CompositeUnitOfMeasure
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2397-2399 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6210-6213 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1078-1080 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6208-6208 | CompositeUnitOfMeasure est une sous-classe de function de quantit� |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6207-6207 | CompositeUnitOfMeasure est une sous-classe de unit� de mesure |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6720-6720 | Ampere est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7040-7040 | Becquerel est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 238-238 | BitsPerSecond est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7349-7349 | BritishThermalUnit est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7341-7341 | Calorie est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6759-6759 | Candela est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6912-6912 | Coulomb est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7155-7155 | ElectronVolt est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6937-6937 | Farad est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7054-7054 | Gray est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6990-6990 | Henry est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6898-6898 | Horsepower est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 254-254 | InstructionsPerSecond est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6879-6879 | Joule est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2000-2000 | KilowattHour est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3924-3924 | KnotUnitOfSpeed est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7018-7018 | Lumen est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7028-7028 | Lux est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 812-812 | McgPerKg est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1700-1700 | MilesPerHour est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6861-6861 | Newton est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6948-6948 | Ohm est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 246-246 | PacketsPerSecond est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6870-6870 | Pascal est une instance de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7329-7329 | PoundForce est une instance de CompositeUnitOfMeasure |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6455-6459 |
|