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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 定期付款 的 1 数量 是 金融账户instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 737-737 定期付款 的 2 数量 是 货币测量instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 738-738 定期付款 的 3 数量 是 持续时间instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 735-735 定期付款三元谓语instance

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 45210-45210
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45209-45209
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45208-45208

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


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

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


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


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