Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - issuedBy
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 14114-14115
(domain issuedBy 1 Certificate) Mid-level-ontology.kif 14112-14112 The number 1 argument of issued by is an instance of certificate
(domain issuedBy 2 CognitiveAgent) Mid-level-ontology.kif 14113-14113 The number 2 argument of issued by is an instance of cognitive agent
(instance issuedBy BinaryPredicate) Mid-level-ontology.kif 14111-14111 issued by is an instance of binary predicate

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 31120-31120
(termFormat ChineseTraditionalLanguage issuedBy "發行由") domainEnglishFormat.kif 31119-31119
(termFormat EnglishLanguage issuedBy "issued by") domainEnglishFormat.kif 31118-31118

antecedent
-------------------------


(=>
    (and
        (instance ?Bond CallableBond)
        (issuedBy ?Bond ?Agent))
    (capability Call agent ?Agent))
FinancialOntology.kif 2399-2403
(=>
    (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 11379-11391
(=>
    (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 14168-14180
(=>
    (issuedBy ?CERT ?AGENT)
    (exists (?P)
        (and
            (instance ?P IntentionalProcess)
            (agent ?P ?AGENT)
            (result ?P ?CERT))))
Mid-level-ontology.kif 14117-14123

consequent
-------------------------


(=>
    (instance ?Bond CorporateBond)
    (exists (?Agent)
        (and
            (instance ?Agent Corporation)
            (issuedBy ?Bond ?Agent))))
FinancialOntology.kif 2302-2307
(=>
    (instance ?Bond GovernmentBond)
    (exists (?Agent)
        (and
            (issuedBy ?Bond ?Agent)
            (instance ?Agent Government))))
FinancialOntology.kif 2355-2360
(=>
    (instance ?Bond MunicipalBond)
    (exists (?Agent)
        (and
            (instance ?Agent Government)
            (issuedBy ?Bond ?Agent))))
FinancialOntology.kif 2289-2294
(=>
    (instance ?Bond TreasuryBond)
    (exists (?Agent)
        (and
            (issuedBy ?Bond ?Agent)
            (instance ?Agent Government))))
FinancialOntology.kif 2388-2393
(=>
    (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 14145-14150
(=>
    (instance ?T WaterParkTicket)
    (exists (?ORG)
        (and
            (attribute ?ORG WaterThemePark)
            (issuedBy ?T ?ORG))))
naics.kif 11372-11377


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners