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 1293-1294
(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 1290-1290 subCollection の数値 1 引数は コレクション の instance では %n
(domain subCollection 2 Collection) Merge.kif 1291-1291 subCollection の数値 2 引数は コレクション の instance では %n
(instance subCollection BinaryPredicate) Merge.kif 1288-1288 subCollection は 2進述語 の instance では %n
(instance subCollection PartialOrderingRelation) Merge.kif 1289-1289 subCollection は 半順序関係 の instance では %n

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 16741-16741 subOrganization は subCollection の subrelation では %n
(termFormat ChineseLanguage subCollection "子集") chinese_format.kif 186-186
(termFormat ChineseLanguage subCollection "子集合") domainEnglishFormat.kif 55710-55710
(termFormat ChineseTraditionalLanguage subCollection "子集合") domainEnglishFormat.kif 55709-55709
(termFormat EnglishLanguage subCollection "sub collection") domainEnglishFormat.kif 55708-55708
(termFormat de subCollection "teilsammlung") terms-de.txt 74-74

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


(<=>
    (subCollection ?COLL1 ?COLL2)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?COLL1)
            (member ?MEMBER ?COLL2))))		 Merge.kif 1297-1302 コレクション は コレクション の 適切な sub-collection では %n 物理
(=>
    (and
        (chromosomeSetCount ?SUB ?COLL ?I)
        (subCollection ?SUB ?COLL))
    (equal ?I
        (CardinalityFn
            (KappaFn ?I
                (subCollection ?SUB ?COLL)))))		 VirusProteinAndCellPart.kif 829-836
(=>
    (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 974-984
(=>
    (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 921-931
(=>
    (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 939-949
(=>
    (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 992-1002
(=>
    (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 896-905
(=>
    (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 866-875
(=>
    (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 877-888
(=>
    (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 829-836
(=>
    (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)
                (equal ?A ?C)
                (equal ?B ?C)))))		 VirusProteinAndCellPart.kif 1004-1023
(=>
    (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 951-966
(=>
    (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 3970-3985
(=>
    (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 3911-3926
(=>
    (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 3879-3894
(=>
    (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 2903-2914
(=>
    (memberTypeCount ?GROUP ?TYPE ?NUMBER)
    (exists (?SUBGROUP)
        (and
            (subCollection ?SUBGROUP ?GROUP)
            (memberCount ?SUBGROUP ?NUMBER)
            (memberType ?SUBGROUP ?TYPE))))		 Mid-level-ontology.kif 22671-22677

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


(subCollection AhmadiyyaSect Islam) People.kif 1339-1339 AhmadiyyaSect は Islam の 適切な sub-collection では %n
(subCollection AimakEthnicity AsianEthnicity) People.kif 496-496 AimakEthnicity は AsianEthnicity の 適切な sub-collection では %n
(subCollection Anglicanism Christianity) People.kif 1217-1217 Anglicanism は Christianity の 適切な sub-collection では %n
(subCollection BritishVirginIslands VirginIslands) Media.kif 2602-2602 BritishVirginIslands は VirginIslands の 適切な sub-collection では %n
(subCollection DruzeSect Islam) People.kif 1353-1353 DruzeSect は Islam の 適切な sub-collection では %n
(subCollection EasternOrthodoxChristianity Christianity) People.kif 1239-1239 EasternOrthodoxChristianity は Christianity の 適切な sub-collection では %n
(subCollection HazaraEthnicity AsianEthnicity) People.kif 535-535 HazaraEthnicity は AsianEthnicity の 適切な sub-collection では %n
(subCollection IndochineseEthnicity AsianEthnicity) People.kif 555-555 IndochineseEthnicity は AsianEthnicity の 適切な sub-collection では %n
(subCollection Protestantism Christianity) People.kif 1253-1253 Protestantism は Christianity の 適切な sub-collection では %n
(subCollection RomanCatholicism Christianity) People.kif 1267-1267 RomanCatholicism は Christianity の 適切な sub-collection では %n
(subCollection RussianEthnicity SlavicEthnicity) People.kif 595-595 RussianEthnicity は SlavicEthnicity の 適切な sub-collection では %n
(subCollection ShiiteSect Islam) People.kif 1368-1368 ShiiteSect は Islam の 適切な sub-collection では %n
(subCollection SunniSect Islam) People.kif 1387-1387 SunniSect は Islam の 適切な sub-collection では %n
(subCollection TurkmenEthnicity CentralAsianTurkishEthnicity) People.kif 631-631 TurkmenEthnicity は CentralAsianTurkishEthnicity の 適切な sub-collection では %n
(subCollection USVirginIslands VirginIslands) Media.kif 2603-2603 USVirginIslands は VirginIslands の 適切な sub-collection では %n
(subCollection UzbekEthnicity CentralAsianTurkishEthnicity) People.kif 638-638 UzbekEthnicity は CentralAsianTurkishEthnicity の 適切な sub-collection では %n


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