| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 808-808 | Software est une sous-classe de proc�dure |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2000-2000 | PageModuleServer est une sous-classe de Software |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 813-813 | Programme d'ordinateur est une sous-classe de Software |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 815-815 | SoftwarePackage est une sous-classe de Software |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 833-833 | UserInterface est une sous-classe de Software |
|
|