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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - borrower
borrower

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1243-1243
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1241-1241 The number 1 argument of borrower is an instance of loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1242-1242 The number 2 argument of borrower is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1240-1240 borrower is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1239-1239 borrower is a subrelation of party to agreement

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2907-2907
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2906-2906
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2905-2905
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11623-11623
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11622-11622
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11621-11621

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1202-1212
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1214-1223
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1352-1362
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1454-1458
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1369-1384
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1515-1519
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1390-1407
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1245-1250

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1390-1407
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1195-1200
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1414-1422


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