TreeView Knowledge Base Browser

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 3357-3363
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 620-624
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3355-3355	Predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3354-3354	Predicate is a subclass of relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 448-448	contrary attribute is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 557-557	disjoint decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 479-479	exhaustive attribute is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 539-539	exhaustive decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 573-573	partition is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 795-795	process list is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2173-2173	Relation is exhaustively partitioned into predicate and function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3493-3493	Binary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18657-18657	Closed world predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3565-3565	Logical operator is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3515-3515	Quaternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3526-3526	Quintary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3504-3504	Ternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 915-915	Ternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1037-1037	Ternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	french_format.kif 591-591	Ternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 121-121	Ternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 124-124	Ternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2276-2276	Ternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 543-543	Ternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 126-126	Ternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 158-158	Ternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 417-417	Ternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 612-612	Ternary predicate is a subclass of predicate

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18627-18627	The number 1 argument of default max value is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18610-18610	The number 1 argument of default min value is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18644-18644	The number 1 argument of default value is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18592-18592	The number 1 argument of max value is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18574-18574	The number 1 argument of min value is an instance of predicate

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3011-3016	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 3018-3023	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 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 equal another entity and the positive integerth element of (@ARGS) and equal a fourth entity and the positive integerth element of (@ARGS), then equal the other entity and 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 equal another entity and the positive integerth element of (@ARGS), then there doesn't exist a fourth entity such that equal the fourth entity and the positive integerth element of (@ARGS) and equal the other entity and 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 equal the entity and the positive integerth element of (@ARGS) and there doesn't exist a fourth entity such that equal the fourth entity and the positive integerth element of (@ARGS) and equal the entity and the fourth entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2139-2152	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 exist a class, an entity and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the entity and the positive integerth element of (@ARGS), then the entity is an instance of the class and equal the number of instances in the class and the integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 440-446	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 3625-3633	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 2212-2225	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 exist a class, an entity and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the entity and the positive integerth element of (@ARGS), then the 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 2176-2189	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 exist a class, an entity and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the entity and the positive integerth element of (@ARGS), then the 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 186-192	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 3061-3068	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 equal length of (@ROW) and 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

KB Term:			Term intersection

English Word: