Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PhysicalQuantity
PhysicalQuantity(physical quantity)N, acid_value, breakage, chlorinity, definite_quantity, frontage, haematocytopenia, half-intensity, heat_barrier, hematocytopenia, indefinite_quantity, limit, limit_point, normality, output, point_of_accumulation, precipitation, production, pulmonary_reserve, radius_of_curvature, relative_quantity, reserve, run, scalar, scale_value, skinful, thermal_barrier, top-up, toxicity, vote, voter_turnout, yield

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1759-1767
No TPTP formula. May not be expressible in strict first order. Merge.kif 1936-1951
No TPTP formula. May not be expressible in strict first order. Merge.kif 1934-1934 Physical quantity is exhaustively partitioned into constant quantity and function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1933-1933 Physical quantity is a subclass of quantity

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6012-6012 The range of measure is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1953-1953 Constant quantity is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2008-2008 Function quantity is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1586-1586 Performance measure is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5858-5858 Unit of measure is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 875-875
No TPTP formula. May not be expressible in strict first order. english_format.kif 957-957

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6274-6274 The number 1 argument of magnitude is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6310-6310 The number 1 argument of per is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6311-6311 The number 2 argument of per is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6293-6293 The number 1 argument of UnitFn is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2109-2109 The number 2 argument of annual electricity consumption is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2153-2153 The number 2 argument of annual electricity export is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2199-2199 The number 2 argument of annual electricity import is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 1977-1977 The number 2 argument of annual electricity production is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1527-1527 The number 2 argument of carrier frequency is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Geography.kif 2719-2719 The number 2 argument of earthAltitude is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2099-2099 The number 2 argument of electricity consumption in period is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2142-2142 The number 2 argument of electricity export in period is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2187-2187 The number 2 argument of electricity import in period is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 1967-1967 The number 2 argument of electricity production in period is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Transportation.kif 975-975 The number 2 argument of fleet gross registered tonnage is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 239-239 The number 2 argument of high altitude wind velocity is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2007-2007 The number 2 argument of image resolution is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Food.kif 70-70 The number 3 argument of amount of ingredient is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 202-202 The number 2 argument of low altitude wind speed is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 190-190 The number 2 argument of low altitude wind velocity is an instance of physical quantity
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. Weather.kif 216-216 The number 2 argument of medium altitude wind velocity is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2608-2608 The number 2 argument of navigable for shipping tonnage is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Cars.kif 820-820 The number 2 argument of resonantFrequency is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 124-124 The number 2 argument of surface wind speed is an instance of physical quantity

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. Mid-level-ontology.kif 10904-10909
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10933-10938


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