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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 15919-15920
(domain issuedBy 1 Certificate) Mid-level-ontology.kif 15917-15917
(domain issuedBy 2 CognitiveAgent) Mid-level-ontology.kif 15918-15918
(instance issuedBy BinaryPredicate) Mid-level-ontology.kif 15916-15916

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 31188-31188
(termFormat ChineseTraditionalLanguage issuedBy "發行由") domainEnglishFormat.kif 31187-31187
(termFormat EnglishLanguage issuedBy "issued by") domainEnglishFormat.kif 31186-31186


        (instance ?Card BankCard)
        (issuedBy ?Card ?Bank))
    (exists (?Account)
            (instance ?Account FinancialAccount)
            (cardAccount ?Card ?Account)
            (accountAt ?Account ?Bank))))
FinancialOntology.kif 188-196
        (instance ?Check PayCheck)
        (issuedBy ?Check ?Organization)
        (instance ?Give Giving)
        (destination ?Give ?Agent))
    (employs ?Agent ?Organization))
FinancialOntology.kif 171-177
        (instance ?T Ticket)
        (possesses ?T ?CUST)
        (issuedBy ?T ?ORG)
        (attribute ?ORG AmusementGamblingAndRecreationIndustries)
        (located ?ORG ?LOC))
    (confersNorm ?ORG
        (exists (?REC)
                (instance ?REC RecreationOrExercise)
                (experiencer ?REC ?CUST)
                (eventLocated ?REC ?LOC))) Permission))
naics.kif 11456-11468
        (issuedBy ?TICKET ?AGENT)
        (instance ?TICKET Ticket)
        (possesses ?CUST ?TICKET))
    (confersNorm ?AGENT
        (exists (?T)
            (holdsDuring ?T
                (exists (?P)
                        (instance ?P Process)
                        (agent ?P ?AGENT)
                        (experiencer ?P ?CUST))))) Permission))
Mid-level-ontology.kif 15962-15974
    (issuedBy ?CERT ?AGENT)
    (exists (?P)
            (instance ?P IntentionalProcess)
            (agent ?P ?AGENT)
            (result ?P ?CERT))))
Mid-level-ontology.kif 15922-15928


    (instance ?Card BankCard)
    (exists (?Organization)
        (issuedBy ?Card ?Organization)))
FinancialOntology.kif 183-186
    (instance ?L License)
    (exists (?ORG)
            (instance ?ORG GovernmentOrganization)
            (issuedBy ?L ?ORG))))
Mid-level-ontology.kif 15950-15955
    (instance ?T WaterParkTicket)
    (exists (?ORG)
            (attribute ?ORG WaterThemePark)
            (issuedBy ?T ?ORG))))
naics.kif 11449-11454

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