Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   IrrationalNumber
|
|
|
| appearance as argument number 1 |
|
|
| (subclass IrrationalNumber RealNumber) | Merge.kif 2020-2020 | Irrational number is a subclass of real number |
| (documentation IrrationalNumber EnglishLanguage "Any RealNumber that is not also a RationalNumber.") | Merge.kif 2022-2023 | Irrational number is a subclass of real number |
| (externalImage IrrationalNumber "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2e/ Pi_symbol.svg") | pictureList.kif 4876-4876 | Irrational number is a subclass of real number |
| (externalImage IrrationalNumber "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Circle_Area.svg") | pictureList.kif 4978-4978 | Irrational number is a subclass of real number |
| (externalImage IrrationalNumber "http://upload.wikimedia.org/wikipedia/commons/ f/ f9/ PI.svg") | pictureList.kif 4979-4979 | Irrational number is a subclass of real number |
| (externalImage IrrationalNumber "http://upload.wikimedia.org/wikipedia/commons/ f/ f2/ Square_root_of_2_triangle.png") | pictureList.kif 4980-4980 | Irrational number is a subclass of real number |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage IrrationalNumber "irrational number") | english_format.kif 930-930 |
| appearance as argument number 3 |
|
|
| (partition RealNumber RationalNumber IrrationalNumber) | Merge.kif 1997-1997 | Real number is exhaustively partitioned into rational number and irrational number |
|
