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 7034-7037
No TPTP formula. May not be expressible in strict first order. Merge.kif 7031-7031 The number 1 argument of measure is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 7032-7032 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 7030-7030 measure is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7029-7029 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 7040-7040 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 7283-7283 barometric pressure is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1765-1765 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 7052-7052 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. Transportation.kif 390-390 track width is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2495-2495 vessel displacement is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Weather.kif 1213-1213 visibility in meteorology is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6864-6864 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 11204-11210 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 10944-10949 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 2489-2492 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. Dining.kif 1115-1123
No TPTP formula. May not be expressible in strict first order. Merge.kif 12709-12722
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 2571-2587
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 2868-2882
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 28795-28816
No TPTP formula. May not be expressible in strict first order. Merge.kif 12699-12707
No TPTP formula. May not be expressible in strict first order. Cars.kif 4053-4085
No TPTP formula. May not be expressible in strict first order. Geography.kif 6354-6368
No TPTP formula. May not be expressible in strict first order. Cars.kif 2795-2814
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 12815-12827
No TPTP formula. May not be expressible in strict first order. Cars.kif 2960-2966
No TPTP formula. May not be expressible in strict first order. Cars.kif 3129-3139
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8660-8664
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1944-1962
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1964-1982

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 7234-7242 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 11204-11210 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 10944-10949 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 2049-2059
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1140-1152
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 11136-11145
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11146-11157
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11165-11174
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11176-11185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11107-11116
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11117-11128
No TPTP formula. May not be expressible in strict first order. Merge.kif 5730-5740
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1129-1138
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 14727-14737
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26979-26983
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25721-25725
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27079-27083
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26317-26321
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25799-25803
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26032-26036
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26916-26920

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