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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1191-1192
s__domain(s__subCollection__m,n__1,s__Collection)

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

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

s__instance(s__subCollection__m,s__BinaryPredicate)

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

s__instance(s__PartialOrderingRelation,s__SetOrClass)

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

Merge.kif 1194-1194 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 189-189
s__subrelation(s__subOrganization__m,s__subCollection__m)

Merge.kif 15959-15959 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 1196-1201 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 2859-2870
( ! [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 21411-21417

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


s__subCollection(s__AhmadiyyaSect,s__Islam)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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