accessibleFromMenu |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1140-1141 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 854-855 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 852-852 | 域 accessibleFromMenu, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 853-853 | 域 accessibleFromMenu, 2 and ComputerMenu |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 851-851 | 例 accessibleFromMenu and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2662-2662 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2661-2661 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2660-2660 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65766-65766 |
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 918-923 |