Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ConstantQuantity
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 2047-2065
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 9103-9103
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8437-8437
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 9107-9107
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. pictureList.kif 9105-9105
No TPTP formula. May not be expressible in strict first order. Merge.kif 2045-2045 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 2026-2026 Physical quantity is exhaustively partitioned into constant quantity and function quantity
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1320-1320 The range of CPU utilization is an instance of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6585-6585 The values returned by interval are subclasses of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6313-6313 Angle measure is a subclass of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6301-6301 Currency measure is a subclass of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 7411-7411 Information measure is a subclass of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6242-6242 Length measure is a subclass of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6253-6253 Mass measure is a subclass of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6216-6216 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 6289-6289 Temperature measure is a subclass of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2067-2067 Time measure is a subclass of constant quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 1417-1417 wave height is a subclass of constant quantity
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 876-876
No TPTP formula. May not be expressible in strict first order. english_format.kif 954-954
No TPTP formula. May not be expressible in strict first order. french_format.kif 552-552
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 82-82
No TPTP formula. May not be expressible in strict first order. terms-it.txt 85-85
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2237-2237
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 504-504
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 119-119
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 573-573
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 86-86

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6583-6583 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 6584-6584 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 2073-2073 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 1222-1222 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 6682-6682 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 24362-24362 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 1737-1737 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 1738-1738 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 263-263 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 2130-2130 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 2210-2210 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 13729-13729 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 2937-2937 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 240-240 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 1663-1663 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 2156-2156 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 2117-2117 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 1213-1213 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 1195-1195 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 1196-1196 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 976-976 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 1231-1231 The number 3 argument of total precipitation for period is an instance of constant quantity

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6231-6235


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners