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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 物理量 详尽无遗地 partition 成 恒量 和 函数量
No TPTP formula. May not be expressible in strict first order. Merge.kif 2025-2025 物理量 是 数量 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6350-6350 计量函数 的 range 是 物理量 的实例
No TPTP formula. May not be expressible in strict first order. Merge.kif 2045-2045 恒量 是 物理量 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2100-2100 函数量 是 物理量 的 subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1644-1644 性能指标 是 物理量 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 6198-6198 测量单位 是 物理量 的 subclass
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 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6631-6631 每 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6611-6611 UnitFn 的 1 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2105-2105 年耗电量 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2149-2149 年度电力出口 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2195-2195 年度电力进口 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1973-1973 年发电量 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7817-7817 气压 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1549-1549 载波频率 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10441-10441 diastolicBloodPressure 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2779-2779 earthAltitude 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2095-2095 期间用电量 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2138-2138 电力出口期间 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 2183-2183 电力进口期间 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1963-1963 期间的电力生产 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 986-986 船队总注册吨位 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 252-252 高空风速率 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2001-2001 图像解析度 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Food.kif 1658-1658 ingredientAmount 的 3 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 215-215 低空风速 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 203-203 低空风速 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7503-7503 计量 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 229-229 中等海拔风速率 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2630-2630 可通航航运吨位 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Cars.kif 829-829 resonantFrequency 的 2 数量 是 物理量 的 instance

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 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 3.0 is open source software produced by Articulate Software and its partners