| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 808-808 | Software 是 程序 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2000-2000 | PageModuleServer 是 Software 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 813-813 | 电脑程序 是 Software 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 815-815 | SoftwarePackage 是 Software 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 833-833 | UserInterface 是 Software 的 subclass |
|
|