No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 813-813 |
子類 ComputerProgram and Software |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2000-2000 |
子類 PageModuleServer and Software |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 815-815 |
子類 SoftwarePackage and Software |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 833-833 |
子類 UserInterface and Software |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65510-65510 |
|