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