dependencyType |
appearance as argument number 1 |
(documentation dependencyType EnglishLanguage "(dependencyType ?PROGRAM ?TYPE) means that ?PROGRAM has a dependency type ?TYPE, where ?TYPE can be either StartupBlock or ShutdownBlock.") | QoSontology.kif 1223-1225 | |
(domain dependencyType 1 ComputerProgram) | QoSontology.kif 1221-1221 | 依赖类型 的 1 数量 是 电脑程序 的 instance |
(domainSubclass dependencyType 2 ComputerProgram) | QoSontology.kif 1222-1222 | 依赖类型 的 2 数量 是 电脑程序 的 subclass |
(instance dependencyType BinaryPredicate) | QoSontology.kif 1220-1220 | 依赖类型 是 二元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage dependencyType "%2 %n 是 %1 的 dependency 类别") | domainEnglishFormat.kif 708-708 | |
(format ChineseTraditionalLanguage dependencyType "%2 %n 是 %1 的 dependency 類別") | domainEnglishFormat.kif 707-707 | |
(format EnglishLanguage dependencyType "%2 is %n a dependency type of %1") | domainEnglishFormat.kif 706-706 | |
(termFormat ChineseLanguage dependencyType "依赖类型") | domainEnglishFormat.kif 19110-19110 | |
(termFormat ChineseTraditionalLanguage dependencyType "依賴類型") | domainEnglishFormat.kif 19109-19109 | |
(termFormat EnglishLanguage dependencyType "dependency type") | domainEnglishFormat.kif 19108-19108 |
antecedent |