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 7153-7156
No TPTP formula. May not be expressible in strict first order. Merge.kif 7150-7150 The number 1 argument of measure is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 7151-7151 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 7149-7149 measure is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7148-7148 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 7159-7159 age is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23631-23631 air temperature is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7407-7407 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 7172-7172 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 1129-1129 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 6983-6983 weight is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36580-36580
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 36579-36579
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36578-36578

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11230-11236 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 10970-10975 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 15678-15689
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. FinancialOntology.kif 1945-1963
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1965-1983
No TPTP formula. May not be expressible in strict first order. Merge.kif 12827-12840
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 2572-2588
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 2869-2883
No TPTP formula. May not be expressible in strict first order. Cars.kif 2554-2570
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28831-28852
No TPTP formula. May not be expressible in strict first order. Merge.kif 12817-12825
No TPTP formula. May not be expressible in strict first order. Cars.kif 4055-4087
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 2796-2815
No TPTP formula. May not be expressible in strict first order. Cars.kif 1315-1344
No TPTP formula. May not be expressible in strict first order. Merge.kif 12933-12945
No TPTP formula. May not be expressible in strict first order. Cars.kif 2961-2967
No TPTP formula. May not be expressible in strict first order. Cars.kif 3130-3140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8640-8644

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 7358-7366 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 11230-11236 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 10970-10975 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. FinancialOntology.kif 1945-1963
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1965-1983
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 23644-23653
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11162-11171
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11172-11183
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11191-11200
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11202-11211
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11133-11142
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11143-11154
No TPTP formula. May not be expressible in strict first order. Merge.kif 5851-5861
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 23679-23691
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14753-14763
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27016-27020
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25758-25762
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27116-27120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26354-26358
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25836-25840

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