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 2028-2043
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 368-378
No TPTP formula. May not be expressible in strict first order. Merge.kif 2026-2026 Physical quantity is exhaustively partitioned into constant quantity and function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2025-2025 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 6350-6350 The range of measure is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2045-2045 Constant quantity is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2100-2100 Function quantity is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1644-1644 Performance measure is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6198-6198 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 551-551
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 81-81
No TPTP formula. May not be expressible in strict first order. terms-it.txt 84-84
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2236-2236
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 503-503
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 118-118
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 572-572
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 85-85

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6630-6630 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 6631-6631 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 6611-6611 The number 1 argument of unit fn is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2105-2105 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 2149-2149 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 2195-2195 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 1973-1973 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 7817-7817 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 1549-1549 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 10441-10441 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 2779-2779 The number 2 argument of earth altitude is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2095-2095 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 2138-2138 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 2183-2183 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 1963-1963 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 2001-2001 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 1658-1658 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 7503-7503 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 2630-2630 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 resonant frequency 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 6620-6626
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30973-30987
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30912-30921
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30940-30954

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1784-1788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13244-13249
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13273-13278


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