(<=>
(subCollection ?COLL1 ?COLL2)
(forall (?MEMBER)
(=>
(member ?MEMBER ?COLL1)
(member ?MEMBER ?COLL2)))) |
Merge.kif 1297-1302 |
Collection ist eine korrekte teilsammlung von ** Collection %n{nicht} genau dann wenn fuer alle Physical |
(=>
(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 |
- Wenn Collection ist ein fall von Collection %n{nicht} und ** Collection ist ein fall von Collection %n{nicht} und ** ** Collection ist eine korrekte teilsammlung von ** Collection %n{nicht} und fuer alle Physical und fuer alle Process, AutonomousAgent,, , ** Process,, , ** Process, and und Object ,
- dann es gibt TimeInterval, entity_IN_INTERVAL, and und ** entity_IN_INTERVAL um SCRFn ** Collection and ** TimeInterval ist gleich die Zahl Faellen in die kategorie die ** entity_IN_INTERVAL beschreibt und die Zahl Faellen in die kategorie die ** ** entity_IN_INTERVAL beschreibt %n{nicht}
|