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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Rollover

 Sigma KEE - 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 子類 滾下 and FinancialTransaction

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3426-3426 子類 直接翻轉 and 滾下
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