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 1940-1955
No TPTP formula. May not be expressible in strict first order. Merge.kif 1938-1938 Physical quantity is exhaustively partitioned into constant quantity and function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1937-1937 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 6052-6052 The range of measure is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1957-1957 Constant quantity is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2012-2012 Function quantity is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1599-1599 Performance measure is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5900-5900 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 6314-6314 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 6350-6350 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 6351-6351 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 6333-6333 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 1518-1518 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 2741-2741 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 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 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 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 7171-7171 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
No TPTP formula. May not be expressible in strict first order. Weather.kif 134-134 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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27186-27200
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27125-27134
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27153-27167

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 10038-10043
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10067-10072


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