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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfMeasure

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 6104-6109
No TPTP formula. May not be expressible in strict first order. Merge.kif 6127-6127 Unit of measure is exhaustively partitioned into CompositeUnitOfMeasure and NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6102-6102 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 2093-2093 Revolutions per minute is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6401-6401 The range of giga is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6373-6373 The range of kilo is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6387-6387 The range of mega is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6443-6443 The range of micro is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6429-6429 The range of milli is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6457-6457 The range of nano is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6472-6472 The range of pico is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3887-3887 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 6415-6415 The range of tera is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6516-6516 The range of UnitFn is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9436-9436 AcidityMeasure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6111-6111 CompositeUnitOfMeasure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6119-6119 NonCompositeUnitOfMeasure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7353-7353 Sound pressure level unit is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6141-6141 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 1819-1819

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6400-6400 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 6372-6372 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 6253-6253 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 6386-6386 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 6442-6442 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 6428-6428 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 6456-6456 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 6471-6471 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 3886-3886 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 6414-6414 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 6054-6054 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. Dining.kif 1118-1129
No TPTP formula. May not be expressible in strict first order. Cars.kif 1314-1348
No TPTP formula. May not be expressible in strict first order. Weather.kif 2364-2383
No TPTP formula. May not be expressible in strict first order. Merge.kif 6524-6530
No TPTP formula. May not be expressible in strict first order. Merge.kif 6407-6411
No TPTP formula. May not be expressible in strict first order. Merge.kif 6379-6383
No TPTP formula. May not be expressible in strict first order. Merge.kif 6393-6397
No TPTP formula. May not be expressible in strict first order. Merge.kif 6449-6453
No TPTP formula. May not be expressible in strict first order. Merge.kif 6435-6439
No TPTP formula. May not be expressible in strict first order. Merge.kif 6464-6468
No TPTP formula. May not be expressible in strict first order. Merge.kif 6479-6483
No TPTP formula. May not be expressible in strict first order. Merge.kif 6421-6425
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 870-879
No TPTP formula. May not be expressible in strict first order. Geography.kif 859-868
No TPTP formula. May not be expressible in strict first order. Weather.kif 2129-2142
No TPTP formula. May not be expressible in strict first order. Weather.kif 2727-2747
No TPTP formula. May not be expressible in strict first order. Weather.kif 2749-2770
No TPTP formula. May not be expressible in strict first order. Weather.kif 2708-2725

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1150-1162
No TPTP formula. May not be expressible in strict first order. Media.kif 2277-2282


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