equal |
appearance as argument number 1 |
(documentation equal ChineseLanguage "假如 ?ENTITY1 等于 ?ENTITY2的话,那么 (equal ?ENTITY1 ?ENTITY2) 就是真的。") | chinese_format.kif 1391-1392 | |
(documentation equal JapaneseLanguage "(equal ?ENTITY1 ?ENTITY2) は、万が一に備え、?ENTITY1が ?ENTITY2と同じある場合に当てはまる。") | japanese_format.kif 48-49 | |
(documentation equal SpanishLanguage "(equal ?ENTITY1 ?ENTITY2) es verdadero por si acaso ?ENTITY1 es idéntico a ?ENTITY2.") | spanish_format.kif 53-54 |
appearance as argument number 2 |
(format ChineseLanguage equal "%1 %n equal %2") | chinese_format.kif 297-297 | |
(format EnglishLanguage equal "%1 is %n equal to %2") | english_format.kif 302-302 | |
(format FrenchLanguage equal "%1 est %n �gal � %2") | french_format.kif 171-171 | |
(format ItalianLanguage equal "%1 is %n uguale a %2") | relations-it.txt 96-96 | |
(format JapaneseLanguage equal "%1 は %2 と equal では %n") | japanese_format.kif 1991-1991 | |
(format PortugueseLanguage equal "%1 e' %n igual a %2") | portuguese_format.kif 123-123 | |
(format cz equal "%1 se %n{ne}rovn� %2") | relations-cz.txt 179-179 | |
(format de equal "%1 ist gleich %2 %n{nicht}") | relations-de.txt 387-387 | |
(format hi equal "%1 %2 ke baraabara %n hai") | relations-hindi.txt 136-136 | |
(format ro equal "%1 %n{nu} este equal%t{egal} cu %2") | relations-ro.kif 191-191 | |
(format sv equal "%1 är %n{inte} lika med %2") | relations-sv.txt 178-178 | |
(format tg equal "%1 %n ay pareho sa %2") | relations-tg.txt 205-205 | |
(termFormat ChineseLanguage equal "等于") | chinese_format.kif 298-298 | |
(termFormat ChineseTraditionalLanguage equal "等於") | domainEnglishFormat.kif 22317-22317 | |
(termFormat EnglishLanguage equal "equal") | domainEnglishFormat.kif 22316-22316 | |
(termFormat tg equal "pareho") | relations-tg.txt 206-206 |
antecedent |
consequent |
statement |
appearance as argument number 0 |