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 10898-10900
No TPTP formula. May not be expressible in strict first order. Merge.kif 10893-10896
No TPTP formula. May not be expressible in strict first order. Merge.kif 10902-10904
No TPTP formula. May not be expressible in strict first order. Merge.kif 10890-10890 The number 1 argument of measure is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 10891-10891 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 10889-10889 measure is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 10888-10888 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 840-840
No TPTP formula. May not be expressible in strict first order. english_format.kif 841-841
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 10907-10907 age is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23594-23594 air temperature is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 11267-11267 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 979-979 fleet dead weight tonnage is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 961-961 fleet gross registered tonnage is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 10925-10925 linearExtent is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1834-1834 load is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1655-1655 memory size 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 2467-2467 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 10631-10631 weight is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36583-36583 "测量" is the printable form of measure in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 608-608 "计量" is the printable form of measure in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36582-36582 "測量" is the printable form of measure in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36581-36581 "measure" is the printable form of measure in english language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11200-11206 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 10940-10945 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 15653-15664
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 18202-18215
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 2571-2584
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 2865-2879
No TPTP formula. May not be expressible in strict first order. Cars.kif 2553-2569
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28799-28820
No TPTP formula. May not be expressible in strict first order. Merge.kif 18192-18200
No TPTP formula. May not be expressible in strict first order. Cars.kif 4047-4077
No TPTP formula. May not be expressible in strict first order. Geography.kif 6338-6352
No TPTP formula. May not be expressible in strict first order. Cars.kif 2792-2811
No TPTP formula. May not be expressible in strict first order. Cars.kif 1314-1343
No TPTP formula. May not be expressible in strict first order. Merge.kif 18316-18328
No TPTP formula. May not be expressible in strict first order. Cars.kif 2957-2963
No TPTP formula. May not be expressible in strict first order. Cars.kif 3126-3136
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8659-8663
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 11196-11204 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 11200-11206 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 10940-10945 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 23607-23616
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11132-11141
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11142-11153
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11161-11170
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11172-11181
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11103-11112
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11113-11124
No TPTP formula. May not be expressible in strict first order. Merge.kif 8851-8859
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 23642-23654
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14728-14738
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26987-26991
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25729-25733
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27087-27091
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26325-26329
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25807-25811
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26040-26044
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26924-26928

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