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, Quantidade_Fisica, Quantit�Fisica, acid_value, bhOtika_parimaaNa, breakage, chlorinity, dami_ng_materyal, definite_quantity, frontage, haematocytopenia, half-intensity, heat_barrier, hematocytopenia, indefinite_quantity, limit, limit_point, normality, output, physical_quantity, point_of_accumulation, precipitation, production, pulmonary_reserve, quantit�_physique, 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. Merge.kif 2094-2102
No TPTP formula. May not be expressible in strict first order. Merge.kif 2078-2093
No TPTP formula. May not be expressible in strict first order. Merge.kif 2077-2077 Physical quantity is exhaustively partitioned into constant quantity and function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2076-2076 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 6471-6471 The range of measure is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2104-2104 Constant quantity is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2176-2176 Function quantity is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1588-1588 Performance measure is a subclass of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6299-6299 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 "物理量" is the printable form of physical quantity in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 562-562 "physical quantity" is the printable form of physical quantity in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 551-551 "quantit� physique" is the printable form of physical quantity in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 81-81 "bhOtika parimaaNa" is the printable form of physical quantity in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 82-82 "Quantit�Fisica" is the printable form of physical quantity in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 503-503 "Quantidade Fisica" is the printable form of physical quantity in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 287-287 "مِقْدَار فِيْزْيَائِي" is the printable form of physical quantity in ar
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 118-118 "physical quantity" is the printable form of physical quantity in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 85-85 "dami ng materyal" is the printable form of physical quantity in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6749-6749 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 6792-6792 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 6793-6793 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 6771-6771 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. Geography.kif 2707-2707 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 933-933 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 240-240 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 1990-1990 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 119-119 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 203-203 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 191-191 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 7700-7700 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 217-217 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 2543-2543 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 860-860 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 125-125 The number 2 argument of surface wind speed is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 96-96 The number 2 argument of surface wind velocity 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 10834-10839
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10863-10868


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