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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 178-182
No TPTP formula. May not be expressible in strict first order. Merge.kif 2937-2944

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2111-2128 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 178-182
No TPTP formula. May not be expressible in strict first order. Merge.kif 3282-3284
No TPTP formula. May not be expressible in strict first order. Merge.kif 3344-3346
No TPTP formula. May not be expressible in strict first order. Merge.kif 3333-3335
No TPTP formula. May not be expressible in strict first order. Merge.kif 3243-3245
No TPTP formula. May not be expressible in strict first order. Merge.kif 3361-3363
No TPTP formula. May not be expressible in strict first order. Merge.kif 3383-3385
No TPTP formula. May not be expressible in strict first order. Merge.kif 3394-3396
No TPTP formula. May not be expressible in strict first order. Merge.kif 3372-3374
No TPTP formula. May not be expressible in strict first order. Merge.kif 3403-3407


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