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 2167-2169
(documentation SetOrClass JapaneseLanguage "Sets の SetOrClass と Classes。　例： elements または instances がある Abstract の任意のインスタンス。")	japanese_format.kif 419-420
(partition SetOrClass Set Class)	Merge.kif 2165-2165	Set or class is exhaustively partitioned into set and class
(subclass SetOrClass Abstract)	Merge.kif 2164-2164	Set or class is a subclass of abstract

appearance as argument number 2

(range ComplementFn SetOrClass)	Merge.kif 5528-5528	The range of ComplementFn is an instance of set or class
(range GeneralizedIntersectionFn SetOrClass)	Merge.kif 5549-5549	The range of GeneralizedIntersectionFn is an instance of set or class
(range GeneralizedUnionFn SetOrClass)	Merge.kif 5538-5538	The range of GeneralizedUnionFn is an instance of set or class
(range IntersectionFn SetOrClass)	Merge.kif 5507-5507	The range of IntersectionFn is an instance of set or class
(range RelativeComplementFn SetOrClass)	Merge.kif 5518-5518	The range of RelativeComplementFn is an instance of set or class
(range UnionFn SetOrClass)	Merge.kif 5481-5481	The range of UnionFn is an instance of set or class
(rangeSubclass PowerSetFn SetOrClass)	Merge.kif 791-791	The values returned by PowerSetFn are subclasses of set or class
(subclass Class SetOrClass)	Merge.kif 2172-2172	Class is a subclass of set or class
(subclass Set SetOrClass)	Merge.kif 2184-2184	Set is a subclass of set or class
(termFormat ChineseLanguage SetOrClass "集或类")	chinese_format.kif 885-885	Set is a subclass of set or class
(termFormat EnglishLanguage SetOrClass "set or class")	english_format.kif 972-972	Set is a subclass of set or class
(termFormat FrenchLanguage SetOrClass "ensemble ou classe")	french_format.kif 561-561	Set is a subclass of set or class
(termFormat Hindi SetOrClass "samUha yaa varga")	terms-hindi.txt 91-91	Set is a subclass of set or class
(termFormat ItalianLanguage SetOrClass "InsiemeOClasse")	terms-it.txt 94-94	Set is a subclass of set or class
(termFormat JapaneseLanguage SetOrClass "同じセットまたはクラス")	japanese_format.kif 2246-2246	Set is a subclass of set or class
(termFormat PortugueseLanguage SetOrClass "Conjunto ou Classe")	portuguese_format.kif 513-513	Set is a subclass of set or class
(termFormat cz SetOrClass "set or class")	terms-cz.txt 128-128	Set is a subclass of set or class
(termFormat de SetOrClass "Menge oder Kategorie")	terms-de.txt 387-387	Set is a subclass of set or class
(termFormat ro SetOrClass "mulþime sau clasã")	relations-ro.kif 582-582	Set is a subclass of set or class
(termFormat tg SetOrClass "isang huwego o klase")	terms-tg.txt 95-95	Set is a subclass of set or class

appearance as argument number 3

(domain CardinalityFn 1 SetOrClass)	Merge.kif 5558-5558	The number 1 argument of CardinalityFn is an instance of set or class
(domain ComplementFn 1 SetOrClass)	Merge.kif 5527-5527	The number 1 argument of ComplementFn is an instance of set or class
(domain IntersectionFn 1 SetOrClass)	Merge.kif 5505-5505	The number 1 argument of IntersectionFn is an instance of set or class
(domain IntersectionFn 2 SetOrClass)	Merge.kif 5506-5506	The number 2 argument of IntersectionFn is an instance of set or class
(domain PowerSetFn 1 SetOrClass)	Merge.kif 790-790	The number 1 argument of PowerSetFn is an instance of set or class
(domain RelativeComplementFn 1 SetOrClass)	Merge.kif 5516-5516	The number 1 argument of RelativeComplementFn is an instance of set or class
(domain RelativeComplementFn 2 SetOrClass)	Merge.kif 5517-5517	The number 2 argument of RelativeComplementFn is an instance of set or class
(domain UnionFn 1 SetOrClass)	Merge.kif 5479-5479	The number 1 argument of UnionFn is an instance of set or class
(domain UnionFn 2 SetOrClass)	Merge.kif 5480-5480	The number 2 argument of UnionFn is an instance of set or class
(domain adjacentOrientation 2 SetOrClass)	Hotel.kif 945-945	The number 2 argument of adjacentOrientation is an instance of set or class
(domain cardinality 1 SetOrClass)	Government.kif 400-400	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 5548-5548	The number 1 argument of GeneralizedIntersectionFn is a subclass of set or class
(domainSubclass GeneralizedUnionFn 1 SetOrClass)	Merge.kif 5537-5537	The number 1 argument of GeneralizedUnionFn is a subclass of set or class

antecedent

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

Government.kif 410-414

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

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 2139-2152	If exactCardinality a relation, a positive integer and an integer and the relation is an instance of predicate, then there exist a class, another integer and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the other integer and the positive integerth element of (@ARGS), then the other integer is an instance of the class and equal the number of instances in the class and 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 2212-2225	If maxCardinality a relation, a positive integer and an integer and the relation is an instance of predicate, then there exist a class, another integer and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the other integer and the positive integerth element of (@ARGS), then the other integer 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 2176-2189	If minCardinality a relation, a positive integer and an integer and the relation is an instance of predicate, then there exist a class, another integer and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the other integer and the positive integerth element of (@ARGS), then the other integer is an instance of the class and the number of instances in the class is greater than or equal to the 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: