TreeView Knowledge Base Browser

antecedent

(<=> (exists (?Process) (programRunning ?Process ?Program)) (property ?Program Executable))	QoSontology.kif 987-990	ComputerProcess programRunning ComputerProcess and ComputerProgram property ComputerProgram and Executable
(=> (and (citizen ?P ?C) (not (exists (?L) (located ?P ?L)))) (located ?P ?C))	Military.kif 772-778	citizen Human and Nation Object located Human and Object located Human and Nation
(=> (and (customer ?CUST ?AGENT) (corkageFee ?AMT ?ITEM ?AGENT) (instance ?X ?ITEM) (not (exists (?B) (and (instance ?B Buying) (patient ?B ?X) (destination ?B ?CUST) (origin ?B ?AGENT)))) (instance ?D Drinking) (agent ?D ?CUST) (resource ?D ?X)) (exists (?C) (and (instance ?C Corkage) (agent ?C ?CUST) (refers ?C ?X) (destination ?C ?AGENT))))	Dining.kif 130-150	customer CognitiveAgent and CognitiveAgent corkageFee CurrencyMeasure, Object and CognitiveAgent instance Object and Object Process instance Process and Buying patient Process and Object destination Process and CognitiveAgent origin Process and CognitiveAgent instance Process and Drinking agent Process and CognitiveAgent resource Process and Object Process instance Process and Corkage agent Process and CognitiveAgent refers Process and Object destination Process and CognitiveAgent
(=> (and (facility ?AGENT ?OBJ) (customer ?CUST ?AGENT) (instance ?X ?OBJ) (desires ?CUST (exists (?PROC) (and (instance ?PROC IntentionalProcess) (patient ?PROC ?X) (agent ?PROC ?CUST))))) (modalAttribute (confersRight (uses ?CUST ?X) ?AGENT ?CUST) Possibility))	Dining.kif 332-346	facility CognitiveAgent and Object customer CognitiveAgent and CognitiveAgent instance Entity and Object desires CognitiveAgent and entity instance entity and IntentionalProcess patient entity and Entity agent entity and CognitiveAgent modalAttribute confersRight uses CognitiveAgent and Entity, CognitiveAgent and CognitiveAgent and Possibility
(=> (and (instance ?A1 Automobile) (instance ?A2 Automobile) (instance ?S1 AutomobileShock) (part ?S1 ?A1) (not (exists (?S2) (and (instance ?S2 AutomobileShock) (part ?S2 ?A2)))) (dampingRatio ?A1 ?R1) (dampingRatio ?A2 ?R2)) (greaterThan ?R2 ?R1))	Cars.kif 853-866	instance PhysicalSystem and Automobile instance PhysicalSystem and Automobile instance Object and AutomobileShock part Object and PhysicalSystem Object instance Object and AutomobileShock part Object and PhysicalSystem dampingRatio PhysicalSystem and RealNumber dampingRatio PhysicalSystem and RealNumber greaterThan RealNumber and RealNumber
(=> (and (instance ?AGENT Agent) (potentialCustomer ?CUST ?AGENT) (modalAttribute (and (instance ?R Reserving) (destination ?R ?AGENT)) Necessity) (conditionalProbability (exists (?RES1) (and (instance ?RES1 Reservation) (reservingEntity ?CUST ?RES1) (fulfillingEntity ?AGENT ?RES1))) (customer ?CUST ?AGENT) ?NUM1) (conditionalProbability (not (exists (?RES2) (and (instance ?RES2 Reservation) (reservingEntity ?CUST ?RES2) (fulfillingEntity ?AGENT ?RES2)))) (customer ?CUST ?AGENT) ?NUM2)) (lessThan ?NUM2 ?NUM1))	Dining.kif 725-748	instance Agent and Agent potentialCustomer CognitiveAgent and Agent modalAttribute instance entity and Reserving destination entity and Agent and Necessity conditionalProbability entityES1 instance entityES1 and Reservation reservingEntity CognitiveAgent and entityES1 fulfillingEntity Agent and entityES1, customer CognitiveAgent and Agent and RealNumber conditionalProbability entityES2 instance entityES2 and Reservation reservingEntity CognitiveAgent and entityES2 fulfillingEntity Agent and entityES2, customer CognitiveAgent and Agent and RealNumber lessThan RealNumber and RealNumber
(=> (and (instance ?B Bubble) (not (exists (?X ?S) (and (attribute ?X ?S) (not (equal ?X Gas)) (meetsSpatially ?X ?B))))) (attribute ?B RoundShape))	Mid-level-ontology.kif 4738-4747	instance Object and Bubble Object Attribute attribute Object and Attribute equal Object and Gas meetsSpatially Object and Object attribute Object and RoundShape
(=> (and (instance ?BUYINGS Collection) (instance ?GMB CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMB (GMBFn ?BUYINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?BUYING) (and (member ?BUYING ?BUYINGS) (patient ?ITEM ?BUYING)))))))) (equal (ABPFn ?BUYINGS) (DivisionFn ?GMB ?TOTAL)))	UXExperimentalTerms.kif 3447-3467	instance Collection and Collection instance RealNumber and CurrencyMeasure instance Integer and RealNumber equal RealNumber and GMBFn Collection equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Object entity member entity and Collection patient SymbolicString and entity equal ABPFn Collection and DivisionFn RealNumber and Integer
(=> (and (instance ?C CateringService) (agent ?C ?AGENT) (destination ?C ?CUST) (located ?AGENT ?LOC1) (customer ?CUST ?AGENT) (exists (?S ?FOOD ?E) (and (instance ?S Cooking) (agent ?S ?AGENT) (result ?S ?FOOD) (patient ?C ?FOOD) (instance ?E Eating) (agent ?E ?CUST) (eventLocated ?E ?LOC2)))) (not (equal ?LOC1 ?LOC2)))	Dining.kif 540-556	instance Process and CateringService agent Process and CognitiveAgent destination Process and ProcessUST located CognitiveAgent and Object customer ProcessUST and CognitiveAgent Process Entity and Process instance Process and Cooking agent Process and CognitiveAgent result Process and Entity patient Process and Entity instance Process and Eating agent Process and ProcessUST eventLocated Process and Entity equal Object and Entity
(=> (and (instance ?CS1 ?CLASS) (subclass ?CLASS CompoundSubstance) (not (exists (?CS2) (and (instance ?CS2 ?CLASS) (part ?CS2 ?CS1)))) (molecularRatio ?ECLASS ?N ?CLASS) (instance ?G Group) (member ?E ?G) (part ?E ?CS1) (instance ?E ?ECLASS)) (memberCount ?G ?N))	Cars.kif 1772-1786	instance Object and CompoundSubstance subclass CompoundSubstance and CompoundSubstance Object instance Object and CompoundSubstance part Object and Object molecularRatio ElementalSubstance, Integer and CompoundSubstance instance Collection and Group member Object and Collection part Object and Object instance Object and ElementalSubstance memberCount Collection and Integer
(=> (and (instance ?EM Electromagnet) (not (holdsDuring ?T1 (exists (?T ?E) (and (instance ?T Transfer) (instance ?E Electricity) (objectTransferred ?T ?E) (path ?T ?EM)))))) (not (holdsDuring ?T1 (exists (?M) (and (instance ?M Magnetism) (instrument ?M ?EM))))))	Cars.kif 3908-3924	instance Entity and Electromagnet holdsDuring TimePosition and entity entity instance entity and Transfer instance entity and Electricity objectTransferred entity and entity path entity and Entity holdsDuring TimePosition and entity instance entity and Magnetism instrument entity and Entity
(=> (and (instance ?GUN Gun) (instance ?U UnitOfLength) (effectiveRange ?GUN (MeasureFn ?LM ?U)) (distance ?GUN ?O (MeasureFn ?LM1 ?U)) (instance ?O Organism) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN))	Mid-level-ontology.kif 1373-1391	instance Device and Gun instance UnitOfMeasure and UnitOfLength effectiveRange Device and MeasureFn RealNumber and UnitOfMeasure distance Device, Object and MeasureFn RealNumber and UnitOfMeasure instance Object and Organism Object between Object, Object and Device lessThanOrEqualTo RealNumber and RealNumber capability KappaFn SymbolicString and instance SymbolicString and Killing patient SymbolicString and Object, instrument and Device
(=> (and (instance ?GUN Gun) (instance ?U UnitOfLength) (effectiveRange ?GUN (MeasureFn ?LM ?U)) (distance ?GUN ?O (MeasureFn ?LM1 ?U)) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (capability (KappaFn ?DAMAGING (and (instance ?DAMAGING Damaging) (patient ?DAMAGING ?O))) instrument ?GUN))	Mid-level-ontology.kif 1352-1369	instance Device and Gun instance UnitOfMeasure and UnitOfLength effectiveRange Device and MeasureFn RealNumber and UnitOfMeasure distance Device, Object and MeasureFn RealNumber and UnitOfMeasure Object between Object, Object and Device lessThanOrEqualTo RealNumber and RealNumber capability KappaFn SymbolicString and instance SymbolicString and Damaging patient SymbolicString and Object, instrument and Device
(=> (and (instance ?PROCESS ?PROCESS_CLASS) (subclass ?PROCESS_CLASS Process) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT Agent) (agent ?PROCESS ?AGENT) (agent ?ACCESSING ?AGENT) (during ?PROCESS ?ACCESSING) (instance ?TIMETOFIRST TimeInterval) (not (exists (?PROCESS2) (and (instance ?PROCESS2 ?PROCESS_CLASS) (agent ?PROCESS2 ?AGENT) (during ?PROCESS2 ?ACCESSING) (before (BeginFn (WhenFn ?PROCESS2)) (BeginFn (WhenFn ?PROCESS)))))) (equal (BeginFn (WhenFn ?ACCESSING)) (BeginFn (WhenFn ?TIMETOFIRST))) (equal (BeginFn (WhenFn ?PROCESS)) (EndFn (WhenFn ?TIMETOFIRST)))) (equal (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))	UXExperimentalTerms.kif 1703-1725	instance TimeInterval and TimeInterval_CLASS subclass TimeInterval_CLASS and Process instance AccessingWebPage and AccessingWebPage instance Agent and Agent agent TimeInterval and Agent agent AccessingWebPage and Agent during TimeInterval and AccessingWebPage instance Physical and TimeInterval TimeInterval instance TimeInterval and TimeInterval_CLASS agent TimeInterval and Agent during TimeInterval and AccessingWebPage before BeginFn WhenFn TimeInterval and BeginFn WhenFn TimeInterval equal BeginFn WhenFn AccessingWebPage and BeginFn WhenFn Physical equal BeginFn WhenFn TimeInterval and EndFn WhenFn Physical equal TTFxFn TimeInterval_CLASS and AccessingWebPage and Physical
(=> (and (instance ?PROCESS TakingOff) (patient ?PROCESS ?DUD) (not (exists (?EXPLOSION) (and (instance ?EXPLOSION Explosion) (patient ?EXPLOSION ?DUD))))) (instance ?DUD AbsoluteDud))	MilitaryDevices.kif 1409-1418	instance Process and TakingOff patient Process and Entity Process instance Process and Explosion patient Process and Entity instance Entity and AbsoluteDud
(=> (and (instance ?PURCHASES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?PURCHASES) (instance ?MEMBER Buying))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?BUYER ?BUYING) (=> (and (instance ?BUYER Agent) (instance ?BUYING Buying) (member ?BUYING ?PURCHASES) (agent ?BUYING ?BUYER)) (located ?BUYER ?REGION)))))) (and (total (KappaFn ?AMOUNT (and (instance ?PURCHASE Buying) (member ?PURCHASE ?PURCHASES) (transactionAmount ?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT) (equal (GMBFn ?PURCHASES) ?TOTAL_PURCHASE_AMOUNT)))	UXExperimentalTerms.kif 3163-3189	instance Collection and Collection Physical member Physical and Collection instance Physical and Buying Object instance Object and GeopoliticalArea Agent Process instance Agent and Agent instance Process and Buying member Process and Collection agent Process and Agent located Agent and Object total KappaFn SymbolicString and instance entity and Buying member entity and Collection transactionAmount entity and SymbolicString and entity_PURCHASE_AMOUNT equal GMBFn Collection and entity_PURCHASE_AMOUNT
(=> (and (instance ?SALES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?SALES) (instance ?MEMBER Selling))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?SELLER ?SELLING) (=> (and (instance ?SELLER Agent) (instance ?SELLING Buying) (member ?SELLING ?SALES) (agent ?SELLING ?SELLER)) (located ?SELLER ?REGION)))))) (and (total (KappaFn ?AMOUNT (and (instance ?SALE Selling) (member ?SALE ?SALES) (transactionAmount ?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT) (equal (GMVFn ?SALES) ?TOTAL_SALE_AMOUNT)))	UXExperimentalTerms.kif 3206-3232	instance Collection and Collection Physical member Physical and Collection instance Physical and Selling Object instance Object and GeopoliticalArea Agent Process instance Agent and Agent instance Process and Buying member Process and Collection agent Process and Agent located Agent and Object total KappaFn SymbolicString and instance entity and Selling member entity and Collection transactionAmount entity and SymbolicString and entity_SALE_AMOUNT equal GMVFn Collection and entity_SALE_AMOUNT
(=> (and (instance ?SELLINGS Collection) (instance ?GMV CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMV (GMVFn ?SELLINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?SELLING) (and (member ?SELLING ?SELLINGS) (patient ?SELLING ?ITEM)))))))) (equal (ASPFn ?SELLINGS) (DivisionFn ?GMV ?TOTAL)))	UXExperimentalTerms.kif 3490-3510	instance Collection and Collection instance RealNumber and CurrencyMeasure instance Integer and RealNumber equal RealNumber and GMVFn Collection equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Object entity member entity and Collection patient entity and SymbolicString equal ASPFn Collection and DivisionFn RealNumber and Integer
(=> (and (instance ?VISITOR Human) (instance ?COLL Collection) (forall (?EXPERIMENTING ?EVENT) (=> (and (instance ?EXPERIMENTING Experimenting) (instance ?EVENT Process) (member ?EVENT (QualifyingEventsFn ?EXPERIMENT)) (capability ?EVENT experiencer ?VISITOR)) (member ?EVENT ?COLL))) (=> (member ?PROC ?COLL) (and (instance ?PROC Process) (exists (?EXP) (and (instance ?EXP Experimenting) (member ?PROC (QualifyingEventsFn ?EXP)) (capability ?PROC experiencer ?VISITOR)))))) (equal (QualifiedTreatmentsFn ?VISITOR) ?COLL))	UXExperimentalTerms.kif 4448-4471	instance Human and Human instance Collection and Collection Entity Process instance Entity and Experimenting instance Process and Process member Process and QualifyingEventsFn Experimenting capability Process, experiencer and Human member Process and Collection member Process and Collection instance Process and Process Experimenting instance Experimenting and Experimenting member Process and QualifyingEventsFn Experimenting capability Process, experiencer and Human equal QualifiedTreatmentsFn Human and Collection
(=> (and (instance ?X Pasta) (not (exists (?Y) (and (instance ?Y Pasta) (part ?Y ?X))))) (attribute ?X LongAndThin))	Food.kif 600-608	instance Object and Pasta Object instance Object and Pasta part Object and Object attribute Object and LongAndThin
(=> (and (instance ?X Penne) (not (exists (?Y) (and (instance ?Y Penne) (part ?Y ?X))))) (and (exists (?HOLE2) (and (instance ?HOLE2 Hole) (part ?X ?HOLE2))) (attribute ?X Fillable)))	Food.kif 715-728	instance Object and Penne Object instance Object and Penne part Object and Object Object instance Object and Hole part Object and Object attribute Object and Fillable
(=> (and (instance ?X Spaghetti) (not (exists (?Y) (and (instance ?Y Spaghetti) (part ?Y ?X))))) (attribute ?X LongAndThin))	Food.kif 881-889	instance Object and Spaghetti Object instance Object and Spaghetti part Object and Object attribute Object and LongAndThin
(=> (and (typicalAction ?PROCESS ?AGENT) (instance ?A ?AGENT) (equal ?PPROB (ProbabilityFn (exists (?X) (and (instance ?X ?PROCESS) (agent ?X ?A))))) (equal ?NOTPPROB (ProbabilityFn (not (exists (?Y) (and (instance ?Y ?PROCESS) (agent ?Y ?A))))))) (greaterThan ?PPROB ?NOTPPROB))	Mid-level-ontology.kif 22255-22272	typicalAction Process and Agent instance Entity and Agent equal RealNumber and ProbabilityFn entity instance entity and Process agent entity and Entity equal RealNumber and ProbabilityFn entity instance entity and Process agent entity and Entity greaterThan RealNumber and RealNumber
(=> (and (typicalPart ?PART ?WHOLE) (instance ?X ?PART) (equal ?PARTPROB (ProbabilityFn (exists (?Y) (and (instance ?Y ?WHOLE) (part ?X ?Y))))) (equal ?NOTPARTPROB (ProbabilityFn (not (exists (?Z) (and (instance ?Z ?WHOLE) (part ?X ?Z))))))) (greaterThan ?PARTPROB ?NOTPARTPROB))	Mid-level-ontology.kif 23063-23080	typicalPart Object and Object instance Entity and Object equal ObjectPROB and ProbabilityFn entity instance entity and Object part Entity and entity equal RealNumber and ProbabilityFn entity instance entity and Object part Entity and entity greaterThan ObjectPROB and RealNumber
(=> (and (typicalTemporalPart ?PART ?WHOLE) (instance ?X ?PART) (equal ?PARTPROB (ProbabilityFn (exists (?Y) (and (instance ?Y ?WHOLE) (temporalPart ?X ?Y))))) (equal ?NOTPARTPROB (ProbabilityFn (not (exists (?Z) (and (instance ?Z ?WHOLE) (temporalPart ?X ?Z))))))) (greaterThan ?PARTPROB ?NOTPARTPROB))	Cars.kif 1453-1470	typicalTemporalPart Process and Process instance Entity and Process equal ProcessPROB and ProbabilityFn entity instance entity and Process temporalPart Entity and entity equal RealNumber and ProbabilityFn entity instance entity and Process temporalPart Entity and entity greaterThan ProcessPROB and RealNumber

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(<=> (and (instance ?B BodyPart) (holdsDuring ?T (attribute ?B Bare))) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?B))))))	Mid-level-ontology.kif 29556-29566	instance Entity and BodyPart holdsDuring TimePosition and attribute Entity and Bare holdsDuring TimePosition and entity instance entity and Clothing covers entity and Entity
(<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThan 10.0 ?S) (greaterThan ?S 2.5)) (exists (?PM10) (and (instance ?PM10 CoarseParticulateMatter) (part ?PM10 ?PM))))	Geography.kif 7156-7167	instance Object and ParticulateMatter part SelfConnectedObject and Object approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Micrometer greaterThan 10.0 and RealNumber greaterThan RealNumber and 2.5 Object0 instance Object0 and CoarseParticulateMatter part Object0 and Object
(<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThanOrEqualTo ?S 2.5)) (exists (?PM25) (and (instance ?PM25 FineParticulateMatter) (part ?PM25 ?PM))))	Geography.kif 7185-7195	instance Object and ParticulateMatter part SelfConnectedObject and Object approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Micrometer greaterThanOrEqualTo RealNumber and 2.5 Object5 instance Object5 and FineParticulateMatter part Object5 and Object
(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) ?Y) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 372-405	instance Year and YearFn YearEAR equal MaleLifeExpectancyAtBirthFn GeopoliticalArea and Year and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Male during WhenFn entity and Year equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (annualExpendituresOfArea ?AREA ?AMOUNT)))))	Economy.kif 1528-1533	annualExpendituresOfAreaInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualExpendituresOfArea GeopoliticalArea and CurrencyMeasure
(<=> (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (annualRevenuesOfArea ?AREA ?AMOUNT)))))	Economy.kif 1499-1504	annualRevenuesOfAreaInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualRevenuesOfArea GeopoliticalArea and CurrencyMeasure
(<=> (attribute ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 Hole) (part ?HOLE1 ?HOLE2))))	Merge.kif 9869-9874	attribute Object and Fillable Object instance Object and Hole part Object and Object
(<=> (attribute ?MUSIC PolyphonicMusic) (exists (?PART1 ?PART2) (and (instance ?MUSIC MakingMusic) (instance ?PART1 MakingMusic) (instance ?PART2 MakingMusic) (subProcess ?PART1 ?MUSIC) (subProcess ?PART2 ?MUSIC) (not (equal ?PART1 ?PART2)) (cooccur ?PART1 ?MUSIC) (cooccur ?PART2 ?MUSIC))))	Mid-level-ontology.kif 712-723	attribute Object and PolyphonicMusic Process Process instance Object and MakingMusic instance Process and MakingMusic instance Process and MakingMusic subProcess Process and Object subProcess Process and Object equal Process and Process cooccur Process and Object cooccur Process and Object
(<=> (aunt ?A ?H) (exists (?P) (and (sister ?A ?P) (parent ?H ?P))))	Mid-level-ontology.kif 22469-22474	aunt Woman and Human Human sister Woman and Human parent Human and Human
(<=> (average ?LIST1 ?AVERAGE) (exists (?LIST2) (and (equal (ListLengthFn ?LIST2) (ListLengthFn ?LIST1)) (equal (ListOrderFn ?LIST2 1) (ListOrderFn ?LIST1 1)) (forall (?ITEMFROM2) (=> (inList ?ITEMFROM2 ?LIST2) (exists (?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2) (and (greaterThan ?POSITION 1) (lessThanOrEqualTo ?POSITION (ListLengthFn ?LIST2)) (equal (ListOrderFn ?LIST2 ?ITEMFROM2) ?POSITION) (inList ?ITEMFROM1 ?LIST1) (equal ?POSITION (ListOrderFn ?LIST1 ?ITEMFROM1)) (inList ?PRIORFROM2 ?LIST2) (equal ?POSITIONMINUSONE (SubtractionFn ?POSITION 1)) (equal ?POSITIONMINUSONE (ListOrderFn ?LIST2 ?PRIORFROM2)) (equal ?ITEMFROM2 (AdditionFn ?ITEMFROM1 ?PRIORFROM2)))))) (equal ?LASTPLACE (ListLengthFn ?LIST2)) (equal ?AVERAGE (DivisionFn (ListOrderFn ?LIST2 ?LASTPLACE) ?LASTPLACE)))))	People.kif 289-310	average List and RealNumber List equal ListLengthFn List and ListLengthFn List equal ListOrderFn List and 1 and ListOrderFn List and 1 PositiveInteger inList PositiveInteger and List RealNumber RealNumberMINUSONE, PositiveInteger and PositiveInteger greaterThan RealNumber and 1 lessThanOrEqualTo RealNumber and ListLengthFn List equal ListOrderFn List and PositiveInteger and RealNumber inList PositiveInteger and List equal RealNumber and ListOrderFn List and PositiveInteger inList PositiveInteger and List equal RealNumberMINUSONE and SubtractionFn RealNumber and 1 equal RealNumberMINUSONE and ListOrderFn List and PositiveInteger equal PositiveInteger and AdditionFn PositiveInteger and PositiveInteger equal PositiveInteger and ListLengthFn List equal RealNumber and DivisionFn ListOrderFn List and PositiveInteger and PositiveInteger
(<=> (beliefGroupPercentInRegion ?BG ?N ?R) (exists (?G1 ?G2) (and (located ?P ?R) (member ?P ?BG) (member ?P ?G1) (memberCount ?G1 ?N1) (located ?P2 ?R) (member ?P2 ?G2) (memberCount ?G2 ?N2) (equal (DivisionFn ?N 100) (DivisionFn ?N1 ?N2)))))	People.kif 1538-1549	beliefGroupPercentInRegion BeliefGroup, RealNumber and GeographicArea Collection Collection located Physical and GeographicArea member Physical and BeliefGroup member Physical and Collection memberCount Collection and RealNumber located Physical and GeographicArea member Physical and Collection memberCount Collection and RealNumber equal DivisionFn RealNumber and 100 and DivisionFn RealNumber and RealNumber
(<=> (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (capitalExpendituresOfArea ?AREA ?CAPAMOUNT)))))	Economy.kif 1576-1581	capitalExpendituresOfAreaInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and capitalExpendituresOfArea GeopoliticalArea and CurrencyMeasure
(<=> (cousin ?P1 ?P2) (and (exists (?G1 ?G2) (and (grandmother ?P1 ?G1) (grandfather ?P1 ?G2) (grandmother ?P2 ?G1) (grandfather ?P2 ?G2))) (not (exists (?M ?F) (and (mother ?P1 ?M) (father ?P1 ?F) (mother ?P2 ?M) (father ?P2 ?F))))))	Mid-level-ontology.kif 22484-22499	cousin Human and Human Woman Man grandmother Human and Woman grandfather Human and Man grandmother Human and Woman grandfather Human and Man Organism Organism mother Human and Organism father Human and Organism mother Human and Organism father Human and Organism
(<=> (currencyExchangePerUSDollar ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))	Economy.kif 3671-3676	currencyExchangePerUSDollar CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and currencyExchangeRate UnitedStatesDollar and CurrencyMeasure
(<=> (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (currencyExchangeRate ?UNIT ?AMOUNT)))))	Economy.kif 3678-3683	currencyExchangeRateInPeriod UnitOfCurrency, CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and currencyExchangeRate UnitOfCurrency and CurrencyMeasure
(<=> (customer ?AGENT1 ?AGENT2) (exists (?SERVICE) (and (instance ?SERVICE FinancialTransaction) (agent ?SERVICE ?AGENT2) (destination ?SERVICE ?AGENT1))))	Mid-level-ontology.kif 7396-7402	customer CognitiveAgent and CognitiveAgent Process instance Process and FinancialTransaction agent Process and CognitiveAgent destination Process and CognitiveAgent
(<=> (economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (economicAidDonated ?COUNTRY ?AMOUNT)))))	Economy.kif 2829-2834	economicAidDonatedInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and economicAidDonated GeopoliticalArea and CurrencyMeasure
(<=> (economicAidReceivedNetInPeriod ?COUNTRY ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (economicAidReceivedNet ?COUNTRY ?AMOUNT)))))	Economy.kif 2869-2874	economicAidReceivedNetInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and economicAidReceivedNet GeopoliticalArea and CurrencyMeasure
(<=> (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (electricityFractionFromSource ?AREA ?SOURCE ?FRACTION)))))	Economy.kif 2067-2072	electricityFractionFromSourceInPeriod GeopoliticalArea, PowerGeneration, RealNumber and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and electricityFractionFromSource GeopoliticalArea, PowerGeneration and RealNumber
(<=> (equal (FemaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 418-449	equal FemaleLifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Female during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (equal (LifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 327-357	equal LifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (equal (PopulationGrowthFn ?AREA (YearFn ?YEAR)) ?ADJUSTEDPERCENT) (exists (?Y1 ?Y2) (and (equal (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1) (equal ?Y1 (YearFn ?YEAR)) (equal ?Y2 (YearFn ?PREVIOUSYEAR)) (holdsDuring ?Y1 (equal (PopulationFn ?AREA) ?POPULATION)) (holdsDuring ?Y2 (equal (PopulationFn ?AREA) ?PREVIOUSPOPULATION)) (equal (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT) (equal (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT))))	People.kif 78-90	equal PopulationGrowthFn GeopoliticalArea and YearFn Integer and RealNumber Year Year equal SubtractionFn Integer and Integer and 1 equal Year and YearFn Integer equal Year and YearFn Integer holdsDuring Year and equal PopulationFn GeopoliticalArea and RealNumber holdsDuring Year and equal PopulationFn GeopoliticalArea and RealNumber equal DivisionFn RealNumber and RealNumber and RealNumber equal SubtractionFn RealNumber and 1 and RealNumber
(<=> (ethnicityPercentInRegion ?BG ?N ?R) (exists (?G1 ?G2) (and (located ?P ?R) (member ?P ?BG) (member ?P ?G1) (memberCount ?G1 ?N1) (located ?P2 ?R) (member ?P2 ?G2) (memberCount ?G2 ?N2) (equal (DivisionFn ?N 100) (DivisionFn ?N1 ?N2)))))	People.kif 1557-1568	ethnicityPercentInRegion EthnicGroup, RealNumber and GeographicArea Collection Collection located Physical and GeographicArea member Physical and EthnicGroup member Physical and Collection memberCount Collection and RealNumber located Physical and GeographicArea member Physical and Collection memberCount Collection and RealNumber equal DivisionFn RealNumber and 100 and DivisionFn RealNumber and RealNumber
(<=> (exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION)))))	Economy.kif 2559-2564	exportPartnerByFractionInPeriod GeopoliticalArea, GeopoliticalArea, PositiveRealNumber and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and exportPartnerByFraction GeopoliticalArea, GeopoliticalArea and PositiveRealNumber
(<=> (exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (exportPartnerByRank ?AREA1 ?AREA2 ?NTH)))))	Economy.kif 2521-2526	exportPartnerByRankInPeriod GeopoliticalArea, GeopoliticalArea, PositiveInteger and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and exportPartnerByRank GeopoliticalArea, GeopoliticalArea and PositiveInteger

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(containsInformation (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?VOTER ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?VOTER (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw)	Government.kif 1145-1159	containsInformation ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE citizen ?VOTER and ?POLITY suffrageAgeMinimum ?POLITY and MeasureFn ?VOTINGAGE and YearDuration age ?VOTER and MeasureFn ?AGE and YearDuration greaterThanOrEqualTo ?AGE and ?VOTINGAGE instance ?ELECTION and ElectionFn ?POLITY ?VOTING instance ?VOTING and VotingFn ?ELECTION agent ?VOTING and ?VOTER and CompulsorySuffrageLaw
(hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T))))	ComputingBrands.kif 3275-3281	hasPurpose iBookstore and ?D instance ?D and DownloadingOverNetwork instrument ?D and iBookstore instance ?T and Text objectTransferred ?D and ?T
(not (exists (?PATH1 ?PATH2) (and (instance ?PATH1 (CutSetFn ?GRAPH)) (instance ?PATH2 (MinimalCutSetFn ?GRAPH)) (pathLength ?PATH1 ?NUMBER1) (pathLength ?PATH2 ?NUMBER2) (lessThan ?NUMBER1 ?NUMBER2))))	Merge.kif 6003-6010	GraphPath GraphPath instance GraphPath and CutSetFn Graph instance GraphPath and MinimalCutSetFn Graph pathLength GraphPath and PositiveInteger pathLength GraphPath and PositiveInteger lessThan PositiveInteger and PositiveInteger

appearance as argument number 0

(exists (?MEAL ?REGION) (attribute ?MEAL (MealAttributeFn ?MEAL ?REGION)))	Food.kif 230-231	Meal Region attribute Meal and MealAttributeFn Meal and Region
(exists (?T) (and (instance ?T (YearFn 1976)) (holdsDuring ?T (coworker SteveJobsOfApple SteveWozniakOfApple))))	ComputingBrands.kif 2421-2425	TimePosition instance TimePosition and YearFn 1976 holdsDuring TimePosition and coworker スティーブ・ジョブズ氏 and スティーブ・ウｵズニアック氏
(exists (?T) (and (instance ?T (YearFn 2002)) (holdsDuring ?T (coworker SteveJobsOfApple TimCookOfApple))))	ComputingBrands.kif 2409-2413	TimePosition instance TimePosition and YearFn 2002 holdsDuring TimePosition and coworker スティーブ・ジョブズ氏 and ティム・クック氏
(exists (?T) (and (subclass ?T HandToolBox) (manufacturer SortimoCorp ?T)))	Cars.kif 5112-5115	Agent subclass Agent and HandToolBox manufacturer SortimoCorp and Agent
(exists (?THING) (instance ?THING Entity))	Merge.kif 808-809	Entity instance Entity and Entity
(exists (?TIME) (and (instance ?TIME TimeInterval) (finishes ?TIME (WhenFn JesusOfNazareth)) (starts ?TIME (WhenFn TwelveApostles)) (forall (?MEM) (=> (holdsDuring ?TIME (member ?MEM TwelveApostles)) (holdsDuring ?TIME (friend ?MEM JesusOfNazareth))))))	Media.kif 1968-1976	TimeInterval instance TimeInterval and TimeInterval finishes TimeInterval and WhenFn JesusOfNazareth starts TimeInterval and WhenFn TwelveApostles entity holdsDuring TimeInterval and member entity and TwelveApostles holdsDuring TimeInterval and friend entity and JesusOfNazareth

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: