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 6139-6144
No TPTP formula. May not be expressible in strict first order. Merge.kif 6162-6162 Unit of measure is exhaustively partitioned into composite unit of measure and non composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6137-6137 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 6436-6436 The range of giga is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6408-6408 The range of kilo is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6422-6422 The range of mega is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6478-6478 The range of micro is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6464-6464 The range of milli is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6492-6492 The range of nano is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6507-6507 The range of pico is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3898-3898 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 6450-6450 The range of tera is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6551-6551 The range of unit fn is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9796-9796 Acidity measure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6146-6146 Composite unit of measure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6154-6154 Non composite unit of measure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7388-7388 Sound pressure level unit is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6176-6176 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 6435-6435 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 6407-6407 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 6288-6288 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 6421-6421 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 6477-6477 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 6463-6463 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 6491-6491 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 6506-6506 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 3897-3897 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 6449-6449 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 900-900 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 6089-6089 The number 2 argument of graph measure is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 840-840 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 1165-1176
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 2365-2384
No TPTP formula. May not be expressible in strict first order. Merge.kif 6559-6565
No TPTP formula. May not be expressible in strict first order. Merge.kif 6442-6446
No TPTP formula. May not be expressible in strict first order. Merge.kif 6414-6418
No TPTP formula. May not be expressible in strict first order. Merge.kif 6428-6432
No TPTP formula. May not be expressible in strict first order. Merge.kif 6484-6488
No TPTP formula. May not be expressible in strict first order. Merge.kif 6470-6474
No TPTP formula. May not be expressible in strict first order. Merge.kif 6499-6503
No TPTP formula. May not be expressible in strict first order. Merge.kif 6514-6518
No TPTP formula. May not be expressible in strict first order. Merge.kif 6456-6460
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 2130-2143
No TPTP formula. May not be expressible in strict first order. Weather.kif 2728-2748
No TPTP formula. May not be expressible in strict first order. Weather.kif 2750-2771
No TPTP formula. May not be expressible in strict first order. Weather.kif 2709-2726

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1172-1184
No TPTP formula. May not be expressible in strict first order. Media.kif 2286-2291


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