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

Formal Language: 



KB Term:  Term intersection
English Word: 

  periodicPayment

Sigma KEE - periodicPayment
periodicPayment

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 739-740
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 736-736 The number 1 argument of periodic payment is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 737-737 The number 2 argument of periodic payment is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 738-738 The number 3 argument of periodic payment is an instance of time duration
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 735-735 periodic payment is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1947-1947
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1946-1946
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1945-1945
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45193-45193
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45192-45192
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45191-45191

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 742-749

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2278-2286


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