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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Rollover

 Sigma KEE - Rollover
Rollover(rollover)
rollover

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3421-3424
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6827-6827
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7740-7740
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7741-7741
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3420-3420 Rollover is a subclass of financial transaction

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3426-3426 Direct rollover is a subclass of rollover
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50314-50314
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50313-50313
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50312-50312


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