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 16498-16499 | |
(domain issuedBy 1 Certificate) | Mid-level-ontology.kif 16496-16496 | issuedBy の数値 1 引数は 証明書 の instance では %n |
(domain issuedBy 2 CognitiveAgent) | Mid-level-ontology.kif 16497-16497 | issuedBy の数値 2 引数は 認識エージェント の instance では %n |
(instance issuedBy BinaryPredicate) | Mid-level-ontology.kif 16495-16495 | issuedBy は 2進述語 の instance では %n |
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 |
(=> (instance ?Bond CorporateBond) (exists (?Agent) (and (instance ?Agent Corporation) (issuedBy ?Bond ?Agent)))) |
FinancialOntology.kif 2380-2385 | |
(=> (instance ?Bond GovernmentBond) (exists (?Agent) (and (issuedBy ?Bond ?Agent) (instance ?Agent Government)))) |
FinancialOntology.kif 2433-2438 | |
(=> (instance ?Bond MunicipalBond) (exists (?Agent) (and (instance ?Agent Government) (issuedBy ?Bond ?Agent)))) |
FinancialOntology.kif 2367-2372 | |
(=> (instance ?Bond TreasuryBond) (exists (?Agent) (and (issuedBy ?Bond ?Agent) (instance ?Agent Government)))) |
FinancialOntology.kif 2466-2471 | |
(=> (instance ?Card BankCard) (exists (?Organization) (issuedBy ?Card ?Organization))) |
FinancialOntology.kif 183-186 | |
(=> (instance ?L License) (exists (?ORG) (and (instance ?ORG GovernmentOrganization) (issuedBy ?L ?ORG)))) |
Mid-level-ontology.kif 16529-16534 | |
(=> (instance ?T WaterParkTicket) (exists (?ORG) (and (attribute ?ORG WaterThemePark) (issuedBy ?T ?ORG)))) |
naics.kif 11449-11454 |
|