issuedBy |
appearance as argument number 1 |
(documentation issuedBy EnglishLanguage "(issuedBy ?Certificate ?Agent) means that a Certificate ?Certificate is produced and offered by ?Agent.") | Mid-level-ontology.kif 16526-16527 | |
(domain issuedBy 1 Certificate) | Mid-level-ontology.kif 16524-16524 | 域 發行由, 1 and Certificate |
(domain issuedBy 2 CognitiveAgent) | Mid-level-ontology.kif 16525-16525 | 域 發行由, 2 and CognitiveAgent |
(instance issuedBy BinaryPredicate) | Mid-level-ontology.kif 16523-16523 | 例 發行由 and BinaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage issuedBy "%2 %n 是由 %1 的 issued ") | domainEnglishFormat.kif 1401-1401 | |
(format ChineseTraditionalLanguage issuedBy "%2 %n 是由 %1 的 issued ") | domainEnglishFormat.kif 1400-1400 | |
(format EnglishLanguage issuedBy "%2 is %n an issued by of %1") | domainEnglishFormat.kif 1399-1399 | |
(termFormat ChineseLanguage issuedBy "发行由") | domainEnglishFormat.kif 31201-31201 | |
(termFormat ChineseTraditionalLanguage issuedBy "發行由") | domainEnglishFormat.kif 31200-31200 | |
(termFormat EnglishLanguage issuedBy "issued by") | domainEnglishFormat.kif 31199-31199 |
antecedent |
consequent |