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
-------------------------


(documentation subCollection ChineseLanguage "(subCollection ?COLL1 ?COLL2) 的意思是 Collection ?COLL1 是 Collection ?COLL2 的真正部分。") chinese_format.kif 1635-1636
(documentation subCollection EnglishLanguage "(subCollection ?COLL1 ?COLL2) means that the Collection ?COLL1 is a proper part of the Collection ?COLL2.") Merge.kif 1303-1304
(documentation subCollection JapaneseLanguage "(subCollection ?COLL1 ?COLL2) とは Collection ?COLL1が、Collection ?COLL2C2の適切な部分、という意味である。") japanese_format.kif 218-219
(documentation subCollection SpanishLanguage "(subCollection ?COLL1 ?COLL2) significa que la Collection ?COLL1 es una propia parte de la Collection ?COLL2.") spanish_format.kif 259-260
(domain subCollection 1 Collection) Merge.kif 1300-1300 Le nombre 1 argument de subCollection est une instance de collection
(domain subCollection 2 Collection) Merge.kif 1301-1301 Le nombre 2 argument de subCollection est une instance de collection
(instance subCollection BinaryPredicate) Merge.kif 1298-1298 subCollection est une instance de pr�dicat binaire
(instance subCollection PartialOrderingRelation) Merge.kif 1299-1299 subCollection est une instance de relation partiellement dirig�e

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


(format ChineseLanguage subCollection "%1 %n 是 %2 的 真正的子集") chinese_format.kif 185-185
(format EnglishLanguage subCollection "%1 is %n a proper sub-collection of %2") english_format.kif 186-186
(format FrenchLanguage subCollection "%1 est %n une sous-collection appartenant � %2") french_format.kif 112-112
(format ItalianLanguage subCollection "%1 è %n sottoinsieme un proprio %2") relations-it.txt 272-272
(format JapaneseLanguage subCollection "%1 は %2 の 適切な sub-collection では %n") japanese_format.kif 1941-1941
(format PortugueseLanguage subCollection "%1 e' %n uma sub-colecao de %2") portuguese_format.kif 64-64
(format cz subCollection "%1 %p{je} %n{nen�} a proper sub-collection of %2") relations-cz.txt 70-70
(format de subCollection "%1 ist eine korrekte teilsammlung von %2 %n{nicht}") relations-de.txt 235-235
(format hi subCollection "%1 %2 kaa eka uchita upa-sangraha %n hai") relations-hindi.txt 309-309
(format ro subCollection "%1 %n{nu} este o sub-collection%t{subcolecþie} proprie a lui %2") relations-ro.kif 131-131
(format sv subCollection "%1 är %n{inte} en riktig subsamling av %2") relations-sv.txt 117-117
(format tg subCollection "%1 %n ay ang pangkat mas tiyak ng %2") relations-tg.txt 464-464
(subrelation subOrganization subCollection) Merge.kif 16916-16916 subOrganization est une sous-relation de subCollection
(termFormat ChineseLanguage subCollection "子集") chinese_format.kif 186-186 subOrganization est une sous-relation de subCollection
(termFormat ChineseLanguage subCollection "子集合") domainEnglishFormat.kif 55714-55714 subOrganization est une sous-relation de subCollection
(termFormat ChineseTraditionalLanguage subCollection "子集合") domainEnglishFormat.kif 55713-55713 subOrganization est une sous-relation de subCollection
(termFormat EnglishLanguage subCollection "sub collection") domainEnglishFormat.kif 55712-55712 subOrganization est une sous-relation de subCollection
(termFormat de subCollection "teilsammlung") terms-de.txt 74-74 subOrganization est une sous-relation de subCollection

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


(<=>
    (subCollection ?COLL1 ?COLL2)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?COLL1)
            (member ?MEMBER ?COLL2))))
Merge.kif 1307-1312 Collection est une sous-collection appartenant � collection physique
(=>
    (and
        (chromosomeSetCount ?SUB ?COLL ?I)
        (subCollection ?SUB ?COLL))
    (equal ?I
        (CardinalityFn
            (KappaFn ?I
                (subCollection ?SUB ?COLL)))))
VirusProteinAndCellPart.kif 835-842
(=>
    (and
        (instance ?CELL PentaploidCell)
        (instance ?N CellNucleus)
        (part ?N ?CELL)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL))
    (chromosomeSetCount ?A ?COLL 5))
VirusProteinAndCellPart.kif 980-990
(=>
    (and
        (instance ?CELL TriploidCell)
        (instance ?N CellNucleus)
        (part ?N ?CELL)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL))
    (chromosomeSetCount ?A ?COLL 3))
VirusProteinAndCellPart.kif 927-937
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL)
        (chromosomeSetCount ?A ?COLL 4)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (instance ?CELL TetraploidCell))
