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 7173-7176
No TPTP formula. May not be expressible in strict first order. Merge.kif 7170-7170 The number 1 argument of measure is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7171-7171 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 7169-7169 measure is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7168-7168 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 613-613
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 7185-7185 age is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23637-23637 air temperature is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7433-7433 barometric pressure is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1771-1771 effective range is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 994-994 fleet dead weight tonnage is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 976-976 fleet gross registered tonnage is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7198-7198 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. QoSontology.kif 1665-1665 memory size 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 390-390 track width is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2504-2504 vessel displacement is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7003-7003 weight is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36655-36655
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 36654-36654
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36653-36653

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11232-11238 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 10972-10977 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 2510-2513 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. Mid-level-ontology.kif 15680-15691
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 1958-1979
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1981-2002
No TPTP formula. May not be expressible in strict first order. Merge.kif 12862-12875
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 2599-2617
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 2898-2916
No TPTP formula. May not be expressible in strict first order. Cars.kif 2581-2597
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28839-28860
No TPTP formula. May not be expressible in strict first order. Merge.kif 12852-12860
No TPTP formula. May not be expressible in strict first order. Cars.kif 4097-4129
No TPTP formula. May not be expressible in strict first order. Geography.kif 6544-6558
No TPTP formula. May not be expressible in strict first order. Cars.kif 2825-2844
No TPTP formula. May not be expressible in strict first order. Cars.kif 1328-1362
No TPTP formula. May not be expressible in strict first order. Merge.kif 12968-12980
No TPTP formula. May not be expressible in strict first order. Cars.kif 3000-3006
No TPTP formula. May not be expressible in strict first order. Cars.kif 3169-3179
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8642-8646

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 7384-7392 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 11232-11238 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 10972-10977 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 2070-2080
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1958-1979
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1981-2002
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1151-1166
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23650-23659
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11164-11173
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11174-11185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11193-11202
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11204-11213
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11135-11144
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11145-11156
No TPTP formula. May not be expressible in strict first order. Merge.kif 5868-5878
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1137-1149
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23685-23697
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14755-14765
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27024-27028
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25766-25770
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27124-27128
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26362-26366
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25844-25848

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