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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 7549-7552
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1347-1349
No TPTP formula. May not be expressible in strict first order. Merge.kif 7546-7546 The number 1 argument of measure is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7547-7547 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 7545-7545 measure is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7544-7544 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. french_format.kif 368-368
No TPTP formula. May not be expressible in strict first order. relations-it.txt 177-177
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2102-2102
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 320-320
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 378-378
No TPTP formula. May not be expressible in strict first order. relations-de.txt 794-794
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 215-215
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 390-390
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 409-409
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 350-350
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 7561-7561 age is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27573-27573 air temperature is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7900-7900 barometric pressure is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1603-1603 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 7575-7575 linear extent is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15098-15098 loudness is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1791-1791 memory size is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11193-11193 pH measure 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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14944-14950 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 515-517 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 534-536 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 14665-14670 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 2673-2676 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 7647-7662
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19519-19530
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. Medicine.kif 172-187
No TPTP formula. May not be expressible in strict first order. Medicine.kif 155-170
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2025-2046
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2048-2069
No TPTP formula. May not be expressible in strict first order. Merge.kif 13994-14007
No TPTP formula. May not be expressible in strict first order. Geography.kif 792-802
No TPTP formula. May not be expressible in strict first order. Medicine.kif 234-249
No TPTP formula. May not be expressible in strict first order. Cars.kif 2569-2587
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 2868-2886
No TPTP formula. May not be expressible in strict first order. Cars.kif 2551-2567
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32596-32617
No TPTP formula. May not be expressible in strict first order. Food.kif 1322-1333
No TPTP formula. May not be expressible in strict first order. Geography.kif 2998-3009
No TPTP formula. May not be expressible in strict first order. Merge.kif 13984-13992
No TPTP formula. May not be expressible in strict first order. Cars.kif 4142-4174
No TPTP formula. May not be expressible in strict first order. Food.kif 1286-1302

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 7843-7851 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 14944-14950 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 515-517 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 534-536 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 14665-14670 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 2217-2231
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2025-2046
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2048-2069
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1194-1209
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27585-27594
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14875-14884
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14886-14897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14905-14914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14916-14925
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14844-14853
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14855-14866
No TPTP formula. May not be expressible in strict first order. Merge.kif 6190-6201
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1180-1192
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27620-27635
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18530-18551
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30731-30735
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29397-29401
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30837-30841
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30031-30035
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29480-29484

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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