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

Formal Language: 



KB Term:  Term intersection
English Word: 

  measure

Sigma KEE - measure
measure

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2632-2634
No TPTP formula. May not be expressible in strict first order. Merge.kif 7417-7420
No TPTP formula. May not be expressible in strict first order. Merge.kif 7414-7414 The number 1 argument of measure is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7415-7415 The number 2 argument of measure is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 7413-7413 measure is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7412-7412 measure is an instance of binary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 607-607
No TPTP formula. May not be expressible in strict first order. english_format.kif 610-610
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 868-868 absorbed dose is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7429-7429 age is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25159-25159 air temperature is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7727-7727 barometric pressure is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1353-1353 effective range is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1005-1005 fleet dead weight tonnage is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 987-987 fleet gross registered tonnage is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7442-7442 linearExtent is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13246-13246 loudness is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1665-1665 memory size is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9482-9482 phMeasure is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Weather.kif 1527-1527 significant wave height is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 393-393 track width is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2525-2525 vessel displacement is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7199-7199 weight is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36648-36648
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 608-608
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36647-36647
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36646-36646

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13124-13130 The measure of a physical is a real number metric ton(s) if and only if the measure of the physical is the real number and 2205.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 378-380 The measure of a physical is a real number angular degree(s) if and only if the measure of the physical is 60.0 and the real number arc minute(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 397-399 The measure of a physical is a real number arc minute(s) if and only if the measure of the physical is 60.0 and the real number arc second(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12846-12851 The measure of a physical is a real number Ounce(s) if and only if the measure of the physical is the real number and 16.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 2551-2554 The measure of a solution is a real number PH value(s) if and only if the real number is a potential of hydrogen of the solution
No TPTP formula. May not be expressible in strict first order. Merge.kif 7508-7523
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17419-17430
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. FinancialOntology.kif 2017-2038
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2040-2061
No TPTP formula. May not be expressible in strict first order. Merge.kif 13614-13627
No TPTP formula. May not be expressible in strict first order. Geography.kif 666-676
No TPTP formula. May not be expressible in strict first order. Cars.kif 2585-2603
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 862-866
No TPTP formula. May not be expressible in strict first order. Cars.kif 2884-2902
No TPTP formula. May not be expressible in strict first order. Cars.kif 2567-2583
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30166-30187
No TPTP formula. May not be expressible in strict first order. Merge.kif 13604-13612
No TPTP formula. May not be expressible in strict first order. Cars.kif 4084-4116
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9673-9696
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9643-9664
No TPTP formula. May not be expressible in strict first order. Geography.kif 6704-6718
No TPTP formula. May not be expressible in strict first order. Cars.kif 2811-2830
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. Merge.kif 13722-13735

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7670-7678 An object is larger than another object if and only if for all a real number, another real number and an unit of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13124-13130 The measure of a physical is a real number metric ton(s) if and only if the measure of the physical is the real number and 2205.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 378-380 The measure of a physical is a real number angular degree(s) if and only if the measure of the physical is 60.0 and the real number arc minute(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 397-399 The measure of a physical is a real number arc minute(s) if and only if the measure of the physical is 60.0 and the real number arc second(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12846-12851 The measure of a physical is a real number Ounce(s) if and only if the measure of the physical is the real number and 16.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 2095-2109
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2017-2038
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2040-2061
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1186-1201
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25171-25180
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13055-13064
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13066-13077
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13085-13094
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13096-13105
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13024-13033
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13035-13046
No TPTP formula. May not be expressible in strict first order. Merge.kif 6077-6088
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. Mid-level-ontology.kif 25206-25221
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16637-16658
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28298-28302
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26964-26968
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28404-28408
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27598-27602
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27047-27051

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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