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 | |
(domain subCollection 2 Collection) | Merge.kif 1291-1291 | |
(instance subCollection BinaryPredicate) | Merge.kif 1288-1288 | |
(instance subCollection PartialOrderingRelation) | Merge.kif 1289-1289 |
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 16763-16763 | |
(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 | |
(=> (and (chromosomeSetCount ?SUB ?COLL ?I) (subCollection ?SUB ?COLL)) (equal ?I (CardinalityFn (KappaFn ?I (subCollection ?SUB ?COLL))))) |
VirusProteinAndCellPart.kif 828-835 | |
(=> (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 973-983 | |
(=> (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 920-930 | |
(=> (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 938-948 | |
(=> (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 991-1001 | |
(=> (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 895-904 | |
(=> (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 865-874 | |
(=> (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 876-887 | |
(=> (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 |