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

Formal Language: 



KB Term:  Term intersection
English Word: 

  defaultMinValue

 Sigma KEE - defaultMinValue
defaultMinValue

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18498-18500
No TPTP formula. May not be expressible in strict first order. Merge.kif 18502-18502 defaultMinValue 的 1 数量 是 谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 18503-18503 defaultMinValue 的 2 数量 是 整数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 18504-18504 defaultMinValue 的 3 数量 是 数量 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 18501-18501 defaultMinValue 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18505-18506
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65807-65807

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18508-18513


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