Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SetOrClass
SetOrClass(set or class)subgroup, subpopulation

appearance as argument number 1
-------------------------


s__documentation(s__SetOrClass,s__ChineseLanguage,'这是 Set 和 Class 的 SetOrClass，也就是说 任何 Abstract 有 element 或 instance的实例。')

 Merge.kif 2220-2221
s__documentation(s__SetOrClass,s__EnglishLanguage,'The SetOrClass of Sets and Classes, i.e. any instance of Abstract that has elements or instances.')

 Merge.kif 2217-2219
s__partition_3(s__SetOrClass,s__Set,s__Class)

 Merge.kif 2216-2216 Set or class is exhaustively partitioned into set and class
s__subclass(s__SetOrClass,s__Abstract)

s__instance(s__Abstract,s__SetOrClass)

 Merge.kif 2215-2215 Set or class is a subclass of abstract

appearance as argument number 2
-------------------------


s__range(s__ComplementFn__m,s__SetOrClass)

 Merge.kif 5545-5545 The range of complement is an instance of set or class
s__range(s__GeneralizedIntersectionFn__m,s__SetOrClass)

 Merge.kif 5570-5570 The range of generalized intersection is an instance of set or class
s__range(s__GeneralizedUnionFn__m,s__SetOrClass)

 Merge.kif 5557-5557 The range of generalized union is an instance of set or class
s__range(s__IntersectionFn__m,s__SetOrClass)

 Merge.kif 5520-5520 The range of intersection is an instance of set or class
s__range(s__RelativeComplementFn__m,s__SetOrClass)

 Merge.kif 5533-5533 The range of relative complement is an instance of set or class
s__range(s__UnionFn__m,s__SetOrClass)

 Merge.kif 5492-5492 The range of union is an instance of set or class
s__rangeSubclass(s__PowerSetFn__m,s__SetOrClass)

 Merge.kif 820-820 The values returned by power set are subclasses of set or class
s__instance(s__Set,s__SetOrClass)

s__subclass(s__Set,s__SetOrClass)

 Merge.kif 2240-2240 Set is a subclass of set or class
s__termFormat(s__ChineseLanguage,s__SetOrClass,'集或类')

 chinese_format.kif 885-885 "集或类" is the printable form of set or class in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__SetOrClass,'set or class')

 english_format.kif 572-572 "set or class" is the printable form of set or class in english language
s__termFormat(s__FrenchLanguage,s__SetOrClass,'ensemble ou classe')

 french_format.kif 561-561 "ensemble ou classe" is the printable form of set or class in french language
s__termFormat(s__Hindi,s__SetOrClass,'samUha yaa varga')

 terms-hindi.txt 91-91 "samUha yaa varga" is the printable form of set or class in Hindi
s__termFormat(s__ItalianLanguage,s__SetOrClass,'InsiemeOClasse')

 terms-it.txt 92-92 "InsiemeOClasse" is the printable form of set or class in italian language
s__termFormat(s__PortugueseLanguage,s__SetOrClass,'Conjunto ou Classe')

 portuguese_format.kif 513-513 "Conjunto ou Classe" is the printable form of set or class in portuguese language
s__termFormat(s__ar__m,s__SetOrClass,'مَجْمُوْعَة أَو صِنْف')

 arabic_format.kif 297-297 "مَجْمُوْعَة أَو صِنْف" is the printable form of set or class in ar
s__termFormat(s__cz__m,s__SetOrClass,'set or class')

 terms-cz.txt 128-128 "set or class" is the printable form of set or class in cz
s__termFormat(s__tg__m,s__SetOrClass,'isang huwego o klase')

 terms-tg.txt 95-95 "isang huwego o klase" is the printable form of set or class in tg

appearance as argument number 3
-------------------------


s__domain(s__AttrFn__m,1,s__SetOrClass)

 Merge.kif 1810-1810 The number 1 argument of attr is an instance of set or class
s__domain(s__ComplementFn__m,1,s__SetOrClass)

 Merge.kif 5544-5544 The number 1 argument of complement is an instance of set or class
s__domain(s__IntersectionFn__m,1,s__SetOrClass)

 Merge.kif 5518-5518 The number 1 argument of intersection is an instance of set or class
s__domain(s__IntersectionFn__m,2,s__SetOrClass)

 Merge.kif 5519-5519 The number 2 argument of intersection is an instance of set or class
s__domain(s__PowerSetFn__m,1,s__SetOrClass)

 Merge.kif 819-819 The number 1 argument of power set is an instance of set or class
s__domain(s__RelativeComplementFn__m,1,s__SetOrClass)

 Merge.kif 5531-5531 The number 1 argument of relative complement is an instance of set or class
s__domain(s__RelativeComplementFn__m,2,s__SetOrClass)

 Merge.kif 5532-5532 The number 2 argument of relative complement is an instance of set or class
s__domain(s__UnionFn__m,1,s__SetOrClass)

 Merge.kif 5490-5490 The number 1 argument of union is an instance of set or class
s__domain(s__UnionFn__m,2,s__SetOrClass)

 Merge.kif 5491-5491 The number 2 argument of union is an instance of set or class
