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 3061-3068

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 3420-3422
No TPTP formula. May not be expressible in strict first order. Merge.kif 3483-3485
No TPTP formula. May not be expressible in strict first order. Merge.kif 3472-3474
No TPTP formula. May not be expressible in strict first order. Merge.kif 3380-3382
No TPTP formula. May not be expressible in strict first order. Merge.kif 3500-3502
No TPTP formula. May not be expressible in strict first order. Merge.kif 3522-3524
No TPTP formula. May not be expressible in strict first order. Merge.kif 3533-3535
No TPTP formula. May not be expressible in strict first order. Merge.kif 3511-3513
No TPTP formula. May not be expressible in strict first order. Merge.kif 3542-3546


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