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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Le nombre 1 argument de valence est une instance de relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 362-362 Le nombre 2 argument de valence est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order. Merge.kif 359-359 valence est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 360-360 valence est une instance de relation simple

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 61174-61174
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 61173-61173
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61172-61172

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 3049-3056

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 3406-3408
No TPTP formula. May not be expressible in strict first order. Merge.kif 3469-3471
No TPTP formula. May not be expressible in strict first order. Merge.kif 3458-3460
No TPTP formula. May not be expressible in strict first order. Merge.kif 3366-3368
No TPTP formula. May not be expressible in strict first order. Merge.kif 3486-3488
No TPTP formula. May not be expressible in strict first order. Merge.kif 3508-3510
No TPTP formula. May not be expressible in strict first order. Merge.kif 3519-3521
No TPTP formula. May not be expressible in strict first order. Merge.kif 3497-3499
No TPTP formula. May not be expressible in strict first order. Merge.kif 3528-3532


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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