|
|
   NegativeRealNumber
|
|
|
| appearance as argument number 1 |
|
|
| (documentation NegativeRealNumber ChineseLanguage "这是一个小于零的 RealNumber。") | chinese_format.kif 1747-1747 | |
| (documentation NegativeRealNumber EnglishLanguage "A RealNumber that is less than zero.") | Merge.kif 1945-1946 | |
| (documentation NegativeRealNumber JapaneseLanguage "ゼロ未満の RealNumber 。") | japanese_format.kif 355-355 | |
| (externalImage NegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 09/ Number-line.gif") | pictureList.kif 10145-10145 | |
| (subclass NegativeRealNumber RealNumber) | Merge.kif 1943-1943 | NegativeRealNumber ist eine teilkategorie von RealNumber |
| appearance as argument number 2 |
|
|
| (partition RealNumber NegativeRealNumber NonnegativeRealNumber) | Merge.kif 1892-1892 | RealNumber wird vollstaendig in NegativeRealNumber und NonnegativeRealNumber verteilt |
| (subclass NegativeInteger NegativeRealNumber) | Merge.kif 1986-1986 | NegativeInteger ist eine teilkategorie von NegativeRealNumber |
| (termFormat ChineseLanguage NegativeRealNumber "负实数") | chinese_format.kif 865-865 | |
| (termFormat EnglishLanguage NegativeRealNumber "negative real number") | english_format.kif 932-932 | |
| (termFormat FrenchLanguage NegativeRealNumber "nombre r�el n�gatif") | french_format.kif 541-541 | |
| (termFormat Hindi NegativeRealNumber "Qnaatmaka vaastavika anka") | terms-hindi.txt 71-71 | |
| (termFormat ItalianLanguage NegativeRealNumber "NumeroRealeNegativo") | terms-it.txt 74-74 | |
| (termFormat JapaneseLanguage NegativeRealNumber "負の実数") | japanese_format.kif 2226-2226 | |
| (termFormat PortugueseLanguage NegativeRealNumber "Numero Real negativo") | portuguese_format.kif 493-493 | |
| (termFormat cz NegativeRealNumber "negative real number") | terms-cz.txt 108-108 | |
| (termFormat ro NegativeRealNumber "numãr real negativ") | relations-ro.kif 562-562 | |
| (termFormat tg NegativeRealNumber "Negatibong tunay na numero") | terms-tg.txt 75-75 |
| antecedent |
|
|
| (<=> (instance ?NUMBER NegativeRealNumber) (and (lessThan ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 1948-1952 | RealNumber ist ein fall von NegativeRealNumber %n{nicht} genau dann wenn ** RealNumber ist kleinerAls 0 %n{nicht} und ** RealNumber ist ein fall von RealNumber %n{nicht} |
| (=> (instance ?NUMBER NegativeRealNumber) (equal (SignumFn ?NUMBER) -1)) |
Merge.kif 5206-5208 |
|
| consequent |
|
|
| (<=> (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 4769-4780 | Der absolutebetrag von RealNumber ist gleich NonnegativeRealNumber %n{nicht} und ** RealNumber ist ein fall von RealNumber %n{nicht} und ** NonnegativeRealNumber ist ein fall von RealNumber %n{nicht} genau dann wenn ** RealNumber ist ein fall von NonnegativeRealNumber %n{nicht} und ** RealNumber ist gleich ** NonnegativeRealNumber %n{nicht} oder ** RealNumber ist ein fall von NegativeRealNumber %n{nicht} und ** NonnegativeRealNumber ist gleich (0.0 und ** RealNumber) %n{nicht} |
|
|
|
