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
-------------------------


s__documentation(s__issuedBy__m,s__EnglishLanguage,'"(issuedBy ?Certificate ?Agent) means that a Certificate ?Certificate is produced and offered by ?Agent."')

Mid-level-ontology.kif 15639-15640
s__domain(s__issuedBy__m,n__1,s__Certificate)

Mid-level-ontology.kif 15637-15637 The number 1 argument of issued by is an instance of certificate
s__domain(s__issuedBy__m,n__2,s__CognitiveAgent)

Mid-level-ontology.kif 15638-15638 The number 2 argument of issued by is an instance of cognitive agent
s__instance(s__issuedBy__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 15636-15636 issued by is an instance of binary predicate

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__issuedBy__m,'"%2 %n 是由 %1 的 issued "')

domainEnglishFormat.kif 1401-1401
s__format(s__ChineseTraditionalLanguage,s__issuedBy__m,'"%2 %n 是由 %1 的 issued "')

domainEnglishFormat.kif 1400-1400
s__format(s__EnglishLanguage,s__issuedBy__m,'"%2 is %n an issued by of %1"')

domainEnglishFormat.kif 1399-1399
s__termFormat(s__ChineseLanguage,s__issuedBy__m,'"发行由"')

domainEnglishFormat.kif 31188-31188
s__termFormat(s__ChineseTraditionalLanguage,s__issuedBy__m,'"發行由"')

domainEnglishFormat.kif 31187-31187
s__termFormat(s__EnglishLanguage,s__issuedBy__m,'"issued by"')

domainEnglishFormat.kif 31186-31186

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


( ! [V__Agent,V__Bond] :
   ((s__instance(V__Agent,s__CognitiveAgent) =>
       (((s__instance(V__Bond,s__CallableBond) &
             s__issuedBy(V__Bond,V__Agent))
         =>
         (s__capability(s__Call,s__agent__m,V__Agent)))))
)
)

FinancialOntology.kif 2439-2443
( ! [V__Card,V__Bank] :
   (((s__instance(V__Bank,s__FinancialOrganization) &
         s__instance(V__Bank,s__CognitiveAgent))
       =>
       (((s__instance(V__Card,s__BankCard) &
             s__issuedBy(V__Card,V__Bank))
         =>
         (( ? [V__Account] :
             ((s__instance(V__Account,s__FinancialAccount) &
                 s__cardAccount(V__Card,V__Account)
               &
               s__accountAt(V__Account,V__Bank))))))))
)
)

FinancialOntology.kif 188-196
( ! [V__Agent,V__Give,V__Check,V__Organization] :
   (((s__instance(V__Agent,s__Agent) &
         s__instance(V__Organization,s__CognitiveAgent))
       =>
       (((s__instance(V__Check,s__PayCheck) &
             s__issuedBy(V__Check,V__Organization)
           &
           s__instance(V__Give,s__Giving) &
           s__destination(V__Give,V__Agent))
       =>
       (s__employs(V__Agent,V__Organization)))))
)
)

FinancialOntology.kif 171-177
No TPTP formula. May not be expressible in strict first order. naics.kif 11463-11475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15682-15694
( ! [V__AGENT,V__CERT] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CERT,s__Certificate))
       =>
       ((s__issuedBy(V__CERT,V__AGENT)
         =>
         (( ? [V__P] :
             ((s__instance(V__P,s__IntentionalProcess) &
                 s__agent(V__P,V__AGENT)
               &
               s__result(V__P,V__CERT))))))))
)
)

Mid-level-ontology.kif 15642-15648

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


( ! [V__Bond] :
   ((s__instance(V__Bond,s__CorporateBond) =>
       (( ? [V__Agent] :
           ((s__instance(V__Agent,s__Corporation) &
               s__issuedBy(V__Bond,V__Agent))))))
   )
)

FinancialOntology.kif 2342-2347
( ! [V__Bond] :
   ((s__instance(V__Bond,s__GovernmentBond) =>
       (( ? [V__Agent] :
           ((s__issuedBy(V__Bond,V__Agent)
             &
             s__instance(V__Agent,s__Government))))))
   )
)

FinancialOntology.kif 2395-2400
( ! [V__Bond] :
   ((s__instance(V__Bond,s__MunicipalBond) =>
       (( ? [V__Agent] :
           ((s__instance(V__Agent,s__Government) &
               s__issuedBy(V__Bond,V__Agent))))))
   )
)

FinancialOntology.kif 2329-2334
( ! [V__Bond] :
   ((s__instance(V__Bond,s__TreasuryBond) =>
       (( ? [V__Agent] :
           ((s__issuedBy(V__Bond,V__Agent)
             &
             s__instance(V__Agent,s__Government))))))
   )
)

FinancialOntology.kif 2428-2433
( ! [V__Card] :
   ((s__instance(V__Card,s__BankCard) =>
       (( ? [V__Organization] :
           ((s__instance(V__Organization,s__CognitiveAgent) &
               s__issuedBy(V__Card,V__Organization))))))
   )
)

FinancialOntology.kif 183-186
( ! [V__L] :
   ((s__instance(V__L,s__License) =>
       (( ? [V__ORG] :
           ((s__instance(V__ORG,s__GovernmentOrganization) &
               s__issuedBy(V__L,V__ORG))))))
   )
)

Mid-level-ontology.kif 15670-15675
( ! [V__T] :
   ((s__instance(V__T,s__WaterParkTicket) =>
       (( ? [V__ORG] :
           ((s__instance(V__ORG,s__CognitiveAgent) &
               (s__attribute(V__ORG,s__WaterThemePark) &
                 s__issuedBy(V__T,V__ORG)))))))
   )
)

naics.kif 11456-11461


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