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 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	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 2937-2944	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 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 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 178-182	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 3282-3284	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 3344-3346	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 3333-3335	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 3243-3245	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 3361-3363	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 3383-3385	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 3394-3396	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 3372-3374	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 3403-3407	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