|
|
   FunctionQuantity
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1790-1796 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2102-2110 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 406-411 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2100-2100 | Function de quantit� est une sous-classe de quantit� physique |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 813-813 | McgPerKg est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1699-1699 | MilesPerHour est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1280-1280 | Le domaine de AccelerationFn est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6647-6647 | Le domaine de DensityFn est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2220-2220 | Le domaine de Mean10MinutesWindSpeedFn est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2325-2325 | Le domaine de Mean1MinuteWindSpeedFn est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2290-2290 | Le domaine de Mean2MinutesWindSpeedFn est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2255-2255 | Le domaine de Mean3MinutesWindSpeedFn est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1901-1901 | Le domaine de Mean3SecondWindSpeedFn est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6633-6633 | Le domaine de PerFn est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2105-2105 | Le domaine de RotationFn est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6659-6659 | Le domaine de SpeedFn est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2035-2035 | Le domaine de ThreeSecondGustSpeedFn est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6672-6672 | Le domaine de VelocityFn est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6267-6267 | Mesure d'aire est une sous-classe de function de quantit� |
| 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 2112-2112 | Fonction de quantit� unaire est une sous-classe de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6278-6278 | Mesure de volume est une sous-classe de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 882-882 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 966-966 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 558-558 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 88-88 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 91-91 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2243-2243 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1274-1274 | Le nombre 1 argument de AccelerationFn est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1054-1054 | Le nombre 2 argument de bandwidth est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 502-502 | Le nombre 2 argument de contractedRentalPrice est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 797-797 | Le nombre 2 argument de effectiveDose est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2559-2559 | Le nombre 2 argument de engineIdleSpeed est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2881-2881 | Le nombre 2 argument de governorSpeed est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 844-844 | Le nombre 2 argument de lethalDose est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1204-1204 | Le nombre 2 argument de precipitationRate est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2827-2827 | Le nombre 3 argument de rainfallIntensity est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 455-455 | Le nombre 2 argument de rentalPrice est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 3032-3032 | Le nombre 3 argument de snowfallIntensity est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 778-778 | Le nombre 2 argument de soundFrequency est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2126-2126 | Le nombre 2 argument de speedScaleAttributeMinMax est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2127-2127 | Le nombre 3 argument de speedScaleAttributeMinMax est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1711-1711 | Le nombre 2 argument de topSpeed est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31338-31338 | Le nombre 2 argument de transformerCapacity est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3047-3047 | Le nombre 3 argument de transitwayCapacityRate est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 398-398 | Le nombre 2 argument de unitPrice est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31246-31246 | Le nombre 2 argument de voltageRatingPrimary est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31289-31289 | Le nombre 2 argument de voltageRatingSecondary est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2282-2282 | Le nombre 2 argument de yield est une instance de function de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2026-2026 | Quantit� physique est compl�tement d�compos� en quantit� constante + function de quantit� |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1998-2003 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6225-6229 |
|
|
|
|