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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PhysicalQuantity

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 1968-1983
No TPTP formula. May not be expressible in strict first order. Merge.kif 1966-1966 Physical quantity is exhaustively partitioned into constant quantity and function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1965-1965 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 6254-6254 The range of measure is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1985-1985 Constant quantity is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2040-2040 Function quantity is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6102-6102 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 952-952

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6534-6534 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 6535-6535 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 6515-6515 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 2116-2116 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 2160-2160 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 2206-2206 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 1984-1984 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. Merge.kif 7721-7721 The number 2 argument of barometric pressure is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1517-1517 The number 2 argument of carrier frequency is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9968-9968 The number 2 argument of diastolic blood pressure is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Geography.kif 2782-2782 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 2106-2106 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 2149-2149 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 2194-2194 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 1974-1974 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 986-986 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 252-252 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 2006-2006 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 52-52 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 215-215 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 203-203 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 7407-7407 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 229-229 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 2637-2637 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 829-829 The number 2 argument of resonantFrequency is an instance of physical quantity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6524-6530
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30349-30363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30288-30297
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30316-30330

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1783-1787
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12705-12710
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12734-12739


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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