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 6200-6205
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1074-1077
No TPTP formula. May not be expressible in strict first order. Merge.kif 6223-6223 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 6198-6198 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 6497-6497 The range of giga is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6469-6469 The range of kilo is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6483-6483 The range of mega is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6539-6539 The range of micro is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6525-6525 The range of milli is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6553-6553 The range of nano is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6568-6568 The range of pico is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3965-3965 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 6511-6511 The range of tera is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6612-6612 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 9868-9868 Acidity measure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6207-6207 Composite unit of measure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6215-6215 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 7449-7449 Sound pressure level unit is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6237-6237 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 979-979
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 514-514
No TPTP formula. May not be expressible in strict first order. terms-it.txt 518-518
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2663-2663
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 931-931

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6496-6496 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 6468-6468 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 6349-6349 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 6482-6482 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 6538-6538 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 6524-6524 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 6552-6552 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 6567-6567 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 3964-3964 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 6510-6510 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 6150-6150 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. Food.kif 1245-1245 The number 5 argument of mixture ratio 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. Food.kif 1248-1262
No TPTP formula. May not be expressible in strict first order. Merge.kif 6620-6626
No TPTP formula. May not be expressible in strict first order. Merge.kif 6503-6507
No TPTP formula. May not be expressible in strict first order. Merge.kif 6475-6479
No TPTP formula. May not be expressible in strict first order. Merge.kif 6489-6493
No TPTP formula. May not be expressible in strict first order. Merge.kif 6545-6549
No TPTP formula. May not be expressible in strict first order. Merge.kif 6531-6535
No TPTP formula. May not be expressible in strict first order. Merge.kif 6560-6564
No TPTP formula. May not be expressible in strict first order. Merge.kif 6575-6579
No TPTP formula. May not be expressible in strict first order. Merge.kif 6517-6521
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 863-872
No TPTP formula. May not be expressible in strict first order. Geography.kif 852-861
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 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