TreeView Knowledge Base Browser

appearance as argument number 1

(documentation SetOrClass ChineseLanguage "这是 Set 和 Class 的 SetOrClass，也就是说任何 Abstract 有 element 或 instance的实例。")	chinese_format.kif 1804-1805
(documentation SetOrClass EnglishLanguage "The SetOrClass of Sets and Classes, i.e. any instance of Abstract that has elements or instances.")	Merge.kif 2087-2089
(partition SetOrClass Set Class)	Merge.kif 2085-2085	Set or class is exhaustively partitioned into set and class
(subclass SetOrClass Abstract)	Merge.kif 2084-2084	Set or class is a subclass of abstract

appearance as argument number 2

(range ComplementFn SetOrClass)	Merge.kif 5405-5405	The range of complement is an instance of set or class
(range GeneralizedIntersectionFn SetOrClass)	Merge.kif 5426-5426	The range of generalized intersection is an instance of set or class
(range GeneralizedUnionFn SetOrClass)	Merge.kif 5415-5415	The range of generalized union is an instance of set or class
(range IntersectionFn SetOrClass)	Merge.kif 5384-5384	The range of intersection is an instance of set or class
(range RelativeComplementFn SetOrClass)	Merge.kif 5395-5395	The range of relative complement is an instance of set or class
(range UnionFn SetOrClass)	Merge.kif 5358-5358	The range of union is an instance of set or class
(rangeSubclass PowerSetFn SetOrClass)	Merge.kif 789-789	The values returned by power set are subclasses of set or class
(subclass Class SetOrClass)	Merge.kif 2092-2092	Class is a subclass of set or class
(subclass Set SetOrClass)	Merge.kif 2104-2104	Set is a subclass of set or class
(termFormat ChineseLanguage SetOrClass "集或类")	chinese_format.kif 885-885
(termFormat EnglishLanguage SetOrClass "set or class")	english_format.kif 972-972

appearance as argument number 3

(domain ComplementFn 1 SetOrClass)	Merge.kif 5404-5404	The number 1 argument of complement is an instance of set or class
(domain IntersectionFn 1 SetOrClass)	Merge.kif 5382-5382	The number 1 argument of intersection is an instance of set or class
(domain IntersectionFn 2 SetOrClass)	Merge.kif 5383-5383	The number 2 argument of intersection is an instance of set or class
(domain PowerSetFn 1 SetOrClass)	Merge.kif 788-788	The number 1 argument of power set is an instance of set or class
(domain RelativeComplementFn 1 SetOrClass)	Merge.kif 5393-5393	The number 1 argument of relative complement is an instance of set or class
(domain RelativeComplementFn 2 SetOrClass)	Merge.kif 5394-5394	The number 2 argument of relative complement is an instance of set or class
(domain UnionFn 1 SetOrClass)	Merge.kif 5356-5356	The number 1 argument of union is an instance of set or class
(domain UnionFn 2 SetOrClass)	Merge.kif 5357-5357	The number 2 argument of union is an instance of set or class
(domain adjacentOrientation 2 SetOrClass)	Hotel.kif 937-937	The number 2 argument of adjacent orientation is an instance of set or class
(domain cardinality 1 SetOrClass)	Government.kif 436-436	The number 1 argument of cardinality is an instance of set or class
(domain lexicon 1 SetOrClass)	engineering.kif 39-39	The number 1 argument of lexicon is an instance of set or class
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass)	Merge.kif 5425-5425	The number 1 argument of generalized intersection is a subclass of set or class
(domainSubclass GeneralizedUnionFn 1 SetOrClass)	Merge.kif 5414-5414	The number 1 argument of generalized union is a subclass of set or class

antecedent

(=>
    (and
        (instance ?SET SetOrClass)
        (equal
            (CardinalityFn ?SET) ?COUNT))
    (cardinality ?SET ?COUNT))

Government.kif 446-450

If a set or class is an instance of set or class and the number of instances in the set or class is equal to a nonnegative integer,
then the nonnegative integer is a cardinality of the set or class

consequent

(=> (and (exactCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S ?EL @ARGS) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (equal (CardinalityFn ?S) ?COUNT))))))	Media.kif 2137-2150	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 the entity is equal to the positive integerth element of (@ARGS), then the entity is an instance of the class and the number of instances in the class is equal to the integer
(=> (and (maxCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S ?EL @ARGS) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (lessThanOrEqualTo (CardinalityFn ?S) ?COUNT))))))	Media.kif 2210-2223	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 the entity is equal to 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
(=> (and (minCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S ?EL @ARGS) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (greaterThanOrEqualTo (CardinalityFn ?S) ?COUNT))))))	Media.kif 2174-2187	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 the entity is equal to 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

statement

(domain CardinalityFn 1
(UnionFn SetOrClass Collection))

Merge.kif 5435-5435

The number 1 argument of cardinality is an instance of the union of set or class and collection

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: