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. Merge.kif 361-361 The number 1 argument of valence is an instance of relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 362-362 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 359-359 valence is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 358-358 valence is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 360-360 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 335-335
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61090-61090
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 61089-61089
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61088-61088

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 179-183
No TPTP formula. May not be expressible in strict first order. Merge.kif 2942-2949

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2116-2133 A relation is an instance of total valued relation and the relation is an instance of predicate if and only if there exists a positive integer such that the relation is an instance of relation and the relation %&has the positive integer argument(s) and
No TPTP formula. May not be expressible in strict first order. Merge.kif 179-183
No TPTP formula. May not be expressible in strict first order. Merge.kif 3287-3289
No TPTP formula. May not be expressible in strict first order. Merge.kif 3349-3351
No TPTP formula. May not be expressible in strict first order. Merge.kif 3338-3340
No TPTP formula. May not be expressible in strict first order. Merge.kif 3248-3250
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 3388-3390
No TPTP formula. May not be expressible in strict first order. Merge.kif 3399-3401
No TPTP formula. May not be expressible in strict first order. Merge.kif 3377-3379
No TPTP formula. May not be expressible in strict first order. Merge.kif 3408-3412


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