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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - principalAmount
principalAmount

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 691-693
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 689-689 The number 1 argument of principal amount is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 690-690 The number 2 argument of principal amount is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 688-688 principal amount is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2055-2055
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2054-2054
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2053-2053
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47325-47325
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47324-47324
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47323-47323

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1178-1187
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1227-1236
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2282-2296
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1570-1579
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1551-1556
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 596-600
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 532-541
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 514-520
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 551-557


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