Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| subCollection |
| appearance as argument number 1 |
|
| (instance subCollection BinaryPredicate) | Merge.kif 1362-1362 | sub collection is an instance of binary predicate |
| (instance subCollection PartialOrderingRelation) | Merge.kif 1363-1363 | sub collection is an instance of partial ordering relation |
| (domain subCollection 1 Collection) | Merge.kif 1364-1364 | The number 1 argument of sub collection is an instance of collection |
| (domain subCollection 2 Collection) | Merge.kif 1365-1365 | The number 2 argument of sub collection is an instance of collection |
| (documentation subCollection EnglishLanguage "(subCollection ?COLL1 ?COLL2) means that the Collection ?COLL1 is a proper part of the Collection ?COLL2.") | Merge.kif 1367-1368 | The number 2 argument of sub collection is an instance of collection |
| appearance as argument number 2 |
|
|
| (subrelation subOrganization subCollection) | Merge.kif 17095-17095 | sub organization is a subrelation of sub collection |
| (termFormat EnglishLanguage subCollection "sub collection") | domainEnglishFormat.kif 55705-55705 | sub organization is a subrelation of sub collection |
| (termFormat ChineseTraditionalLanguage subCollection "子集合") | domainEnglishFormat.kif 55706-55706 | sub organization is a subrelation of sub collection |
| (termFormat ChineseLanguage subCollection "子集合") | domainEnglishFormat.kif 55707-55707 | sub organization is a subrelation of sub collection |
| (format EnglishLanguage subCollection "%1 is %n a proper sub-collection of %2") | english_format.kif 186-186 | sub organization is a subrelation of sub collection |
| antecedent |
|
|
| (<=> (subCollection ?COLL1 ?COLL2) (forall (?MEMBER) (=> (member ?MEMBER ?COLL1) (member ?MEMBER ?COLL2)))) |
Merge.kif 1370-1375 | X is a proper sub-collection of Y if and only if Z Z is a member of XZ is a member of Y |
| (=> (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 | If All of the following hold: (1) X is an instance of unconventional warfare (2) Y is an agent of X (3) equal Y and Z (4) equal Y and the government of W (5) Z is a patient of X (6) Z is a member of the resident of W or Z is a proper sub-collection of the resident of W, then there exists V such that V is an instance of contest, Z is an agent of V, and the government of W is an agent of V |
| (=> (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 3665-3701 | If X is an instance of collection, Y is an instance of collection, Y is a proper sub-collection of X, For all Physical Z: if Z is a member of X, then Z is an instance of accessing web page, and For all Processes W, U, and W, AutonomousAgent V, and Object T: if All of the following hold: (1) V is an instance of human (2) W is an instance of buying (3) U is an instance of accessing web page (4) T is an instance of web page (5) U is a member of X (6) U ends up at T (7) V is an agent of W (8) V is an agent of U (9) the time of existence of W takes place during the time of existence of U (10) T is an instrument for W, then W is a member of Y, then there exist S, ?PURCHASE_IN_INTERVAL, ?VISIT_IN_INTERVAL such that equal purchases made in X during S, the number of instances in the class described by ?PURCHASE_IN_INTERVAL, and the number of instances in the class described by ?VISIT_IN_INTERVAL |
| (=> (and (chromosomeSetCount ?SUB ?COLL ?I) (subCollection ?SUB ?COLL)) (equal ?I (CardinalityFn (KappaFn ?I (subCollection ?SUB ?COLL))))) |
VirusProteinAndCellPart.kif 813-820 | If There are X number of Y MonoploidChromosomeSet in CollectionOfObjects Z. and Y is a proper sub-collection of Z, then equal X and the number of instances in the class described by X |
| (=> (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 850-859 | If All of the following hold: (1) X is an instance of homologous chromosome set (2) chromosome is a member type of X (3) X is located at Y (4) Y is an instance of cell nucleus (5) Y is a part of eukaryotic cell (6) Z is an instance of monoploid chromosome set (7) Z is a proper sub-collection of X, then There are 2 number of Z MonoploidChromosomeSet in CollectionOfObjects X. |
| (=> (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 861-872 | If All of the following hold: (1) X is an instance of homologous chromosome set (2) chromosome is a member type of X (3) X is located at Y (4) Y is an instance of cell nucleus (5) Y is a part of eukaryotic cell (6) Z is a proper sub-collection of X (7) W is a proper sub-collection of X (8) equal Z and W, then members of MonoploidChromosomeSet Z and members of MonoploidChromosomeSet W are homologoousChromosome pairs. |
| (=> (and (instance ?COLL CollectionOfObjects) (memberType ?COLL Chromosome) (subCollection ?A ?COLL) (chromosomeSetCount ?A ?COLL 2) (located ?COLL ?N) (instance ?N CellNucleus) (part ?N ?CELL)) (instance ?CELL DiploidCell)) |
VirusProteinAndCellPart.kif 880-889 | If All of the following hold: (1) X is an instance of collection (2) chromosome is a member type of X (3) Y is a proper sub-collection of X (4) There are 2 number of Y MonoploidChromosomeSet in CollectionOfObjects X. (5) X is located at Z (6) Z is an instance of cell nucleus (7) Z is a part of W, then W is an instance of diploid cell |
| (=> (and (instance ?CELL TriploidCell) (instance ?N CellNucleus) (part ?N ?CELL) (located ?COLL ?N) (instance ?COLL CollectionOfObjects) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL)) (chromosomeSetCount ?A ?COLL 3)) |
VirusProteinAndCellPart.kif 905-915 | If All of the following hold: (1) X is an instance of triploid cell (2) Y is an instance of cell nucleus (3) Y is a part of X (4) Z is located at Y (5) Z is an instance of collection (6) chromosome is a member type of Z (7) W is an instance of monoploid chromosome set (8) W is a proper sub-collection of Z, then There are 3 number of W MonoploidChromosomeSet in CollectionOfObjects Z. |
| (=> (and (instance ?COLL CollectionOfObjects) (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 923-933 | If All of the following hold: (1) X is an instance of collection (2) chromosome is a member type of X (3) Y is an instance of monoploid chromosome set (4) Y is a proper sub-collection of X (5) There are 4 number of Y MonoploidChromosomeSet in CollectionOfObjects X. (6) X is located at Z (7) Z is an instance of cell nucleus (8) Z is a part of W, then W is an instance of tetraploid cell |
| (=> (and (instance ?CELL PentaploidCell) (instance ?N CellNucleus) (part ?N ?CELL) (located ?COLL ?N) (instance ?COLL CollectionOfObjects) (memberType ?COLL Chromosome) (instance ?A MonoploidChromosomeSet) (subCollection ?A ?COLL)) (chromosomeSetCount ?A ?COLL 5)) |
VirusProteinAndCellPart.kif 958-968 | If All of the following hold: (1) X is an instance of pentaploid cell (2) Y is an instance of cell nucleus (3) Y is a part of X (4) Z is located at Y (5) Z is an instance of collection (6) chromosome is a member type of Z (7) W is an instance of monoploid chromosome set (8) W is a proper sub-collection of Z, then There are 5 number of W MonoploidChromosomeSet in CollectionOfObjects Z. |
| (=> (and (instance ?COLL CollectionOfObjects) (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 976-986 | If All of the following hold: (1) X is an instance of collection (2) chromosome is a member type of X (3) Y is an instance of monoploid chromosome set (4) Y is a proper sub-collection of X (5) There are 6 number of Y MonoploidChromosomeSet in CollectionOfObjects X. (6) X is located at Z (7) Z is an instance of cell nucleus (8) Z is a part of W, then W is an instance of hexaploid cell |
| consequent |
|
|
| (=> (memberTypeCount ?GROUP ?TYPE ?NUMBER) (exists (?SUBGROUP) (and (subCollection ?SUBGROUP ?GROUP) (memberCount ?SUBGROUP ?NUMBER) (memberType ?SUBGROUP ?TYPE)))) |
Mid-level-ontology.kif 24949-24955 | If X is member type count Y for Z, then there exists W such that W is a proper sub-collection of X, Z is a member count of W, and Y is a member type of W |
| (=> (and (instance ?COLL CollectionOfObjects) (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 4211-4226 | If X is an instance of collection, chromosome is a member type of X, Y is a member of X, and Y is a part of emmer wheat grass, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a proper sub-collection of X (3) Z is an instance of homologous chromosome set (4) V is a member type of Z (5) every V is initially part of a einkorn wheat grass (6) W is a proper sub-collection of X (7) W is an instance of homologous chromosome set (8) U is a member type of W (9) every U is initially part of a Aegilops grass |
| (=> (and (instance ?COLL CollectionOfObjects) (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 4243-4258 | If X is an instance of collection, chromosome is a member type of X, Y is a member of X, and Y is a part of durum wheat grass, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a proper sub-collection of X (3) Z is an instance of homologous chromosome set (4) V is a member type of Z (5) every V is initially part of a Triticum urartu (6) W is a proper sub-collection of X (7) W is an instance of homologous chromosome set (8) U is a member type of W (9) every U is initially part of a Aegilops Speltoides |
| (=> (and (instance ?COLL CollectionOfObjects) (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 4302-4317 | If X is an instance of collection, chromosome is a member type of X, Y is a member of X, and Y is a part of common wheat grass, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a proper sub-collection of X (3) Z is an instance of homologous chromosome set (4) V is a member type of Z (5) every V is initially part of a emmer wheat grass (6) W is a proper sub-collection of X (7) W is an instance of homologous chromosome set (8) U is a member type of W (9) every U is initially part of a Aegilops Tauschii |
| (=> (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 2921-2932 | If X may have Y children and Z fulfills X, then All of the following hold: (1) there exist W (2) V such that W is an instance of group of people (3) V is a proper sub-collection of W (4) V is an instance of group of people (5) human child is a member type of V (6) Y is a member count of V (7) W is a potential customer for Z |
| (=> (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 | If ?SAMPLE_COLL is an instance of collection, ?POP_COLL is an instance of collection, Z is an instance of experimenting, and ?SAMPLE_COLL is a sample of ?POP_COLL for Z, then ?SAMPLE_COLL is a proper sub-collection of ?POP_COLL |
| (=> (and (chromosomeSetCount ?SUB ?COLL ?I) (subCollection ?SUB ?COLL)) (equal ?I (CardinalityFn (KappaFn ?I (subCollection ?SUB ?COLL))))) |
VirusProteinAndCellPart.kif 813-820 | If There are X number of Y MonoploidChromosomeSet in CollectionOfObjects Z. and Y is a proper sub-collection of Z, then equal X and the number of instances in the class described by X |
| (=> (and (instance ?CELL TetraploidCell) (part ?N ?CELL) (instance ?N CellNucleus) (located ?COLL ?N) (instance ?COLL CollectionOfObjects) (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 935-950 | If All of the following hold: (1) X is an instance of tetraploid cell (2) Y is a part of X (3) Y is an instance of cell nucleus (4) Z is located at Y (5) Z is an instance of collection (6) chromosome is a member type of Z, then All of the following hold: (1) there exist W (2) V such that W is an instance of homologous chromosome set (3) W is a proper sub-collection of Z (4) V is an instance of homologous chromosome set (5) V is a proper sub-collection of Z (6) equal W (7) V |
| (=> (and (instance ?CELL HexaploidCell) (part ?N ?CELL) (instance ?N CellNucleus) (located ?COLL ?N) (instance ?COLL CollectionOfObjects) (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 988-1009 | If All of the following hold: (1) X is an instance of hexaploid cell (2) Y is a part of X (3) Y is an instance of cell nucleus (4) Z is located at Y (5) Z is an instance of collection (6) chromosome is a member type of Z, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of homologous chromosome set (3) W is a proper sub-collection of Z (4) V is an instance of homologous chromosome set (5) V is a proper sub-collection of Z (6) U is an instance of homologous chromosome set (7) U is a proper sub-collection of Z (8) equal W (9) V (10) equal W (11) U (12) equal V (13) U |
| appearance as argument number 0 |
|
|
|