| 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 14088-14089 | |
| (domain issuedBy 1 Certificate) | Mid-level-ontology.kif 14086-14086 | |
| (domain issuedBy 2 CognitiveAgent) | Mid-level-ontology.kif 14087-14087 | |
| (instance issuedBy BinaryPredicate) | Mid-level-ontology.kif 14085-14085 |
| 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 31105-31105 | |
| (termFormat ChineseTraditionalLanguage issuedBy "發行由") | domainEnglishFormat.kif 31104-31104 | |
| (termFormat EnglishLanguage issuedBy "issued by") | domainEnglishFormat.kif 31103-31103 |
| antecedent |
|
|
| (=> (and (instance ?Bond CallableBond) (issuedBy ?Bond ?Agent)) (capability Call agent ?Agent)) |
FinancialOntology.kif 2398-2402 | |
| (=> (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 14142-14154 | |
| (=> (issuedBy ?CERT ?AGENT) (exists (?P) (and (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?CERT)))) |
Mid-level-ontology.kif 14091-14097 |
| consequent |
|
|
| (=> (instance ?Bond CorporateBond) (exists (?Agent) (and (instance ?Agent Corporation) (issuedBy ?Bond ?Agent)))) |
FinancialOntology.kif 2301-2306 | |
| (=> (instance ?Bond GovernmentBond) (exists (?Agent) (and (issuedBy ?Bond ?Agent) (instance ?Agent Government)))) |
FinancialOntology.kif 2354-2359 | |
| (=> (instance ?Bond MunicipalBond) (exists (?Agent) (and (instance ?Agent Government) (issuedBy ?Bond ?Agent)))) |
FinancialOntology.kif 2288-2293 | |
| (=> (instance ?Bond TreasuryBond) (exists (?Agent) (and (issuedBy ?Bond ?Agent) (instance ?Agent Government)))) |
FinancialOntology.kif 2387-2392 | |
| (=> (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 14119-14124 | |
| (=> (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners