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 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 853-853 | accessibleFromMenu 的 2 数量 是 ComputerMenu 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 851-851 | accessibleFromMenu 是 二元谓语 的 instance |
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 |
|