TreeView Knowledge Base Browser - valence

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.	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	If a relation is a subrelation of another relation and the relation %&has a positive integer argument(s), then the other relation %&has the positive integer argument(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2942-2949	If a relation %&has a positive integer argument(s) and the relation is an instance of predicate, then for all @ROW if the relation @ROW, then length of (@ROW) is equal to the positive integer

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 if for all another positive integer, an entity and a set or class if the other positive integer is less than the positive integer and the number the other positive integer argument of the relation is an instance of the set or class and the entity is equal to the other positive integerth element of (@ROW), then the entity is an instance of the set or class , then there exists a fourth entity such that the relation @ROW and the fourth entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 179-183	If a relation is a subrelation of another relation and the relation %&has a positive integer argument(s), then the other relation %&has the positive integer argument(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3287-3289	If a relation is an instance of binary function, then the relation %&has 2 argument(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3349-3351	If a relation is an instance of quaternary function, then the relation %&has 4 argument(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3338-3340	If a relation is an instance of ternary function, then the relation %&has 3 argument(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3248-3250	If a relation is an instance of unary function, then the relation %&has 1 argument(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3366-3368	If a relation is an instance of binary predicate, then the relation %&has 2 argument(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3388-3390	If a relation is an instance of quaternary predicate, then the relation %&has 4 argument(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3399-3401	If a relation is an instance of quintary predicate, then the relation %&has 5 argument(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3377-3379	If a relation is an instance of ternary predicate, then the relation %&has 3 argument(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3408-3412	If a relation is an instance of variable arity relation, then there doesn't exist a positive integer such that the relation %&has the positive integer argument(s)

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