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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndexOption

 Sigma KEE - IndexOption
IndexOption(索引选项)

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2992-2993
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11209-11209
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10061-10061
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2991-2991 索引选项 是 选项 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29605-29605
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29604-29604
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29603-29603


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