VirusProteinAndCellPart.kif 945-955
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL)
        (chromosomeSetCount ?A ?COLL 6)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (instance ?CELL HexaploidCell))
VirusProteinAndCellPart.kif 998-1008
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (subCollection ?A ?COLL)
        (chromosomeSetCount ?A ?COLL 2)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (instance ?CELL DiploidCell))
VirusProteinAndCellPart.kif 902-911
(=>
    (and
        (instance ?COLL HomologousChromosomeSet)
        (memberType ?COLL Chromosome)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N EukaryoticCell)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL))
    (chromosomeSetCount ?A ?COLL 2))
VirusProteinAndCellPart.kif 872-881
(=>
    (and
        (instance ?COLL HomologousChromosomeSet)
        (memberType ?COLL Chromosome)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N EukaryoticCell)
        (subCollection ?X ?COLL)
        (subCollection ?Y ?COLL)
        (not
            (equal ?X ?Y)))
    (homologousChromosomePair ?X ?Y))
VirusProteinAndCellPart.kif 883-894
(=>
    (and
        (instance ?UW UnconventionalWarfare)
        (agent ?UW ?AGENT)
        (not
            (equal ?AGENT ?POPULACE))
        (not
            (equal ?AGENT
                (GovernmentFn ?NATION)))
        (patient ?UW ?POPULACE)
        (or
            (member ?POPULACE
                (ResidentFn ?NATION))
            (subCollection ?POPULACE
                (ResidentFn ?NATION))))
    (exists (?CONTEST)
        (and
            (instance ?CONTEST Contest)
            (agent ?CONTEST ?POPULACE)
            (agent ?CONTEST
                (GovernmentFn ?NATION)))))
