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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Quantity
Quantity(数量)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1708-1709
No TPTP formula. May not be expressible in strict first order. Merge.kif 1696-1698
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 311-312
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2872-2872 数量 详尽无遗地 partition有限数量无限的数量
No TPTP formula. May not be expressible in strict first order. Merge.kif 1694-1694 数量抽象体subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1670-1670 抽象体 分拆成不相交的 数量, 属性, 关系, 命题, 和 串列
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2843-2843 ConversionRateFnrange数量 的实例
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8057-8057 PerCapitaFnrange数量 的实例
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2874-2874 有限数量数量subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2878-2878 无限的数量数量subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 293-293 多极数量数量subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1824-1824 数字数量subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 74-74 物理尺寸数量subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2025-2025 物理量数量subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 854-854
No TPTP formula. May not be expressible in strict first order. english_format.kif 910-910
No TPTP formula. May not be expressible in strict first order. french_format.kif 530-530
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 61-61
No TPTP formula. May not be expressible in strict first order. terms-it.txt 64-64
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2215-2215
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 482-482
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 66-66
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 97-97
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 551-551
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 65-65

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4551-4551 LiftFn 的 1 数量 是 数量instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4553-4553 LiftFn 的 2 数量 是 数量instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8055-8055 PerCapitaFn 的 1 数量 是 数量instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31365-31365 allowableValue 的 3 数量 是 数量instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1040-1040 基准表现 的 3 数量 是 数量instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 224-224 concentration 的 1 数量 是 数量instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 226-226 concentration 的 3 数量 是 数量instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 18442-18442 defaultMaxValue 的 3 数量 是 数量instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13532-13532 defaultMaximumMeasure 的 2 数量 是 数量instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13562-13562 defaultMeasure 的 2 数量 是 数量instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 18425-18425 defaultMinValue 的 3 数量 是 数量instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13501-13501 defaultMinimumMeasure 的 2 数量 是 数量instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 18459-18459 defaultValue 的 3 数量 是 数量instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24311-24311 设备数量 的 3 数量 是 数量instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 18407-18407 maxValue 的 3 数量 是 数量instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31009-31009 memberMeasure 的 3 数量 是 数量instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 18389-18389 minValue 的 3 数量 是 数量instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30888-30888 shortage 的 5 数量 是 数量instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4533-4533 total 的 2 数量 是 数量instance

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4563-4571

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30030-30060
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4540-4544


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