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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subCollection

Sigma KEE - subCollection
subCollection

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


s__documentation(s__subCollection__m,s__ChineseLanguage,'"(subCollection ?COLL1 ?COLL2) 的意思是 Collection ?COLL1 是 Collection ?COLL2 的真正部分。"')

chinese_format.kif 1635-1636
s__documentation(s__subCollection__m,s__EnglishLanguage,'"(subCollection ?COLL1 ?COLL2) means that the Collection ?COLL1 is a proper part of the Collection ?COLL2."')

Merge.kif 1220-1221
s__domain(s__subCollection__m,n__1,s__Collection)

Merge.kif 1217-1217 The number 1 argument of sub collection is an instance of collection
s__domain(s__subCollection__m,n__2,s__Collection)

Merge.kif 1218-1218 The number 2 argument of sub collection is an instance of collection
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__subCollection__m,s__BinaryPredicate)

Merge.kif 1215-1215 sub collection is an instance of binary predicate
s__instance(s__subCollection__m,s__PartialOrderingRelation)

s__instance(s__PartialOrderingRelation,s__Class)

Merge.kif 1216-1216 sub collection is an instance of partial ordering relation
s__subrelation(s__subCollection__m,s__part__m)

Merge.kif 1223-1223 sub collection is a subrelation of part

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


s__format(s__ChineseLanguage,s__subCollection__m,'"%1 %n 是 %2 的 真正的子集"')

chinese_format.kif 185-185
s__format(s__EnglishLanguage,s__subCollection__m,'"%1 is %n a proper sub-collection of %2"')

english_format.kif 186-186
s__subrelation(s__subOrganization__m,s__subCollection__m)

Merge.kif 16076-16076 sub organization is a subrelation of sub collection
s__termFormat(s__ChineseLanguage,s__subCollection__m,'"子集"')

chinese_format.kif 186-186
s__termFormat(s__ChineseLanguage,s__subCollection__m,'"子集合"')

domainEnglishFormat.kif 55689-55689
s__termFormat(s__ChineseTraditionalLanguage,s__subCollection__m,'"子集合"')

domainEnglishFormat.kif 55688-55688
s__termFormat(s__EnglishLanguage,s__subCollection__m,'"sub collection"')

domainEnglishFormat.kif 55687-55687

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


( ! [V__COLL1,V__COLL2] :
   (((s__instance(V__COLL1,s__Collection) &
         s__instance(V__COLL2,s__Collection))
       =>
       (((s__subCollection(V__COLL1,V__COLL2)
           =>
           ( ! [V__MEMBER] :
             ((s__instance(V__MEMBER,s__Physical) =>
                 ((s__member(V__MEMBER,V__COLL1)
                   =>
                   (s__member(V__MEMBER,V__COLL2))))))))
     &
     (( ! [V__MEMBER] :
         ((s__instance(V__MEMBER,s__Physical) =>
             ((s__member(V__MEMBER,V__COLL1)
               =>
               (s__member(V__MEMBER,V__COLL2)))))))
   =>
   s__subCollection(V__COLL1,V__COLL2)))))
)
)

Merge.kif 1225-1230 A collection is a proper sub-collection of another collection if and only if for all a physical
( ! [V__AGENT,V__UW,V__NATION,V__POPULACE] :
   (((s__instance(V__AGENT,s__Government) &
         s__instance(V__NATION,s__GeopoliticalArea) &
         s__instance(V__POPULACE,s__Agent) &
         s__instance(V__POPULACE,s__Collection))
       =>
       (((s__instance(V__UW,s__UnconventionalWarfare) &
             s__agent(V__UW,V__AGENT)
           &
           ~((V__AGENT = V__POPULACE))
           &
           ~((V__AGENT = s__GovernmentFn(V__NATION)))
         &
         s__patient(V__UW,V__POPULACE)
       &
       (s__member(V__POPULACE,s__ResidentFn(V__NATION))
     |
     s__subCollection(V__POPULACE,s__ResidentFn(V__NATION))))
=>
(( ? [V__CONTEST] :
((s__instance(V__CONTEST,s__Contest) &
     s__agent(V__CONTEST,V__POPULACE)
   &
   s__agent(V__CONTEST,s__GovernmentFn(V__NATION)))))))))
)
)

MilitaryProcesses.kif 163-183
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3876-3911

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


( ! [V__POP_COLL,V__EXPERIMENT,V__SAMPLE_COLL] :
   (((s__instance(V__SAMPLE_COLL,s__Collection) &
         s__instance(V__POP_COLL,s__Collection) &
         s__instance(V__EXPERIMENT,s__Experimenting) &
         s__statisticalPopulation(V__SAMPLE_COLL,V__POP_COLL,V__EXPERIMENT))
     =>
     (s__subCollection(V__SAMPLE_COLL,V__POP_COLL)))
)
)

