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. |
UXExperimentalTerms.kif 2000-2000 |
PageModuleServer 是 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 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65512-65512 |
|