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 1288-1289 | |
(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 1285-1285 | |
(domain subCollection 2 Collection) | Merge.kif 1286-1286 | |
(instance subCollection BinaryPredicate) | Merge.kif 1283-1283 | |
(instance subCollection PartialOrderingRelation) | Merge.kif 1284-1284 |
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 16901-16901 | |
(termFormat ChineseLanguage subCollection "子集") | chinese_format.kif 186-186 | |
(termFormat ChineseLanguage subCollection "子集合") | domainEnglishFormat.kif 55714-55714 | |
(termFormat ChineseTraditionalLanguage subCollection "子集合") | domainEnglishFormat.kif 55713-55713 | |
(termFormat EnglishLanguage subCollection "sub collection") | domainEnglishFormat.kif 55712-55712 | |
(termFormat de subCollection "teilsammlung") | terms-de.txt 74-74 |
antecedent |
![]() |
(<=> (subCollection ?COLL1 ?COLL2) (forall (?MEMBER) (=> (member ?MEMBER ?COLL1) (member ?MEMBER ?COLL2)))) |
Merge.kif 1292-1297 | |
(=> (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 |
![]() |
appearance as argument number 0 |
![]() |
![]() |
![]() |