TreeView Knowledge Base Browser - Predicate

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Predicate

Predicate(predicate)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1987-1990
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3225-3231
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3223-3223	Predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3222-3222	Predicate is a subclass of relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 455-455	contrary attribute is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 565-565	disjoint decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 488-488	exhaustive attribute is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 547-547	exhaustive decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 581-581	partition is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 684-684	process list is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2075-2075	Relation is exhaustively partitioned into predicate and function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3359-3359	Binary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3431-3431	Logical operator is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3381-3381	Quaternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3392-3392	Quintary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3370-3370	Ternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 915-915
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1042-1042

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17105-17105	The number 1 argument of defaultMaxValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17088-17088	The number 1 argument of defaultMinValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17121-17121	The number 1 argument of defaultValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17071-17071	The number 1 argument of maxValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17054-17054	The number 1 argument of minValue is an instance of predicate

antecedent

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 2892-2897	If the number a positive integer argument of a relation is an instance of a set or class and the relation is an instance of predicate and the relation @ROW, then the positive integerth element of (@ROW) is an instance of the set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2899-2904	If the number a positive integer argument of a relation is a subclass of a set or class and the relation is an instance of predicate and the relation @ROW, then the positive integerth element of (@ROW) is a subclass of the set or class
No TPTP formula. May not be expressible in strict first order.	Media.kif 2108-2115	If there can be 1 values to argument a positive integer of a relation and the relation is an instance of predicate and the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS) and a fourth entity is equal to the positive integerth element of (@ARGS), then the other entity is equal to the fourth entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2095-2105	If there can be 1 values to argument a positive integer of a relation and the relation is an instance of predicate and the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS), then there doesn't exist a fourth entity such that the fourth entity is equal to the positive integerth element of (@ARGS) and the other entity is not equal to the fourth entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2077-2092	If there can be 1 values to argument a positive integer of a relation and the relation is an instance of predicate, then there exist an entity and @ARGS such that the relation @ARGS and the entity is equal to the positive integerth element of (@ARGS) and there doesn't exist a fourth entity such that the fourth entity is equal to the positive integerth element of (@ARGS) and the entity is not equal to the fourth entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2134-2147	If there can be an integer values to argument a positive integer of a relation and the relation is an instance of predicate, then there exists a set or class such that the set or class is an instance of set or class and if the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the other entity is an instance of the set or class and the number of instances in the set or class is equal to the integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 447-453	If a relation is an instance of predicate and another relation is an instance of predicate and the relation and the other relation are disjoint and the relation @ROW2, then the other relation @ROW2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3509-3517	If a binary relation is irreflexive on a set or class and the binary relation is an instance of predicate, then for all an entity if the entity is an instance of the set or class, then the binary relation the entity and the entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2205-2218	If there can be at most an integer values to argument a positive integer of a relation and the relation is an instance of predicate, then there exists a set or class such that the set or class is an instance of set or class and if the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the other entity is an instance of the set or class and the number of instances in the set or class is less than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2170-2183	If there are at least an integer values to argument a positive integer of a relation and the relation is an instance of predicate, then there exists a set or class such that the set or class is an instance of set or class and if the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the other entity is an instance of the set or class and the number of instances in the set or class is greater than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3491-3498	If a binary relation is reflexive on a set or class and the binary relation is an instance of predicate, then for all an entity if the entity is an instance of the set or class, then the binary relation the entity and the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 191-197	If a relation is a subrelation of another relation and the relation is an instance of predicate and the other relation is an instance of predicate and the relation @ROW, then the other relation @ROW
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3562-3574	If a binary relation is trichotomizing on a set or class and the binary relation is an instance of predicate, then for all an entity and another entity if the entity is an instance of the set or class and the other entity is an instance of the set or class, then the binary relation the entity and the other entity or the binary relation the other entity and the entity or the entity is equal to the other entity
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

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