Predicate - Sigma Knowledge base Browser

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 3277-3283
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3275-3275	Predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3274-3274	Predicate is a subclass of relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 453-453	contrary attribute is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 564-564	disjoint decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 486-486	exhaustive attribute is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 546-546	exhaustive decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 580-580	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 2108-2108	Relation is exhaustively partitioned into predicate and function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3412-3412	Binary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3484-3484	Logical operator is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3434-3434	Quaternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3445-3445	Quintary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3423-3423	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 1037-1037

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18179-18179	The number 1 argument of defaultMaxValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18162-18162	The number 1 argument of defaultMinValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18196-18196	The number 1 argument of defaultValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18144-18144	The number 1 argument of maxValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18126-18126	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 2932-2937	If the number a positive integer argument of a relation is an instance of a 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 class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2939-2944	If the number a positive integer argument of a relation is a subclass of a 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 class
No TPTP formula. May not be expressible in strict first order.	Media.kif 2104-2111	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 2091-2101	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 2073-2088	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 2130-2143	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 class such that the 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 class and the number of instances in the class is equal to the integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 445-451	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 3544-3552	If a binary relation is an instance of reflexive relation and the binary relation is reflexive on a class and the binary relation is an instance of predicate, then for all an entity if the entity is an instance of the class, then the binary relation the entity and the entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2201-2214	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 class such that the 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 class and the number of instances in the class is less than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2166-2179	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 class such that the 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 class and the number of instances in the class is greater than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 190-196	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 2982-2989	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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