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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RelationExtendedToQuantities
RelationExtendedToQuantities(数量に拡張された関係)

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


(documentation RelationExtendedToQuantities ChineseLanguage " RelationExtendedToQuantities 是一个 Relation,如果它对一串 RealNumber 的参数值是真的,那么 他对一串有着和一些衡量单位幅度 ConstantQuantity 的实例也是真的。例如: lessThan 关系可延伸到数量 上, 意思是(lessThan ?QUANTITY1 ?QUANTITY2) 对于 ?QUANTITY1 和 ?QUANTITY2 所有的数量对, 当且仅当对于某些 ?NUMBER1,?NUMBER2 和 ?UNIT,?QUANTITY1 = (MeasureFn ?NUMBER1 ?UNIT), ?QUANTITY2 = (MeasureFn ?NUMBER2 ?UNIT)和(lessThan ?NUMBER1 ?NUMBER2),对于所有 ?QUANTITY1 和 ?QUANTITY2 可以量度的单位 ?UNIT。注:当一个 RelationExtendedToQuantitiesRealNumber 被延伸到 ConstantQuantity 的实例实时,该 ConstantQuantity 必须以相同的实物尺寸 来量度。") chinese_format.kif 2021-2029
(documentation RelationExtendedToQuantities EnglishLanguage "A RelationExtendedToQuantities is a Relation that, when it is true on a sequence of arguments that are RealNumbers, it is also true on a sequence of instances of ConstantQuantity with those magnitudes in some unit of measure. For example, the lessThan relation is extended to quantities. This means that for all pairs of quantities ?QUANTITY1 and ?QUANTITY2, (lessThan ?QUANTITY1 ?QUANTITY2) if and only if, for some ?NUMBER1, ?NUMBER2, and ?UNIT, ?QUANTITY1 = (MeasureFn ?NUMBER1 ?UNIT), ?QUANTITY2 = (MeasureFn ?NUMBER2 ?UNIT), and (lessThan ?NUMBER1 ?NUMBER2), for all units ?UNIT on which ?QUANTITY1 and ?QUANTITY2 can be measured. Note that, when a RelationExtendedToQuantities is extended from RealNumbers to instances of ConstantQuantity, the ConstantQuantity must be measured along the same physical dimension.") Merge.kif 3536-3548
(documentation RelationExtendedToQuantities JapaneseLanguage "RelationExtendedToQuantity は Relation であり、RealNumber である一連の引数に対して正しい場合、それはまたいくつかの測定 単位でのそれらの大きさの ConstantQuantity の引数のシーケンスの場合にも当てはまる。 例: lessThan 関係は数量に拡張される。つまり、数量の全てのペア Q1 および Q2 に対して、 ?NUMBER1、 ?NUMBER2、および ?UNIT?、?QUANTITY1 が (MeasureFn ?NUMBER1 ?UNIT), ?QUANTITY2 が (MeasureFn ?NUMBER2 ?UNIT), および (lessThan ?NUMBER1 ?NUMBER2) のみの場合、 (lessThan ?QUANTITY1 ?QUANTITY2) であり、?QUANTITY1 と ?QUANTITY2 にあるすべての単位?UNITは 測定できる。 注:RelationExtendedToQuantities が拡張される場合は、 RealNumber から ConstantQuantity のインスタンスに対して、ConstantQuantity は同じ物理的寸法に沿って測定する 必要がある。") japanese_format.kif 661-670
(subclass RelationExtendedToQuantities InheritableRelation) Merge.kif 3534-3534 数量に拡張された関係InheritableRelationsubclass では %n
(subclass RelationExtendedToQuantities Relation) Merge.kif 3533-3533 数量に拡張された関係関係subclass では %n

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


(instance greaterThan RelationExtendedToQuantities) Merge.kif 1846-1846 greaterThan数量に拡張された関係instance では %n
(instance greaterThanOrEqualTo RelationExtendedToQuantities) Merge.kif 1875-1875 greaterThanOrEqualTo数量に拡張された関係instance では %n
(instance lessThan RelationExtendedToQuantities) Merge.kif 1834-1834 lessThan数量に拡張された関係instance では %n
(instance lessThanOrEqualTo RelationExtendedToQuantities) Merge.kif 1858-1858 lessThanOrEqualTo数量に拡張された関係instance では %n
(subclass BinaryRelationExtendedToQuantities RelationExtendedToQuantities) Geography.kif 642-642 BinaryRelationExtendedToQuantities数量に拡張された関係subclass では %n
(termFormat ChineseLanguage RelationExtendedToQuantities "延伸数量关系") chinese_format.kif 931-931
(termFormat EnglishLanguage RelationExtendedToQuantities "relation extended to quantities") english_format.kif 1069-1069
(termFormat FrenchLanguage RelationExtendedToQuantities "relation �tendue aux quantit�es") french_format.kif 607-607
(termFormat Hindi RelationExtendedToQuantities "matraaon kaa sanbandha vistaara") terms-hindi.txt 138-138
(termFormat ItalianLanguage RelationExtendedToQuantities "RelazioneEstesaAQuantit�") terms-it.txt 141-141
(termFormat JapaneseLanguage RelationExtendedToQuantities "数量に拡張された関係") japanese_format.kif 2292-2292
(termFormat PortugueseLanguage RelationExtendedToQuantities "Relacao estendida a Quantidades") portuguese_format.kif 559-559
(termFormat cz RelationExtendedToQuantities "relation extended to quantities") terms-cz.txt 175-175
(termFormat ro RelationExtendedToQuantities "relaþie extinsã la cantitãþi") relations-ro.kif 628-628
(termFormat tg RelationExtendedToQuantities "") terms-tg.txt 142-142

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


(=>
    (and
        (trichotomizingOn ?RELATION ?CLASS)
        (instance ?RELATION RelationExtendedToQuantities))
    (forall (?INST1 ?INST2)
        (=>
            (and
                (instance ?INST1 ?CLASS)
                (instance ?INST2 ?CLASS))
            (or
                (?RELATION ?INST1 ?INST2)
                (?RELATION ?INST2 ?INST1)
                (equal ?INST1 ?INST2)))))
Merge.kif 3689-3701


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