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 16499-16500 | |
(domain issuedBy 1 Certificate) | Mid-level-ontology.kif 16497-16497 | O argumento numero 1 de issuedBy e' uma instancia de Certificado |
(domain issuedBy 2 CognitiveAgent) | Mid-level-ontology.kif 16498-16498 | O argumento numero 2 de issuedBy e' uma instancia de Agente Cognitivo |
(instance issuedBy BinaryPredicate) | Mid-level-ontology.kif 16496-16496 | issuedBy e' uma instancia de Predicado Binario |
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 |