UXExperimentalTerms.kif 608-614
( ! [V__RESERVE,V__HOTEL,V__NUM] :
   (((s__instance(V__RESERVE,s__Agent) &
         s__instance(V__RESERVE,s__HotelReservation) &
         s__instance(V__HOTEL,s__Agent) &
         s__instance(V__HOTEL,s__Reservation) &
         s__instance(V__NUM,s__Integer))
       =>
       (((s__numberChildOccupant(V__RESERVE,V__NUM)
           &
           s__fulfillingEntity(V__RESERVE,V__HOTEL))
       =>
       (( ? [V__COL, V__SUBCOL] :
           ((s__instance(V__COL,s__GroupOfPeople) &
               s__subCollection(V__SUBCOL,V__COL)
             &
             s__instance(V__SUBCOL,s__GroupOfPeople) &
             s__memberType(V__SUBCOL,s__HumanChild) &
             s__memberCount(V__SUBCOL,V__NUM)
           &
           s__potentialCustomer(V__COL,V__HOTEL))))))))
)
)

Hotel.kif 2872-2883
( ! [V__GROUP,V__TYPE,V__NUMBER] :
   (((s__instance(V__GROUP,s__Collection) &
         s__instance(V__TYPE,s__SetOrClass) &
         s__instance(V__NUMBER,s__NonnegativeInteger))
       =>
       ((s__memberTypeCount(V__GROUP,V__TYPE,V__NUMBER)
         =>
         (( ? [V__SUBGROUP] :
             ((s__instance(V__SUBGROUP,s__Collection) &
                 (s__subCollection(V__SUBGROUP,V__GROUP)
                 &
                 s__memberCount(V__SUBGROUP,V__NUMBER)
               &
               s__memberType(V__SUBGROUP,V__TYPE)))))))))
)
)

Mid-level-ontology.kif 21947-21953

appearance as argument number 0
-------------------------


s__subCollection(s__AhmadiyyaSect,s__Islam)

People.kif 1346-1346 Ahmadiyya sect is a proper sub-collection of islam
s__subCollection(s__AimakEthnicity,s__AsianEthnicity)

People.kif 503-503 Aimak ethnicity is a proper sub-collection of asian ethnicity
s__subCollection(s__Anglicanism,s__Christianity)

People.kif 1224-1224 Anglicanism is a proper sub-collection of christianity
s__subCollection(s__BritishVirginIslands,s__VirginIslands)

Media.kif 2584-2584 British virgin islands is a proper sub-collection of virgin islands
s__subCollection(s__DruzeSect,s__Islam)

People.kif 1360-1360 Druze sect is a proper sub-collection of islam
s__subCollection(s__EasternOrthodoxChristianity,s__Christianity)

People.kif 1246-1246 Eastern orthodox christianity is a proper sub-collection of christianity
s__subCollection(s__HazaraEthnicity,s__AsianEthnicity)

People.kif 542-542 Hazara ethnicity is a proper sub-collection of asian ethnicity
s__subCollection(s__IndochineseEthnicity,s__AsianEthnicity)

People.kif 562-562 Indochinese ethnicity is a proper sub-collection of asian ethnicity
s__subCollection(s__Protestantism,s__Christianity)

People.kif 1260-1260 Protestantism is a proper sub-collection of christianity
s__subCollection(s__RomanCatholicism,s__Christianity)

People.kif 1274-1274 Roman catholicism is a proper sub-collection of christianity
s__subCollection(s__RussianEthnicity,s__SlavicEthnicity)

People.kif 602-602 Russian ethnicity is a proper sub-collection of slavic ethnicity
s__subCollection(s__ShiiteSect,s__Islam)

People.kif 1375-1375 Shiite sect is a proper sub-collection of islam
s__subCollection(s__SunniSect,s__Islam)

People.kif 1394-1394 Sunni sect is a proper sub-collection of islam
s__subCollection(s__TurkmenEthnicity,s__CentralAsianTurkishEthnicity)

People.kif 638-638 Turkmen ethnicity is a proper sub-collection of central asian turkish ethnicity
s__subCollection(s__USVirginIslands,s__VirginIslands)

Media.kif 2585-2585 USVirginIslands is a proper sub-collection of virgin islands
s__subCollection(s__UzbekEthnicity,s__CentralAsianTurkishEthnicity)

People.kif 645-645 Uzbek ethnicity is a proper sub-collection of central asian turkish ethnicity


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