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 50312-50312
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50311-50311
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50310-50310


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