| RealNumber
| |
| appearance as argument number 1 |
|
|
| (documentation RealNumber ChineseLanguage "任何可以表达为一个（可能是无限的)十进制的 Number， 即任何在数字线上佔有一席位 Number。") | chinese_format.kif 1737-1738 | |
| (documentation RealNumber EnglishLanguage "Any Number that can be expressed as a (possibly infinite) decimal, i.e. any Number that has a position on the number line.") | Merge.kif 1891-1893 | |
| (documentation RealNumber JapaneseLanguage "（無限の可能性がある）10進数として表現できる任意の Number。例：数直線の位置を持つ任意の Number。") | japanese_format.kif 345-346 | |
| (externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 0/ 09/ Number_line.gif") | pictureList.kif 11728-11728 | |
| (externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Real_Number_Line.PNG") | pictureList.kif 10221-10221 | |
| (externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") | pictureList.kif 11727-11727 | |
| (partition RealNumber NegativeRealNumber NonnegativeRealNumber) | Merge.kif 1888-1888 | |
| (partition RealNumber RationalNumber IrrationalNumber) | Merge.kif 1889-1889 | |
| (subclass RealNumber Number) | Merge.kif 1887-1887 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain AbsoluteValueFn 1 RealNumber) | Merge.kif 4775-4775 | |
| (domain AdditionFn 1 RealNumber) | Merge.kif 4725-4725 | |
| (domain AdditionFn 2 RealNumber) | Merge.kif 4726-4726 | |
| (domain ArcCosineFn 1 RealNumber) | Merge.kif 5272-5272 | |
| (domain ArcSineFn 1 RealNumber) | Merge.kif 5282-5282 | |
| (domain ArcTangentFn 1 RealNumber) | Merge.kif 5262-5262 | |
| (domain CeilingFn 1 RealNumber) | Merge.kif 4796-4796 | |
| (domain DenominatorFn 1 RealNumber) | Merge.kif 4823-4823 | |
| (domain DivisionFn 1 RealNumber) | Merge.kif 4755-4755 | |
| (domain DivisionFn 2 RealNumber) | Merge.kif 4756-4756 | |
| (domain ExponentiationFn 1 RealNumber) | Merge.kif 4832-4832 | |
| (domain FloorFn 1 RealNumber) | Merge.kif 4841-4841 | |
| (domain IntegerSquareRootFn 1 RealNumber) | Merge.kif 4936-4936 | |
| (domain LogFn 1 RealNumber) | Merge.kif 4988-4988 | |
| (domain MeasureFn 1 RealNumber) | Merge.kif 6358-6358 | |
| (domain MultiplicationFn 1 RealNumber) | Merge.kif 4712-4712 | |
| (domain MultiplicationFn 2 RealNumber) | Merge.kif 4713-4713 | |
| (domain NumeratorFn 1 RealNumber) | Merge.kif 5049-5049 | |
| (domain ReciprocalFn 1 RealNumber) | Merge.kif 5083-5083 | |
| (domain RoundFn 1 RealNumber) | Merge.kif 5183-5183 | |
| (domain SignumFn 1 RealNumber) | Merge.kif 5202-5202 | |
| (domain SineFn 1 RealNumber) | Merge.kif 5224-5224 | |
| (domain SquareRootFn 1 RealNumber) | Merge.kif 5232-5232 | |
| (domain SubtractionFn 1 RealNumber) | Merge.kif 4739-4739 | |
| (domain SubtractionFn 2 RealNumber) | Merge.kif 4740-4740 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (<=> (and (equal (AbsoluteValueFn ?NUMBER1) ?NUMBER2) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber)) (or (and (instance ?NUMBER1 NonnegativeRealNumber) (equal ?NUMBER1 ?NUMBER2)) (and (instance ?NUMBER1 NegativeRealNumber) (equal ?NUMBER2 (SubtractionFn 0.0 ?NUMBER1))))) |
Merge.kif 4781-4792 | |
| (=> (and (instance ?BUYINGS Collection) (instance ?GMB CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMB (GMBFn ?BUYINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?BUYING) (and (member ?BUYING ?BUYINGS) (patient ?BUYING ?ITEM)))))))) (equal (ABPFn ?BUYINGS) (DivisionFn ?GMB ?TOTAL))) |
UXExperimentalTerms.kif 3239-3259 | |
| (=> (and (instance ?SELLINGS Collection) (instance ?GMV CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMV (GMVFn ?SELLINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?SELLING) (and (member ?SELLING ?SELLINGS) (patient ?SELLING ?ITEM)))))))) (equal (ASPFn ?SELLINGS) (DivisionFn ?GMV ?TOTAL))) |
UXExperimentalTerms.kif 3282-3302 | |
| (=> (and (roastedToTemperature ?B ?T) (instance ?B CoffeeBean) (instance ?T RealNumber)) (modalAttribute (exists (?R) (and (instance ?R DryRoasting) (patient ?R ?B))) Likely)) |
Food.kif 479-488 | |
| (=> (instance ?DEGREE RealNumber) (equal (TangentFn ?DEGREE) (DivisionFn (SineFn ?DEGREE) (CosineFn ?DEGREE)))) |
Merge.kif 5252-5258 | |
| (=> (instance ?N RealNumber) (equal (MeasureFn ?N Horsepower) (MeasureFn (MultiplicationFn ?N 746) Watt))) |
Merge.kif 6912-6916 |
| consequent |
|
|
| (<=> (instance ?NUMBER NegativeRealNumber) (and (lessThan ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 1944-1948 | |
| (<=> (instance ?NUMBER NonnegativeRealNumber) (and (greaterThanOrEqualTo ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 1922-1926 | |
| (<=> (instance ?NUMBER PositiveRealNumber) (and (greaterThan ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 1933-1937 | |
| (=> (and (instance ?MAF MovingAwayFrom) (instance ?RELATIVEOBJECT Object) (instance ?REFERENCEOBJECT Object) (patient ?MAF ?RELATIVEOBJECT) (patient ?MAF ?REFERENCEOBJECT)) (exists (?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE ?U) (and (instance ?BEFOREDISTANCE RealNumber) (instance ?AFTERDISTANCE RealNumber) (moves ?MAF ?RELATIVEOBJECT) (holdsDuring (BeginFn (WhenFn ?MAF)) (distance ?RELATIVEOBJECT ?REFERENCEOBJECT (MeasureFn ?BEFOREDISTANCE ?U))) (holdsDuring (EndFn (WhenFn ?MAF)) (distance ?RELATIVEOBJECT ?REFERENCEOBJECT (MeasureFn ?AFTERDISTANCE ?U))) (greaterThan ?AFTERDISTANCE ?BEFOREDISTANCE)))) |
Mid-level-ontology.kif 33488-33508 | |
| (=> (and (instance ?MT MovingTowards) (instance ?RELATIVEOBJECT Object) (instance ?REFERENCEOBJECT Object) (patient ?MT ?REFERENCEOBJECT) (patient ?MT ?RELATIVEOBJECT)) (exists (?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE) (and (instance ?BEFOREDISTANCE RealNumber) (instance ?AFTERDISTANCE RealNumber) (moves ?MT ?RELATIVEOBJECT) (holdsDuring (BeginFn (WhenFn ?MT)) (distance ?RELATIVEOBJECT ?REFERENCEOBJECT (MeasureFn ?BEFOREDISTANCE ?U))) (holdsDuring (EndFn (WhenFn ?MT)) (distance ?RELATIVEOBJECT ?REFERENCEOBJECT (MeasureFn ?AFTERDISTANCE ?U))) (greaterThan ?BEFOREDISTANCE ?AFTERDISTANCE)))) |
Mid-level-ontology.kif 33515-33535 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?SQUAREUNIT (SquareUnitFn ?UNIT))) (exists (?NUM) (and (instance ?NUM RealNumber) (equal (MeasureFn ?NUM ?SQUAREUNIT) (MeasureFn (MultiplicationFn ?NUM ?NUM) ?UNIT))))) |
Mid-level-ontology.kif 14989-15000 | |
| (=> (average ?LIST ?AVERAGE) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (instance ?LISTITEM RealNumber)))) |
Merge.kif 5382-5387 | |
| (=> (instance ?L Lungo) (exists (?E ?V) (and (instance ?E Espresso) (part ?E ?L) (measure ?E (MeasureFn ?V Liter)) (instance ?V RealNumber) (measure ?L (MeasureFn (MultiplicationFn ?V 2) Liter))))) |
Food.kif 770-781 |
|
|
|