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 356-359
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 354-354 The number 1 argument of valence is an instance of relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 355-355 The number 2 argument of valence is an instance of positive integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 352-352 valence is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 353-353 valence is an instance of single valued relation

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 61166-61166
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 61165-61165
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61164-61164
No TPTP formula. May not be expressible in strict first order. terms-de.txt 137-137

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 174-178
No TPTP formula. May not be expressible in strict first order. Merge.kif 3046-3053

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 174-178
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