| LogicalOperator(logical operator) | | Boolean |
| appearance as argument number 1 |
|
|
| (documentation LogicalOperator ChineseLanguage "") | chinese_format.kif 2030-2030 | |
| (documentation LogicalOperator EnglishLanguage "This Class comprises all of the logical operators (viz. 'and', 'or', 'not', '=>', and '<=>').") | Merge.kif 3553-3554 | |
| (documentation LogicalOperator JapaneseLanguage "この Class は、すべての論理演算子 (viz.'と'or''、'ではない''、'=>'、および '<=>') で構成される。") | japanese_format.kif 671-672 | |
| (subclass LogicalOperator Predicate) | Merge.kif 3551-3551 | Logical operator is a subclass of predicate |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LogicalOperator "逻辑运算符") | domainEnglishFormat.kif 34965-34965 | |
| (termFormat ChineseTraditionalLanguage LogicalOperator "邏輯運算符") | domainEnglishFormat.kif 34964-34964 | |
| (termFormat EnglishLanguage LogicalOperator "logical operator") | domainEnglishFormat.kif 34963-34963 | |
| (termFormat Hindi LogicalOperator "taarkika prachaalaka") | terms-hindi.txt 132-132 | |
| (termFormat ItalianLanguage LogicalOperator "OperatoreLogico") | terms-it.txt 135-135 | |
| (termFormat cz LogicalOperator "logical operator") | terms-cz.txt 169-169 | |
| (termFormat tg LogicalOperator "mangatwirang tagapamahala") | terms-tg.txt 136-136 |
|
|
|