more pictures...
| ConstantQuantity(constant quantity)
more pictures... | | 4to, 8vo, PB, PiB, Planck's_constant, SPF, amount, amphibrach, amplitude, amplitude_level, anapaest, anapest, armful, augmentation, background_level, bag, bagful, barnful, barrel, barrelful, barrow, barrowful, base, baseball_score, basin, basinful, basket, basketball_score, basketful, bin, binful, birdie, boatload, body_count, bogey, bottle, bottleful, bowl, bowlful, bowling_score, box, boxful, break, break_of_serve, bucket, bucketful, can, canful, cap, capful... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1768-1778 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2043-2061 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 379-390 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9102-9102 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8436-8436 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9105-9105 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9106-9106 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9103-9103 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9104-9104 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2041-2041 | Constant quantity is a subclass of physical quantity |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2022-2022 | Physical quantity is exhaustively partitioned into constant quantity and function quantity |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1429-1429 | The range of CPU utilization is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10413-10413 | The range of Janka Hardness is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6595-6595 | The values returned by interval are subclasses of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6323-6323 | Angle measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6311-6311 | Currency measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7440-7440 | Information measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6252-6252 | Length measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6263-6263 | Mass measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6226-6226 | Non composite unit of measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 849-849 | Radiation measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6299-6299 | Temperature measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2063-2063 | Time measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 876-876 | Time measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 954-954 | Time measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 552-552 | Time measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 82-82 | Time measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 85-85 | Time measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2237-2237 | Time measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 504-504 | Time measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 119-119 | Time measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 378-378 | Time measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 573-573 | Time measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 86-86 | Time measure is a subclass of constant quantity |
| 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. | Merge.kif 6593-6593 | The number 1 argument of interval is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6594-6594 | The number 2 argument of interval is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2061-2061 | The number 2 argument of arable land area is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1206-1206 | The number 3 argument of average precipitation for period is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7638-7638 | The number 2 argument of capacity is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26043-26043 | The number 1 argument of distance on path is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1730-1730 | The number 2 argument of visual acuity is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1731-1731 | The number 3 argument of visual acuity is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 251-251 | The number 2 argument of high altitude wind speed is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2262-2262 | The number 2 argument of host jitter is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2198-2198 | The number 2 argument of irrigated land area is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15118-15118 | The number 2 argument of loudness is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3399-3399 | The number 2 argument of measurement reading is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 228-228 | The number 2 argument of medium altitude wind speed is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1794-1794 | The number 2 argument of memory size is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2144-2144 | The number 2 argument of other land use area is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2105-2105 | The number 2 argument of permanent crop land area is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1197-1197 | The number 2 argument of precipitation amount is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1304-1304 | The number 2 argument of qoS slack is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1305-1305 | The number 3 argument of qoS slack is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 960-960 | The number 2 argument of sea surface temperature is an instance of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1215-1215 | The number 3 argument of total precipitation for period is an instance of constant quantity |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18709-18725 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6241-6245 |
|
|
|
|