MilitaryProcesses.kif 163-183
(=>
    (and
        (instance ?VISITS Collection)
        (instance ?PURCHASES Collection)
        (subCollection ?PURCHASES ?VISITS)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?VISITS)
                (instance ?MEMBER AccessingWebPage)))
        (forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
            (=>
                (and
                    (instance ?VISITOR Human)
                    (instance ?BUYING Buying)
                    (instance ?ACCESSING AccessingWebPage)
                    (instance ?PAGE WebPage)
                    (member ?ACCESSING ?VISITS)
                    (destination ?ACCESSING ?PAGE)
                    (agent ?BUYING ?VISITOR)
                    (agent ?ACCESSING ?VISITOR)
                    (during
                        (WhenFn ?BUYING)
                        (WhenFn ?ACCESSING))
                    (instrument ?BUYING ?PAGE))
                (member ?BUYING ?PURCHASES))))
    (exists (?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
        (equal
            (SCRFn ?VISITS ?INTERVAL)
            (DivisionFn
                (CardinalityFn
                    (KappaFn ?PURCHASE_IN_INTERVAL
                        (and
                            (member ?PURCHASE_IN_INTERVAL ?PURCHASES)
                            (during
                                (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))
                (CardinalityFn
                    (KappaFn ?VISIT_IN_INTERVAL
                        (and
                            (member ?VISIT_IN_INTERVAL ?VISITS)
                            (during
                                (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704

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


(=>
    (and
        (chromosomeSetCount ?SUB ?COLL ?I)
        (subCollection ?SUB ?COLL))
    (equal ?I
        (CardinalityFn
            (KappaFn ?I
                (subCollection ?SUB ?COLL)))))
VirusProteinAndCellPart.kif 835-842
(=>
    (and
        (instance ?CELL HexaploidCell)
        (part ?N ?CELL)
        (instance ?N CellNucleus)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome))
    (exists (?A ?B ?C)
        (and
            (instance ?A HomologousChromosomeSet)
            (subCollection ?A ?COLL)
            (instance ?B HomologousChromosomeSet)
            (subCollection ?B ?COLL)
            (instance ?C HomologousChromosomeSet)
            (subCollection ?C ?COLL)
            (not
                (equal ?A ?B))
            (not
                (equal ?A ?C))
            (not
                (equal ?B ?C)))))
VirusProteinAndCellPart.kif 1010-1031
(=>
    (and
        (instance ?CELL TetraploidCell)
        (part ?N ?CELL)
        (instance ?N CellNucleus)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome))
    (exists (?A ?B)
        (and
            (instance ?A HomologousChromosomeSet)
            (subCollection ?A ?COLL)
            (instance ?B HomologousChromosomeSet)
            (subCollection ?B ?COLL)
            (not
                (equal ?A ?B)))))
VirusProteinAndCellPart.kif 957-972
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (member ?M ?COLL)
        (part ?M CommonWheatGrass))
    (exists (?A ?B ?X ?Y)
        (and
            (subCollection ?A ?COLL)
            (instance ?A HomologousChromosomeSet)
            (memberType ?A ?X)
            (initialPart ?X EmmerWheatGrass)
            (subCollection ?B ?COLL)
            (instance ?B HomologousChromosomeSet)
            (memberType ?B ?Y)
            (initialPart ?Y AegilopsTauschii))))
Economy.kif 4307-4322
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (member ?M ?COLL)
        (part ?M DurumWheatGrass))
    (exists (?A ?B ?X ?Y)
        (and
            (subCollection ?A ?COLL)
            (instance ?A HomologousChromosomeSet)
            (memberType ?A ?X)
            (initialPart ?X TriticumUrartu)
            (subCollection ?B ?COLL)
            (instance ?B HomologousChromosomeSet)
            (memberType ?B ?Y)
            (initialPart ?Y AegilopsSpeltoides))))
Economy.kif 4248-4263
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (member ?M ?COLL)
        (part ?M EmmerWheatGrass))
    (exists (?A ?B ?X ?Y)
        (and
            (subCollection ?A ?COLL)
            (instance ?A HomologousChromosomeSet)
            (memberType ?A ?X)
            (initialPart ?X EinkornWheatGrass)
            (subCollection ?B ?COLL)
            (instance ?B HomologousChromosomeSet)
            (memberType ?B ?Y)
            (initialPart ?Y AegilopsGrass))))
Economy.kif 4216-4231
(=>
    (and
        (instance ?SAMPLE_COLL Collection)
        (instance ?POP_COLL Collection)
        (instance ?EXPERIMENT Experimenting)
        (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT))
    (subCollection ?SAMPLE_COLL ?POP_COLL))
UXExperimentalTerms.kif 483-489
(=>
    (and
        (numberChildOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?HOTEL ?RESERVE))
    (exists (?COL ?SUBCOL)
        (and
            (instance ?COL GroupOfPeople)
            (subCollection ?SUBCOL ?COL)
            (instance ?SUBCOL GroupOfPeople)
            (memberType ?SUBCOL HumanChild)
            (memberCount ?SUBCOL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))
Hotel.kif 2914-2925
(=>
    (memberTypeCount ?GROUP ?TYPE ?NUMBER)
    (exists (?SUBGROUP)
        (and
            (subCollection ?SUBGROUP ?GROUP)
            (memberCount ?SUBGROUP ?NUMBER)
            (memberType ?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 24312-24318

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


(subCollection AhmadiyyaSect Islam) People.kif 1340-1340 AhmadiyyaSect est une sous-collection appartenant � Islam
(subCollection AimakEthnicity AsianEthnicity) People.kif 496-496 AimakEthnicity est une sous-collection appartenant � AsianEthnicity
(subCollection Anglicanism Christianity) People.kif 1218-1218 Anglicanism est une sous-collection appartenant � Christianity
(subCollection BritishVirginIslands VirginIslands) Media.kif 2604-2604 BritishVirginIslands est une sous-collection appartenant � VirginIslands
(subCollection DruzeSect Islam) People.kif 1354-1354 DruzeSect est une sous-collection appartenant � Islam
(subCollection EasternOrthodoxChristianity Christianity) People.kif 1240-1240 EasternOrthodoxChristianity est une sous-collection appartenant � Christianity
(subCollection HazaraEthnicity AsianEthnicity) People.kif 535-535 HazaraEthnicity est une sous-collection appartenant � AsianEthnicity
(subCollection IndochineseEthnicity AsianEthnicity) People.kif 555-555 IndochineseEthnicity est une sous-collection appartenant � AsianEthnicity
(subCollection Protestantism Christianity) People.kif 1254-1254 Protestantism est une sous-collection appartenant � Christianity
(subCollection RomanCatholicism Christianity) People.kif 1268-1268 RomanCatholicism est une sous-collection appartenant � Christianity
(subCollection RussianEthnicity SlavicEthnicity) People.kif 595-595 RussianEthnicity est une sous-collection appartenant � SlavicEthnicity
(subCollection ShiiteSect Islam) People.kif 1369-1369 ShiiteSect est une sous-collection appartenant � Islam
(subCollection SunniSect Islam) People.kif 1388-1388 SunniSect est une sous-collection appartenant � Islam
(subCollection TurkmenEthnicity CentralAsianTurkishEthnicity) People.kif 631-631 TurkmenEthnicity est une sous-collection appartenant � CentralAsianTurkishEthnicity
(subCollection USVirginIslands VirginIslands) Media.kif 2605-2605 USVirginIslands est une sous-collection appartenant � VirginIslands
(subCollection UzbekEthnicity CentralAsianTurkishEthnicity) People.kif 638-638 UzbekEthnicity est une sous-collection appartenant � CentralAsianTurkishEthnicity


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