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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfMeasure
UnitOfMeasure(unit of measure)B, Bel, British_Imperial_System, British_capacity_unit, British_system, Calorie, Ci, English_system, Erlang, G, GB, Gb, Gbit, Gi, GiB, Imperial_capacity_unit, L, Mercalli_scale, Mohs_scale, Mx, R, REM, Reaumur_scale, Richter_scale, STP, TB, TDT, TT, Tb, Tbit, TiB, United_States_Customary_System, United_States_liquid_unit, Wb, abamp, abampere, abcoulomb, abfarad, abhenry, abohm, absorbance, abvolt, abwatt, advantage, agate_line, allocation_unit, ampere, ampere-hour, ampere-minute, ampere-turn...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2394-2396
No TPTP formula. May not be expressible in strict first order. Merge.kif 5885-5890
No TPTP formula. May not be expressible in strict first order. Merge.kif 5908-5908 Unit of measure is exhaustively partitioned into CompositeUnitOfMeasure and NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 5883-5883 Unit of measure is a subclass of physical quantity

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 853-853 Rad is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Cars.kif 2080-2080 Revolutions per minute is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6182-6182 The range of giga is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6154-6154 The range of kilo is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6168-6168 The range of mega is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6224-6224 The range of micro is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6210-6210 The range of milli is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6238-6238 The range of nano is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6253-6253 The range of pico is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3754-3754 The range of square unit is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6196-6196 The range of tera is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6317-6317 The range of UnitFn is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 5892-5892 CompositeUnitOfMeasure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 5900-5900 NonCompositeUnitOfMeasure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 5922-5922 Systeme international unit is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1301-1301
No TPTP formula. May not be expressible in strict first order. english_format.kif 1828-1828

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6181-6181 The number 1 argument of giga is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6153-6153 The number 1 argument of kilo is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6034-6034 The number 2 argument of measure is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6167-6167 The number 1 argument of mega is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6223-6223 The number 1 argument of micro is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6209-6209 The number 1 argument of milli is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6237-6237 The number 1 argument of nano is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6252-6252 The number 1 argument of pico is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3753-3753 The number 1 argument of square unit is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6195-6195 The number 1 argument of tera is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 898-898 The number 4 argument of component data ID is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 5836-5836 The number 2 argument of graphMeasure is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 838-838 The number 2 argument of unit measuring performance is an instance of unit of measure

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3761-3765 An unit of measure is an instance of unit of measure and a physical quantity is equal to 1 the square unit of the unit of measure(s) if and only if the physical quantity is equal to 1 the unit of measure(s) and 1 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 6188-6192
No TPTP formula. May not be expressible in strict first order. Merge.kif 6160-6164
No TPTP formula. May not be expressible in strict first order. Merge.kif 6174-6178
No TPTP formula. May not be expressible in strict first order. Merge.kif 6230-6234
No TPTP formula. May not be expressible in strict first order. Merge.kif 6216-6220
No TPTP formula. May not be expressible in strict first order. Merge.kif 6245-6249
No TPTP formula. May not be expressible in strict first order. Merge.kif 6260-6264
No TPTP formula. May not be expressible in strict first order. Merge.kif 6308-6312
No TPTP formula. May not be expressible in strict first order. Merge.kif 6325-6329
No TPTP formula. May not be expressible in strict first order. Merge.kif 6202-6206
No TPTP formula. May not be expressible in strict first order. Geography.kif 862-871
No TPTP formula. May not be expressible in strict first order. Geography.kif 851-860

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6112-6122
No TPTP formula. May not be expressible in strict first order. Media.kif 2281-2286


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