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 | 发行由 的 1 数量 是 证书 的 instance |
(domain issuedBy 2 CognitiveAgent) | Mid-level-ontology.kif 16497-16497 | 发行由 的 2 数量 是 有认知的主事 的 instance |
(instance issuedBy BinaryPredicate) | Mid-level-ontology.kif 16495-16495 | 发行由 是 二元谓语 的 instance |
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 |
(=> (and (instance ?Bond CallableBond) (issuedBy ?Bond ?Agent)) (capability Call agent ?Agent)) |
FinancialOntology.kif 2477-2481 | |
(=> (and (instance ?Card BankCard) (issuedBy ?Card ?Bank)) (exists (?Account) (and (instance ?Account FinancialAccount) (cardAccount ?Card ?Account) (accountAt ?Account ?Bank)))) |
FinancialOntology.kif 188-196 | |
(=> (and (instance ?Check PayCheck) (issuedBy ?Check ?Organization) (instance ?Give Giving) (destination ?Give ?Agent)) (employs ?Agent ?Organization)) |
FinancialOntology.kif 171-177 | |
(=> (and (instance ?T Ticket) (possesses ?T ?CUST) (issuedBy ?T ?ORG) (attribute ?ORG AmusementGamblingAndRecreationIndustries) (located ?ORG ?LOC)) (confersNorm ?ORG (exists (?REC) (and (instance ?REC RecreationOrExercise) (experiencer ?REC ?CUST) (eventLocated ?REC ?LOC))) Permission)) |
naics.kif 11456-11468 | |
(=> (and (issuedBy ?TICKET ?AGENT) (instance ?TICKET Ticket) (possesses ?CUST ?TICKET)) (confersNorm ?AGENT (exists (?T) (holdsDuring ?T (exists (?P) (and (instance ?P Process) (agent ?P ?AGENT) (experiencer ?P ?CUST))))) Permission)) |
Mid-level-ontology.kif 16541-16553 | |
(=> (issuedBy ?CERT ?AGENT) (exists (?P) (and (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?CERT)))) |
Mid-level-ontology.kif 16501-16507 |
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 |
|