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, Unidade_de_Medida, United_States_Customary_System, United_States_liquid_unit, Unit�DiMisura, Wb, abamp, abampere, abcoulomb, abfarad, abhenry, abohm, absorbance, abvolt, abwatt, advantage, agate_line, allocation_unit, ampere, ampere-hour...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6306-6308
No TPTP formula. May not be expressible in strict first order. Merge.kif 6300-6305
No TPTP formula. May not be expressible in strict first order. Merge.kif 6328-6328 Unit of measure is exhaustively partitioned into CompositeUnitOfMeasure and NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6299-6299 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 842-842 Rad is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Cars.kif 2120-2120 Revolutions per minute is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6619-6619 The range of giga is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6587-6587 The range of kilo is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6603-6603 The range of mega is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6667-6667 The range of micro is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6651-6651 The range of milli is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6683-6683 The range of nano is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6700-6700 The range of pico is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3741-3741 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 6635-6635 The range of tera is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6772-6772 The range of UnitFn is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6310-6310 CompositeUnitOfMeasure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6319-6319 NonCompositeUnitOfMeasure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6343-6343 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 "测量单位" is the printable form of unit of measure in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 988-988 "unit of measure" is the printable form of unit of measure in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 979-979 "unit� de mesure" is the printable form of unit of measure in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 514-514 "maapaka ikaaI" is the printable form of unit of measure in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 516-516 "Unit�DiMisura" is the printable form of unit of measure in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 931-931 "Unidade de Medida" is the printable form of unit of measure in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 520-520 "usa ka sukod" is the printable form of unit of measure in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 554-554 "unit of measure" is the printable form of unit of measure in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 519-519 "batayang sukat" is the printable form of unit of measure in tg

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 6618-6618 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 6586-6586 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 6470-6470 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 6602-6602 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 6666-6666 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 6650-6650 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 6682-6682 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 6699-6699 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 3740-3740 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 6634-6634 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 890-890 The number 4 argument of component dataI d is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6254-6254 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 830-830 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 3748-3752 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 6627-6631
No TPTP formula. May not be expressible in strict first order. Merge.kif 6595-6599
No TPTP formula. May not be expressible in strict first order. Merge.kif 6611-6615
No TPTP formula. May not be expressible in strict first order. Merge.kif 6675-6679
No TPTP formula. May not be expressible in strict first order. Merge.kif 6659-6663
No TPTP formula. May not be expressible in strict first order. Merge.kif 6692-6696
No TPTP formula. May not be expressible in strict first order. Merge.kif 6709-6713
No TPTP formula. May not be expressible in strict first order. Merge.kif 6763-6767
No TPTP formula. May not be expressible in strict first order. Merge.kif 6784-6788
No TPTP formula. May not be expressible in strict first order. Merge.kif 6643-6647
No TPTP formula. May not be expressible in strict first order. Geography.kif 849-858
No TPTP formula. May not be expressible in strict first order. Geography.kif 838-847

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6551-6561
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners