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 劃分 Quantity, 有限數量 and 無限的數量
No TPTP formula. May not be expressible in strict first order. Merge.kif 1694-1694 子類 Quantity and Abstract

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1670-1670 不相交分解 Abstract, Quantity, Attribute, Relation, Proposition and List
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2843-2843 範圍 ConversionRateFn and Quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8057-8057 範圍 PerCapitaFn and Quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2874-2874 子類 有限數量 and Quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2878-2878 子類 無限的數量 and Quantity
No TPTP formula. May not be expressible in strict first order. engineering.kif 293-293 子類 多極數量 and Quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1824-1824 子類 Number and Quantity
No TPTP formula. May not be expressible in strict first order. engineering.kif 74-74 子類 物理尺寸 and Quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2025-2025 子類 PhysicalQuantity and Quantity
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 and Quantity
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4553-4553 LiftFn, 2 and Quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8055-8055 PerCapitaFn, 1 and Quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31365-31365 allowableValue, 3 and Quantity
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1040-1040 基準表現, 3 and Quantity
No TPTP formula. May not be expressible in strict first order. Medicine.kif 224-224 concentration, 1 and Quantity
No TPTP formula. May not be expressible in strict first order. Medicine.kif 226-226 concentration, 3 and Quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 18442-18442 defaultMaxValue, 3 and Quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13532-13532 defaultMaximumMeasure, 2 and Quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13562-13562 defaultMeasure, 2 and Quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 18425-18425 defaultMinValue, 3 and Quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13501-13501 defaultMinimumMeasure, 2 and Quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 18459-18459 defaultValue, 3 and Quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24311-24311 設備數量, 3 and Quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 18407-18407 maxValue, 3 and Quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31009-31009 memberMeasure, 3 and Quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 18389-18389 minValue, 3 and Quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30888-30888 shortage, 5 and Quantity
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4533-4533 total, 2 and Quantity

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