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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MeasureFn

Sigma KEE - MeasureFn
MeasureFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6511-6513
No TPTP formula. May not be expressible in strict first order. Merge.kif 6506-6510
No TPTP formula. May not be expressible in strict first order. Merge.kif 6503-6503 The number 1 argument of measure is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 6504-6504 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 6501-6501 Measure is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 6502-6502 Measure is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 6505-6505 The range of measure is an instance of physical quantity

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 633-633
No TPTP formula. May not be expressible in strict first order. english_format.kif 394-394
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 634-634 "计量函数" is the printable form of measure in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6531-6531 "measure" is the printable form of measure in english language

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6874-6880 A self connected object is an instance of liquid drop and the approximate diameter of the self connected object is a real number micrometer(s) and 500 is less than the real number if and only if the self connected object is an instance of droplet
No TPTP formula. May not be expressible in strict first order. Geography.kif 6790-6801 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and 10 is greater than the real number and the real number is greater than 2.5 if and only if there exists the object10 such that the object10 is an instance of PM10 and the object10 is a part of the object
No TPTP formula. May not be expressible in strict first order. Geography.kif 6819-6829 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and the real number is greater than or equal to 2.5 if and only if there exists the object25 such that the object25 is an instance of PM2.5 and the object25 is a part of the object
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. Geography.kif 3556-3558 An object courseWRT true north another object for 0 angular degree(s) if and only if the object is north to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3580-3582 An object courseWRT true north another object for 135 angular degree(s) if and only if the object is southeast to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3564-3566 An object courseWRT true north another object for 180 angular degree(s) if and only if the object is south to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3584-3586 An object courseWRT true north another object for 225 angular degree(s) if and only if the object is southwest to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3568-3570 An object courseWRT true north another object for 270 angular degree(s) if and only if the object is west to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3588-3590 An object courseWRT true north another object for 315 angular degree(s) if and only if the object is northwest to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3572-3574 An object courseWRT true north another object for 360 angular degree(s) if and only if the object is north to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3576-3578 An object courseWRT true north another object for 45 angular degree(s) if and only if the object is northeast to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3560-3562 An object courseWRT true north another object for 90 angular degree(s) if and only if the object is east to the other object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11199-11205 The measure of an object is a real number metric ton(s) if and only if the measure of the object 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 an object is a real number angular degree(s) if and only if the measure of the object 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 an object is a real number arc minute(s) if and only if the measure of the object is 60 and the real number arc second(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10939-10944 The measure of an object is a real number Ounce(s) if and only if the measure of the object is the real number and 16 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 2477-2480 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 15652-15663
No TPTP formula. May not be expressible in strict first order. Geography.kif 2028-2035
No TPTP formula. May not be expressible in strict first order. Geography.kif 2037-2047
No TPTP formula. May not be expressible in strict first order. Merge.kif 13830-13843
No TPTP formula. May not be expressible in strict first order. Geography.kif 655-661
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 733-738
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11131-11140

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. 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. Weather.kif 1086-1096 An entity is an instance of region and the entity has an attribute standard ambient temperature and pressure holds during a time position if and only if 298.15 kelvin degree(s) is an air temperature of the entity and 29.530 inch mercury(s) is a barometric pressure of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Geography.kif 4408-4415 Open sea is an attribute of an object if and only if for all a physical an entity is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is a length measure and the length measure is greater than 5 nautical mile(s)
No TPTP formula. May not be expressible in strict first order. Cars.kif 1917-1922 The compression ratio of an engine is a real number if and only if the minimum volume of the cylinders in the engine the engine is another real number an unit of measure(s) and the maximum volume of the cylinders in the engine the engine is the unit of measureAX the unit of measure(s) and the real number is equal to the other real number and the unit of measureAX
No TPTP formula. May not be expressible in strict first order. People.kif 253-277 The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to a quantity and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 411-442 The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 323-353 The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 367-398 The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. Merge.kif 7963-7971 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 11199-11205 The measure of an object is a real number metric ton(s) if and only if the measure of the object 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 an object is a real number angular degree(s) if and only if the measure of the object 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 an object is a real number arc minute(s) if and only if the measure of the object is 60 and the real number arc second(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10939-10944 The measure of an object is a real number Ounce(s) if and only if the measure of the object is the real number and 16 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 2037-2047
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16311-16319
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16325-16336
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16342-16353
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16359-16370
No TPTP formula. May not be expressible in strict first order. Geography.kif 655-661
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 733-738
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11131-11140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11141-11152
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11160-11169
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11171-11180
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11102-11111

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27511-27511 3470 Kelvin degree(s) is a boiling point of actinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27359-27359 2740 Kelvin degree(s) is a boiling point of aluminum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27523-27523 2880 Kelvin degree(s) is a boiling point of americium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27435-27435 2023 Kelvin degree(s) is a boiling point of antimony
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27369-27369 87.29 Kelvin degree(s) is a boiling point of argon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27399-27399 886 Kelvin degree(s) is a boiling point of arsenic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27503-27503 610 Kelvin degree(s) is a boiling point of astatine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27445-27445 1913 Kelvin degree(s) is a boiling point of barium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27341-27341 3243 Kelvin degree(s) is a boiling point of beryllium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27499-27499 1833 Kelvin degree(s) is a boiling point of bismuth
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27343-27343 2823 Kelvin degree(s) is a boiling point of boron
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27403-27403 331.93 Kelvin degree(s) is a boiling point of bromine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27429-27429 1038 Kelvin degree(s) is a boiling point of cadmium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27443-27443 963 Kelvin degree(s) is a boiling point of caesium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27373-27373 1760 Kelvin degree(s) is a boiling point of calcium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27345-27345 5100 Kelvin degree(s) is a boiling point of carbon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27449-27449 3530 Kelvin degree(s) is a boiling point of cerium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27367-27367 238.55 Kelvin degree(s) is a boiling point of chlorine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27381-27381 2755 Kelvin degree(s) is a boiling point of chromium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27387-27387 3143 Kelvin degree(s) is a boiling point of cobalt
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27391-27391 2868 Kelvin degree(s) is a boiling point of copper
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27465-27465 2608 Kelvin degree(s) is a boiling point of dysprosium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27469-27469 2783 Kelvin degree(s) is a boiling point of erbium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27459-27459 1870 Kelvin degree(s) is a boiling point of europium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27351-27351 85.01 Kelvin degree(s) is a boiling point of fluorine

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners