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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PhysicalQuantity

Sigma KEE - PhysicalQuantity
PhysicalQuantity

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 劃分 PhysicalQuantity, ConstantQuantity and FunctionQuantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2025-2025 子類 PhysicalQuantity and Quantity

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6350-6350 範圍 測量 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2045-2045 子類 ConstantQuantity and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2100-2100 子類 FunctionQuantity and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1644-1644 子類 性能指標 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6198-6198 子類 UnitOfMeasure and PhysicalQuantity
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 , 1 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6631-6631 , 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6611-6611 UnitFn, 1 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2105-2105 年耗電量, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2149-2149 年度電力出口, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2195-2195 年度電力進口, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 1973-1973 年發電量, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 7817-7817 氣壓, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1549-1549 載波頻率, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10441-10441 diastolicBloodPressure, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Geography.kif 2779-2779 earthAltitude, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2095-2095 期間用電量, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2138-2138 電力出口期間, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2183-2183 電力進口期間, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 1963-1963 期間的電力生產, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Transportation.kif 986-986 船隊總註冊噸位, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 252-252 高空風速率, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2001-2001 圖像解析度, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Food.kif 1658-1658 ingredientAmount, 3 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 215-215 低空風速, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 203-203 低空風速, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 7503-7503 測量, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 229-229 中等海拔風速率, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2630-2630 可通航航運噸位, 2 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order. Cars.kif 829-829 resonantFrequency, 2 and PhysicalQuantity

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