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. Merge.kif 7705-7707
No TPTP formula. May not be expressible in strict first order. Merge.kif 7701-7704
No TPTP formula. May not be expressible in strict first order. Merge.kif 7699-7699 The number 1 argument of measure is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 7700-7700 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 7698-7698 measure is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7697-7697 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 379-379
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. 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-tg.txt 350-350
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 857-857 absorbed dose is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7710-7710 age is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23152-23152 air temperature is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7968-7968 barometric pressure is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1770-1770 effective range is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 952-952 fleet dead weight tonnage is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 934-934 fleet gross registered tonnage is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7723-7723 linearExtent is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1835-1835 load is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1656-1656 memory size is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 363-363 track width is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2439-2439 vessel displacement is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Weather.kif 1116-1116 visibility in meteorology is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7520-7520 weight is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 608-608 "计量" is the printable form of measure in ChineseLanguage

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 10939-10945 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. DimensioningAmenities.kif 21-26 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. Geography.kif 6428-6435
No TPTP formula. May not be expressible in strict first order. Dining.kif 1119-1127
No TPTP formula. May not be expressible in strict first order. Merge.kif 13693-13706
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. Cars.kif 2612-2625
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 851-855
No TPTP formula. May not be expressible in strict first order. Cars.kif 2906-2920
No TPTP formula. May not be expressible in strict first order. Cars.kif 2594-2610
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28357-28378
No TPTP formula. May not be expressible in strict first order. Merge.kif 13683-13691
No TPTP formula. May not be expressible in strict first order. Cars.kif 4088-4118
No TPTP formula. May not be expressible in strict first order. Geography.kif 6339-6353
No TPTP formula. May not be expressible in strict first order. Cars.kif 2833-2852
No TPTP formula. May not be expressible in strict first order. Cars.kif 1355-1384
No TPTP formula. May not be expressible in strict first order. Merge.kif 13807-13819
No TPTP formula. May not be expressible in strict first order. Cars.kif 2998-3004
No TPTP formula. May not be expressible in strict first order. Cars.kif 3167-3177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8646-8650
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1946-1964
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1966-1984

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 7914-7922 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 10939-10945 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. DimensioningAmenities.kif 21-26 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. Hotel.kif 1136-1148
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23165-23174
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 213-222
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 223-234
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 242-251
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 253-262
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 184-193
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 194-205
No TPTP formula. May not be expressible in strict first order. Merge.kif 6269-6277
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1125-1134
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23200-23212
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14467-14477
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26545-26549
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25287-25291
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26645-26649
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25883-25887
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25365-25369
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25598-25602
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26482-26486

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