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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ConstantQuantity

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 1993-2011
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 8438-8438
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 9108-9108
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. Merge.kif 1991-1991 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 1972-1972 Physical quantity is exhaustively partitioned into constant quantity and function quantity
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1325-1325 The range of CPU utilization is an instance of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6495-6495 The values returned by interval are subclasses of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6223-6223 Angle measure is a subclass of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6211-6211 Currency measure is a subclass of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 7321-7321 Information measure is a subclass of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6152-6152 Length measure is a subclass of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6163-6163 Mass measure is a subclass of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6126-6126 NonCompositeUnitOfMeasure 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 6199-6199 Temperature measure is a subclass of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2013-2013 Time measure is a subclass of constant quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 1416-1416 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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6493-6493 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 6494-6494 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 2076-2076 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 1221-1221 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 6346-6346 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 23739-23739 The number 1 argument of distanceOnPath 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 2135-2135 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 2213-2213 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 13199-13199 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 2892-2892 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 1668-1668 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 2159-2159 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 2120-2120 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 1212-1212 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 1200-1200 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 1201-1201 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 1230-1230 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 6141-6145


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

Show without tree


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