s__domain(s__adjacentOrientation__m,2,s__SetOrClass)

 Hotel.kif 903-903 The number 2 argument of adjacent orientation is an instance of set or class
s__domain(s__cardinality__m,1,s__SetOrClass)

 Government.kif 425-425 The number 1 argument of cardinality is an instance of set or class
s__domain(s__classIntersection__m,1,s__SetOrClass)

 ComputerInput.kif 67-67 The number 1 argument of classIntersection is an instance of set or class
s__domain(s__classIntersection__m,2,s__SetOrClass)

 ComputerInput.kif 68-68 The number 2 argument of classIntersection is an instance of set or class
s__domain(s__classIntersection__m,3,s__SetOrClass)

 ComputerInput.kif 69-69 The number 3 argument of classIntersection is an instance of set or class
s__domain(s__closedOn__m,2,s__SetOrClass)

 Merge.kif 3667-3667 The number 2 argument of closed on is an instance of set or class
s__domain(s__disjoint__m,1,s__SetOrClass)

 Merge.kif 438-438 The number 1 argument of disjoint is an instance of set or class
s__domain(s__disjoint__m,2,s__SetOrClass)

 Merge.kif 439-439 The number 2 argument of disjoint is an instance of set or class
s__domain(s__domain__m,3,s__SetOrClass)

 Merge.kif 229-229 The number 3 argument of domain is an instance of set or class
s__domain(s__domainSubclass__m,3,s__SetOrClass)

 Merge.kif 258-258 The number 3 argument of domain subclass is an instance of set or class
s__domain(s__equivalenceRelationOn__m,2,s__SetOrClass)

 Merge.kif 3800-3800 The number 2 argument of equivalence relation on is an instance of set or class
s__domain(s__instance__m,2,s__SetOrClass)

 Merge.kif 83-83 The number 2 argument of instance is an instance of set or class
s__domain(s__irreflexiveOn__m,2,s__SetOrClass)

 Merge.kif 3716-3716 The number 2 argument of irreflexive on is an instance of set or class
s__domain(s__lexicon__m,1,s__SetOrClass)

 engineering.kif 39-39 The number 1 argument of lexicon is an instance of set or class
s__domain(s__memberType__m,2,s__SetOrClass)

 Mid-level-ontology.kif 20132-20132 The number 2 argument of member type is an instance of set or class
s__domain(s__memberTypeCount__m,2,s__SetOrClass)

 Mid-level-ontology.kif 20146-20146 The number 2 argument of member type count is an instance of set or class

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 4
-------------------------


s__disjointDecomposition_6(s__Abstract,s__Quantity,s__Attribute,s__SetOrClass,s__Relation,s__Proposition)

 Merge.kif 1704-1704 Abstract is disjointly decomposed into quantity, attribute, set or class, relation, and proposition

antecedent
-------------------------


( ! [V__SET,V__COUNT] :
   ((s__instance(V__SET,s__SetOrClass) &
       (s__CardinalityFn(V__SET)
       = V__COUNT))
   =>
   s__cardinality(V__SET,V__COUNT))
)

 Government.kif 435-439

consequent
-------------------------


( ! [V__ARG,V__COUNT,V__ARGS1,V__EL] :
   ((s__exactCardinality(s__contraryAttribute__m,V__ARG,V__COUNT)
     &
     s__instance(s__contraryAttribute__m,s__Predicate))
   =>
   (? [V__S] :
     (s__instance(V__S,s__SetOrClass) &
       ((s__contraryAttribute_1(V__ARGS1)
         &
         (V__EL = s__ListOrderFn(s__ListFn_1(V__ARGS1)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT))))))
)

 Media.kif 2134-2147
( ! [V__ARG,V__COUNT,V__ARGS1,V__EL] :
   ((s__maxCardinality(s__contraryAttribute__m,V__ARG,V__COUNT)
     &
     s__instance(s__contraryAttribute__m,s__Predicate))
   =>
   (? [V__S] :
     (s__instance(V__S,s__SetOrClass) &
       ((s__contraryAttribute_1(V__ARGS1)
         &
         (V__EL = s__ListOrderFn(s__ListFn_1(V__ARGS1)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   lesseq(s__CardinalityFn(V__S)
  ,V__COUNT))))))
)

 Media.kif 2205-2218
( ! [V__ARG,V__COUNT,V__ARGS1,V__EL] :
   ((s__minCardinality(s__contraryAttribute__m,V__ARG,V__COUNT)
     &
     s__instance(s__contraryAttribute__m,s__Predicate))
   =>
   (? [V__S] :
     (s__instance(V__S,s__SetOrClass) &
       ((s__contraryAttribute_1(V__ARGS1)
         &
         (V__EL = s__ListOrderFn(s__ListFn_1(V__ARGS1)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   greatereq(s__CardinalityFn(V__S)
  ,V__COUNT))))))
)

 Media.kif 2170-2183
( ! [V__X,V__Y] :
   (s__subclass(V__X,V__Y)
   =>
   (s__instance(V__X,s__SetOrClass) &
     s__instance(V__Y,s__SetOrClass)))
)

 Merge.kif 150-154