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

Formal Language: 


KB Term:  Term intersection
English Word: 

  issuedBy

 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 17886-17887
(domain issuedBy 1 Certificate) Mid-level-ontology.kif 17884-17884
(domain issuedBy 2 CognitiveAgent) Mid-level-ontology.kif 17885-17885
(instance issuedBy BinaryPredicate) Mid-level-ontology.kif 17883-17883

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 31212-31212
(termFormat ChineseTraditionalLanguage issuedBy "發行由") domainEnglishFormat.kif 31211-31211
(termFormat EnglishLanguage issuedBy "issued by") domainEnglishFormat.kif 31210-31210

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


(=>
    (and
        (instance ?Bond CallableBond)
        (issuedBy ?Bond ?Agent))
    (capability Call agent ?Agent))		 FinancialOntology.kif 2494-2498
(=>
    (and
        (instance ?Card BankCard)
        (issuedBy ?Card ?Bank))
    (exists (?Account)
        (and
            (instance ?Account FinancialAccount)
            (cardAccount ?Card ?Account)
            (accountAt ?Account ?Bank))))		 FinancialOntology.kif 190-198
(=>
    (and
        (instance ?Check PayCheck)
        (issuedBy ?Check ?Organization)
        (instance ?Give Giving)
        (destination ?Give ?Agent))
    (employs ?Agent ?Organization))		 FinancialOntology.kif 173-179
(=>
    (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 17929-17941
(=>
    (issuedBy ?CERT ?AGENT)
    (exists (?P)
        (and
            (instance ?P IntentionalProcess)
            (agent ?P ?AGENT)
            (result ?P ?CERT))))		 Mid-level-ontology.kif 17889-17895

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


(=>
    (instance ?Bond CorporateBond)
    (exists (?Agent)
        (and
            (instance ?Agent Corporation)
            (issuedBy ?Bond ?Agent))))		 FinancialOntology.kif 2397-2402
(=>
    (instance ?Bond GovernmentBond)
    (exists (?Agent)
        (and
            (issuedBy ?Bond ?Agent)
            (instance ?Agent Government))))		 FinancialOntology.kif 2450-2455
(=>
    (instance ?Bond MunicipalBond)
    (exists (?Agent)
        (and
            (instance ?Agent Government)
            (issuedBy ?Bond ?Agent))))		 FinancialOntology.kif 2384-2389
(=>
    (instance ?Bond TreasuryBond)
    (exists (?Agent)
        (and
            (issuedBy ?Bond ?Agent)
            (instance ?Agent Government))))		 FinancialOntology.kif 2483-2488
(=>
    (instance ?Card BankCard)
    (exists (?Organization)
        (issuedBy ?Card ?Organization)))		 FinancialOntology.kif 185-188
(=>
    (instance ?L License)
    (exists (?ORG)
        (and
            (instance ?ORG GovernmentOrganization)
            (issuedBy ?L ?ORG))))		 Mid-level-ontology.kif 17917-17922
(=>
    (instance ?T WaterParkTicket)
    (exists (?ORG)
        (and
            (attribute ?ORG WaterThemePark)
            (issuedBy ?T ?ORG))))		 naics.kif 11449-11454


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

Show without tree


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