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

Formal Language: 



KB Term:  Term intersection
English Word: 

  defaultValue

 Sigma KEE - defaultValue
defaultValue

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18475-18477
No TPTP formula. May not be expressible in strict first order. Merge.kif 18479-18479 defaultValue 的 1 数量 是 谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 18480-18480 defaultValue 的 2 数量 是 整数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 18481-18481 defaultValue 的 3 数量 是 数量 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 18478-18478 defaultValue 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18482-18483
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65806-65806

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18485-18490


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