|
|
   NonCompositeUnitOfMeasure
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2400-2401 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6219-6222 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1081-1083 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6217-6217 | NonCompositeUnitOfMeasure est une sous-classe de quantit� constante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6216-6216 | NonCompositeUnitOfMeasure est une sous-classe de unit� de mesure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2541-2541 | PHValue est une instance de NonCompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6319-6319 | UnitOfAngularMeasure est une sous-classe de NonCompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6309-6309 | UnitOfCurrency est une sous-classe de NonCompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6340-6340 | UnitOfDuration est une sous-classe de NonCompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6334-6334 | UnitOfInformation est une sous-classe de NonCompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6248-6248 | UnitOfLength est une sous-classe de NonCompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6260-6260 | UnitOfMass est une sous-classe de NonCompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6296-6296 | UnitOfTemperature est une sous-classe de NonCompositeUnitOfMeasure |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65242-65242 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6224-6224 | Unit� de mesure est compl�tement d�compos� en CompositeUnitOfMeasure + NonCompositeUnitOfMeasure |
| antecedent |
|
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6462-6466 |
|
|
|
|