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 7130-7133
No TPTP formula. May not be expressible in strict first order. Merge.kif 7127-7127 The number 1 argument of measure is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 7128-7128 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 7126-7126 measure is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7125-7125 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 7136-7136 age is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23658-23658 air temperature is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7384-7384 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 7149-7149 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 2504-2504 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 6960-6960 weight is a subrelation of measure
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36559-36559
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 36558-36558
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36557-36557

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11257-11263 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 10997-11002 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 15705-15716
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 12810-12823
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 28859-28880
No TPTP formula. May not be expressible in strict first order. Merge.kif 12800-12808
No TPTP formula. May not be expressible in strict first order. Cars.kif 4054-4086
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 12916-12928
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 8667-8671

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 7335-7343 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 11257-11263 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 10997-11002 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 23671-23680
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11189-11198
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11199-11210
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11218-11227
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11229-11238
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 11170-11181
No TPTP formula. May not be expressible in strict first order. Merge.kif 5826-5836
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 23706-23718
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14780-14790
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27043-27047
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25785-25789
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27143-27147
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26381-26385
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25863-25867

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