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 5902-5907
No TPTP formula. May not be expressible in strict first order. Merge.kif 5925-5925 Unit of measure is exhaustively partitioned into CompositeUnitOfMeasure and NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 5900-5900 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 2107-2107 Revolutions per minute is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6199-6199 The range of giga is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6171-6171 The range of kilo is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6185-6185 The range of mega is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6241-6241 The range of micro is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6227-6227 The range of milli is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6255-6255 The range of nano is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6270-6270 The range of pico is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3797-3797 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 6213-6213 The range of tera is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6334-6334 The range of UnitFn is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 5909-5909 CompositeUnitOfMeasure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 5917-5917 NonCompositeUnitOfMeasure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 5939-5939 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 6198-6198 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 6170-6170 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 6051-6051 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 6184-6184 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 6240-6240 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 6226-6226 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 6254-6254 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 6269-6269 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 3796-3796 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 6212-6212 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 5853-5853 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 3804-3808 An unit of measure is an instance of unit of measure and a number is equal to 1 the square unit of the unit of measure(s) if and only if the number 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. Dining.kif 1118-1129
No TPTP formula. May not be expressible in strict first order. Cars.kif 1328-1362
No TPTP formula. May not be expressible in strict first order. Weather.kif 2358-2377
No TPTP formula. May not be expressible in strict first order. Merge.kif 6205-6209
No TPTP formula. May not be expressible in strict first order. Merge.kif 6177-6181
No TPTP formula. May not be expressible in strict first order. Merge.kif 6191-6195
No TPTP formula. May not be expressible in strict first order. Merge.kif 6247-6251
No TPTP formula. May not be expressible in strict first order. Merge.kif 6233-6237
No TPTP formula. May not be expressible in strict first order. Merge.kif 6262-6266
No TPTP formula. May not be expressible in strict first order. Merge.kif 6277-6281
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 6342-6346
No TPTP formula. May not be expressible in strict first order. Merge.kif 6219-6223
No TPTP formula. May not be expressible in strict first order. Weather.kif 349-366
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
No TPTP formula. May not be expressible in strict first order. Weather.kif 2123-2136
No TPTP formula. May not be expressible in strict first order. Weather.kif 2721-2741
No TPTP formula. May not be expressible in strict first order. Weather.kif 2743-2764
No TPTP formula. May not be expressible in strict first order. Weather.kif 2702-2719

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1137-1149
No TPTP formula. May not be expressible in strict first order. Merge.kif 6129-6139
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