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

Formal Language: 



KB Term:  Term intersection
English Word: 

  valence

 Sigma KEE - valence
valence

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1494-1495
No TPTP formula. May not be expressible in strict first order. Merge.kif 363-366
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 55-56
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 60-62
No TPTP formula. May not be expressible in strict first order. Merge.kif 361-361 配价 的 1 数量 是 关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 362-362 配价 的 2 数量 是 正整数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 359-359 配价 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 360-360 配价 是 单值关系 的 instance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 327-327
No TPTP formula. May not be expressible in strict first order. english_format.kif 332-332
No TPTP formula. May not be expressible in strict first order. french_format.kif 186-186
No TPTP formula. May not be expressible in strict first order. relations-it.txt 309-309
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2006-2006
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 138-138
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 181-181
No TPTP formula. May not be expressible in strict first order. relations-de.txt 431-431
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 60-60
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 206-206
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 196-196
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61172-61172
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 328-328
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61171-61171
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61170-61170

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 180-184
No TPTP formula. May not be expressible in strict first order. Merge.kif 3048-3055

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 180-184
No TPTP formula. May not be expressible in strict first order. Merge.kif 3405-3407
No TPTP formula. May not be expressible in strict first order. Merge.kif 3468-3470
No TPTP formula. May not be expressible in strict first order. Merge.kif 3457-3459
No TPTP formula. May not be expressible in strict first order. Merge.kif 3365-3367
No TPTP formula. May not be expressible in strict first order. Merge.kif 3485-3487
No TPTP formula. May not be expressible in strict first order. Merge.kif 3507-3509
No TPTP formula. May not be expressible in strict first order. Merge.kif 3518-3520
No TPTP formula. May not be expressible in strict first order. Merge.kif 3496-3498
No TPTP formula. May not be expressible in strict first order. Merge.kif 3527-3531


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