Simple Browser : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term: 

  RelationExtendedToQuantities

 Sigma KEE - RelationExtendedToQuantities
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
数量に拡張された関係
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 は同じ物理的寸法に沿って測定する 必要がある。
Relationships      
Parents InheritableRelation The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
  関係 The Class of relations. There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators.
Children BinaryRelationExtendedToQuantities


Show full definition (without tree view)
Show full 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