TreeView Knowledge Base Browser - lender

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - lender

lender

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1288-1289
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1286-1286	域貸款人, 1 and 貸款
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1287-1287	域貸款人, 2 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1285-1285	例貸款人 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1284-1284	子關係貸款人 and 協議的一方

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3738-3738
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3737-3737
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3736-3736
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33953-33953
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33952-33952
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33951-33951

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1261-1271	貸款是 CognitiveAgent 的 borrower CognitiveAgent lends 貸款 TimeInterval 是貸款的 agreement 週期貸款是對於 %3 的賺取 interest FinancialTransaction 起源 FinancialTransaction and CognitiveAgent 利益是 FinancialTransaction 的 transaction 總額目的地 FinancialTransaction and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1491-1495	例貸款 and 銀行定期貸款 CognitiveAgent lends 貸款例 CognitiveAgent and BankFinancialOrganization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1428-1443	例貸款 and 可贖回貸款 CognitiveAgent lends 貸款貸款是 CognitiveAgent 的 borrower CurrencyMeasure 是貸款的 total 存款例 Process and 呼叫 agent Process and CognitiveAgent 患者 Process and 貸款持有義務卡帕 SymbolicString and 目的地 SymbolicString and CognitiveAgent 時間 SymbolicString and 眼前的未來何時 Process CurrencyMeasure 是 SymbolicString 的 transaction 總額 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1567-1571	例貸款 and 一天的貸款 CognitiveAgent lends 貸款例 CognitiveAgent and BankFinancialOrganization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1334-1343	例貸款 and 貸款抵押是貸款的 secured CognitiveAgent lends 貸款例 Process and 財務違約患者 Process and 貸款持有期間眼前的未來何時 Process and 擁有 CognitiveAgent and 抵押
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1291-1296	CognitiveAgent lends 貸款 Process 例 Process and Lending agent Process and CognitiveAgent

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1254-1259	例貸款 and 貸款 CognitiveAgent CognitiveAgent 貸款是 CognitiveAgent 的 borrower CognitiveAgent lends 貸款
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1588-1590	例 Entity and 儲錢貸款等於基數卡帕 SymbolicString and SymbolicString lends Entity and 2
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1473-1481	屬性 CognitiveAgent and 貸款承諾貸款協議 and 協議例貸款 and 貸款協議 lends 貸款貸款是協議的 borrower 協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議

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