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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FunctionQuantity

Sigma KEE - FunctionQuantity
FunctionQuantity(函数量)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1790-1796
No TPTP formula. May not be expressible in strict first order. Merge.kif 2102-2110
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 406-411
No TPTP formula. May not be expressible in strict first order. Merge.kif 2100-2100 函数量物理量subclass

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 813-813 每公斤微克函数量instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 1699-1699 英里每小時函数量instance
No TPTP formula. May not be expressible in strict first order. Cars.kif 1280-1280 AccelerationFnrange函数量 的实例
No TPTP formula. May not be expressible in strict first order. Merge.kif 6647-6647 密度函数range函数量 的实例
No TPTP formula. May not be expressible in strict first order. Weather.kif 2220-2220 10分钟平均地面风速range函数量 的实例
No TPTP formula. May not be expressible in strict first order. Weather.kif 2325-2325 1分钟平均地面风速range函数量 的实例
No TPTP formula. May not be expressible in strict first order. Weather.kif 2290-2290 2分钟平均地面风速range函数量 的实例
No TPTP formula. May not be expressible in strict first order. Weather.kif 2255-2255 3分钟平均地面风速range函数量 的实例
No TPTP formula. May not be expressible in strict first order. Weather.kif 1901-1901 3秒平均地面风速range函数量 的实例
No TPTP formula. May not be expressible in strict first order. Merge.kif 6633-6633 range函数量 的实例
No TPTP formula. May not be expressible in strict first order. Cars.kif 2105-2105 RotationFnrange函数量 的实例
No TPTP formula. May not be expressible in strict first order. Merge.kif 6659-6659 速率函数range函数量 的实例
No TPTP formula. May not be expressible in strict first order. Weather.kif 2035-2035 3秒阵风风速range函数量 的实例
No TPTP formula. May not be expressible in strict first order. Merge.kif 6672-6672 速度函数range函数量 的实例
No TPTP formula. May not be expressible in strict first order. Merge.kif 6267-6267 面积测量函数量subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 6208-6208 CompositeUnitOfMeasure函数量subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2112-2112 一元常数函数量函数量subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 6278-6278 体积测量函数量subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 882-882
No TPTP formula. May not be expressible in strict first order. english_format.kif 966-966
No TPTP formula. May not be expressible in strict first order. french_format.kif 558-558
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 88-88
No TPTP formula. May not be expressible in strict first order. terms-it.txt 91-91
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2243-2243

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1274-1274 AccelerationFn 的 1 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1054-1054 带宽 的 2 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. Catalog.kif 502-502 contractedRentalPrice 的 2 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 797-797 有效剂量 的 2 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. Cars.kif 2559-2559 engineIdleSpeed 的 2 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. Cars.kif 2881-2881 governorSpeed 的 2 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 844-844 致死剂量 的 2 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 1204-1204 降水率 的 2 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2827-2827 降雨强度 的 3 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. Catalog.kif 455-455 rentalPrice 的 2 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 3032-3032 降雪强度 的 3 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 778-778 声音频率 的 2 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2126-2126 时速级数属性最低最高 的 2 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2127-2127 时速级数属性最低最高 的 3 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1711-1711 topSpeed 的 2 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31338-31338 transformerCapacity 的 2 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3047-3047 过境通行能力 的 3 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. Catalog.kif 398-398 unitPrice 的 2 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31246-31246 voltageRatingPrimary 的 2 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31289-31289 voltageRatingSecondary 的 2 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2282-2282 的 2 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2026-2026 物理量 详尽无遗地 partition恒量函数量

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1998-2003
No TPTP formula. May not be expressible in strict first order. Merge.kif 6225-6229


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