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 2048-2056 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2046-2046 | Function quantity is a subclass of physical quantity |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 813-813 | Micrograms per kilogram is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1698-1698 | Miles per hour is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1280-1280 | The range of AccelerationFn is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6557-6557 | The range of density is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2219-2219 | The range of ten minute mean surface wind speed is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2324-2324 | The range of one minute mean surface wind speed is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2289-2289 | The range of two minute mean surface wind speed is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2254-2254 | The range of three minute mean surface wind speed is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1900-1900 | The range of three second mean surface wind speed is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6543-6543 | The range of per is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2105-2105 | The range of RotationFn is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6569-6569 | The range of speed is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2034-2034 | The range of three second gust speed is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6582-6582 | The range of velocity is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6177-6177 | Area measure is a subclass of function quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6118-6118 | CompositeUnitOfMeasure is a subclass of function quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2058-2058 | Unary constant function quantity is a subclass of function quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6188-6188 | Volume measure is a subclass of function quantity |
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 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1274-1274 | The number 1 argument of AccelerationFn is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1059-1059 | The number 2 argument of bandwidth of is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 497-497 | The number 2 argument of contracted rental price is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 797-797 | The number 2 argument of effective dose is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2559-2559 | The number 2 argument of engineIdleSpeed is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2881-2881 | The number 2 argument of governorSpeed is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 844-844 | The number 2 argument of lethal dose is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1203-1203 | The number 2 argument of precipitation rate is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2826-2826 | The number 3 argument of rainfall intensity is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 450-450 | The number 2 argument of rental price is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3031-3031 | The number 3 argument of snowfall intensity is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 743-743 | The number 2 argument of sound frequency is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2125-2125 | The number 2 argument of speed scale attribute min max is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2126-2126 | The number 3 argument of speed scale attribute min max is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1719-1719 | The number 2 argument of topSpeed is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30729-30729 | The number 2 argument of transformer capacity is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3054-3054 | The number 3 argument of transitway capacity rate is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 393-393 | The number 2 argument of unitPrice is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30639-30639 | The number 2 argument of primary voltage rating is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30682-30682 | The number 2 argument of seconary voltage rating is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2290-2290 | The number 2 argument of yield is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1972-1972 | Physical quantity is exhaustively partitioned into constant quantity and function quantity |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1997-2002 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6135-6139 |
|
![]() |
![]() |