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 7270-7273
No TPTP formula. May not be expressible in strict first order. Merge.kif 7267-7267 The number 1 argument of measure is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7268-7268 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 7266-7266 measure is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7265-7265 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 7282-7282 age is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25014-25014 air temperature is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7572-7572 barometric pressure is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1324-1324 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 7295-7295 linearExtent is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1845-1845 load is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13166-13166 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 9406-9406 phMeasure is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Weather.kif 1529-1529 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 2533-2533 vessel displacement is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7052-7052 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 13044-13050 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 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 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 and the real number arc second(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12760-12765 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 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 2534-2537 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 7361-7376
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17313-17324
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 1979-2000
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2002-2023
No TPTP formula. May not be expressible in strict first order. Merge.kif 13259-13272
No TPTP formula. May not be expressible in strict first order. Geography.kif 658-668
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 30012-30033
No TPTP formula. May not be expressible in strict first order. Merge.kif 13249-13257
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 9597-9620
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9567-9588
No TPTP formula. May not be expressible in strict first order. Geography.kif 6613-6627
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 13365-13377

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 7523-7531 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 13044-13050 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 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 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 and the real number arc second(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12760-12765 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 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 2094-2104
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1979-2000
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2002-2023
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1164-1179
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25026-25035
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12975-12984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12986-12997
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13005-13014
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13016-13025
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12944-12953
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12955-12966
No TPTP formula. May not be expressible in strict first order. Merge.kif 5908-5919
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1150-1162
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25061-25076
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16535-16556
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28154-28158
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26820-26824
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28260-28264
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27454-27458
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26903-26907

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