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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CarbonCycle

 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 Le nombre 1 argument de borrower est une instance de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1301-1301 Le nombre 2 argument de borrower est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1299-1299 borrower est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1298-1298 borrower est une sous-relation de partyToAgreement

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