Quantity - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Quantity,s__ChineseLanguage,'这是任何表示东西数量或多少的规格。故此 Quantity 共有两个子类别：Number （数量)和 PhysicalQuantity (多少)。')	Merge.kif 1739-1740
s__documentation(s__Quantity,s__EnglishLanguage,'Any specification of how many or how much of something there is. Accordingly, there are two subclasses of Quantity: Number (how many) and PhysicalQuantity (how much).')	Merge.kif 1736-1738
s__partition_3(s__Quantity,s__FiniteQuantity,s__InfiniteQuantity)	Mid-level-ontology.kif 3357-3357
s__subclass(s__Quantity,s__Abstract)	Merge.kif 1735-1735

appearance as argument number 2

s__disjointDecomposition_6(s__Abstract,s__Quantity,s__Attribute,s__SetOrClass,s__Relation,s__Proposition)	Merge.kif 1710-1710
s__range(s__AdditionFn__m,s__Quantity)	Merge.kif 4847-4847
s__range(s__ConversionRateFn__m,s__Quantity)	UXExperimentalTerms.kif 3050-3050
s__range(s__DivisionFn__m,s__Quantity)	Merge.kif 4883-4883
s__range(s__MaxFn__m,s__Quantity)	Merge.kif 5123-5123
s__range(s__MinFn__m,s__Quantity)	Merge.kif 5150-5150
s__range(s__MultiplicationFn__m,s__Quantity)	Merge.kif 4833-4833
s__range(s__PathWeightFn__m,s__Quantity)	Merge.kif 6079-6079
s__range(s__PerCapitaFn__m,s__Quantity)	Mid-level-ontology.kif 7796-7796
s__range(s__RoundFn__m,s__Quantity)	Merge.kif 5277-5277
s__range(s__SubtractionFn__m,s__Quantity)	Merge.kif 4863-4863
s__subclass(s__FiniteQuantity,s__Quantity)	Mid-level-ontology.kif 3359-3359
s__subclass(s__InfiniteQuantity,s__Quantity)	Mid-level-ontology.kif 3363-3363
s__subclass(s__MultipoleQuantity,s__Quantity)	engineering.kif 292-292
s__subclass(s__Number,s__Quantity)	Merge.kif 1874-1874
s__instance(s__PhysicalDimension,s__SetOrClass)	engineering.kif 73-73
s__instance(s__PhysicalQuantity,s__SetOrClass)	Merge.kif 2086-2086
s__termFormat(s__ChineseLanguage,s__Quantity,'数量')	chinese_format.kif 854-854
s__termFormat(s__EnglishLanguage,s__Quantity,'quantity')	english_format.kif 541-541
s__termFormat(s__FrenchLanguage,s__Quantity,'quantit�')	french_format.kif 530-530
s__termFormat(s__Hindi,s__Quantity,'parimaaNa')	terms-hindi.txt 61-61
s__termFormat(s__ItalianLanguage,s__Quantity,'Quantit�')	terms-it.txt 62-62
s__termFormat(s__PortugueseLanguage,s__Quantity,'Quantidade')	portuguese_format.kif 482-482
s__termFormat(s__ar__m,s__Quantity,'مِقْدَار')	arabic_format.kif 266-266
s__termFormat(s__cb__m,s__Quantity,'kadaghan')	terms-cb.txt 66-66

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

s__domain(s__AdditionFn__m,1,s__Quantity)	Merge.kif 4845-4845
s__domain(s__AdditionFn__m,2,s__Quantity)	Merge.kif 4846-4846
s__domain(s__DivisionFn__m,1,s__Quantity)	Merge.kif 4881-4881
s__domain(s__DivisionFn__m,2,s__Quantity)	Merge.kif 4882-4882
s__domain(s__LiftFn__m,1,s__Quantity)	UXExperimentalTerms.kif 4742-4742
s__domain(s__LiftFn__m,2,s__Quantity)	UXExperimentalTerms.kif 4744-4744
s__domain(s__MaxFn__m,1,s__Quantity)	Merge.kif 5121-5121
s__domain(s__MaxFn__m,2,s__Quantity)	Merge.kif 5122-5122
s__domain(s__MinFn__m,1,s__Quantity)	Merge.kif 5148-5148
s__domain(s__MinFn__m,2,s__Quantity)	Merge.kif 5149-5149
s__domain(s__MultiplicationFn__m,1,s__Quantity)	Merge.kif 4831-4831
s__domain(s__MultiplicationFn__m,2,s__Quantity)	Merge.kif 4832-4832
s__domain(s__PerCapitaFn__m,1,s__Quantity)	Mid-level-ontology.kif 7794-7794
s__domain(s__RoundFn__m,1,s__Quantity)	Merge.kif 5276-5276
s__domain(s__SubtractionFn__m,1,s__Quantity)	Merge.kif 4861-4861
s__domain(s__SubtractionFn__m,2,s__Quantity)	Merge.kif 4862-4862
s__domain(s__arcWeight__m,2,s__Quantity)	Merge.kif 6070-6070
s__domain(s__benchmarkPerformance__m,3,s__Quantity)	QoSontology.kif 1019-1019
s__domain(s__defaultMaxValue__m,3,s__Quantity)	Merge.kif 18777-18777
s__domain(s__defaultMaximumMeasure__m,2,s__Quantity)	Mid-level-ontology.kif 11128-11128
s__domain(s__defaultMeasure__m,2,s__Quantity)	Mid-level-ontology.kif 11156-11156
s__domain(s__defaultMinValue__m,3,s__Quantity)	Merge.kif 18763-18763
s__domain(s__defaultMinimumMeasure__m,2,s__Quantity)	Mid-level-ontology.kif 11099-11099
s__domain(s__defaultValue__m,3,s__Quantity)	Merge.kif 18791-18791
s__domain(s__equipmentCount__m,3,s__Quantity)	Mid-level-ontology.kif 21983-21983

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

( ! [V__QUANTITY1,V__QUANTITY2] :
   ((s__instance(V__QUANTITY1,s__Quantity) &
       s__instance(V__QUANTITY2,s__Quantity))
     =>
     (s__LiftFn(V__QUANTITY1,V__QUANTITY2)
     = s__DivisionFn(s__SubtractionFn(V__QUANTITY1,V__QUANTITY2)
  ,V__QUANTITY2)))
)

UXExperimentalTerms.kif 4754-4762

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28110-28139
( ! [V__CLASS,V__QUANTITY,V__ITEM] : ((s__total(V__CLASS,V__QUANTITY) & s__instance(V__ITEM,V__CLASS)) => s__instance(V__ITEM,s__Quantity)) )	UXExperimentalTerms.kif 4730-4734

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: