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 1302-1302
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1300-1300 The number 1 argument of borrower is an instance of loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1301-1301 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 1299-1299 borrower is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1298-1298 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 2910-2910
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2909-2909
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2908-2908
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11681-11681
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11680-11680
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11679-11679

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1261-1271
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1273-1282
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1411-1421
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1513-1517
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1428-1443
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1573-1577
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1449-1466
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1304-1309

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1449-1466
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1254-1259
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1473-1481


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