TreeView Knowledge Base Browser

appearance as argument number 2

(termFormat EnglishLanguage exists "exists")

domainEnglishFormat.kif 66293-66293

antecedent

(<=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account)) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty))))) (liquidity ?Account HighLiquidity))	FinancialOntology.kif 1832-1842	过程是退出的 instance 和金融账户是金融账户的 instance 和那个金融账户的 currency 是那个过程的源头和不存在另一个过程这样那个另外过程是罚款的 instance 和那个另外过程在那个金融账户的 currency 结束和那个过程 causes 那个另外过程若且唯若那个金融账户的 liqudity 是高流动性
(<=> (exists (?Period) (and (instance ?Loan Loan) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Amount ?Period))) (loanInterest ?Loan ?Amount))	FinancialOntology.kif 3930-3936	有存在时距这样贷款是贷款的 instance 和那个时距是那个贷款的 agreement 週期和那个贷款是对于 %3 的赚取 interest 若且唯若利益是那个贷款的 loan 利息
(<=> (exists (?Process) (programRunning ?Process ?Program)) (property ?Program Executable))	QoSontology.kif 989-992	有存在电脑程序这样电脑程序是那个电脑程序的执行 program 若且唯若那个电脑程序有可执行的 attribute
(<=> (exists (?Rate) (fixedInterestRate ?Account ?Rate)) (instance ?Account FixedRateAccount))	FinancialOntology.kif 981-984	有存在数字这样那个数字是金融账户的 fixed 固定利息若且唯若那个金融账户是固定利率账户的 instance
(<=> (exists (?Stock ?StockPrice ?StrikePrice) (and (instance ?Option CallOption) (underlier ?Option ?Stock) (price ?Stock (MeasureFn ?StockPrice ?U) ?Time) (instance ?U UnitOfCurrency) (strikePrice ?Option (MeasureFn ?StrikePrice ?U)) (lessThan ?StockPrice ?StrikePrice))) (outOfTheMoney ?Option ?Time))	FinancialOntology.kif 3063-3074	有存在金融工具，那个金融工具Price， and 和另一个实数这样协议是看涨期权的 instance 和那个金融工具是那个协议的 underlier 和那个金融工具是对于施事体的 price 那个金融工具Price 测量单位和那个测量单位是 UnitOfCurrency 的 instance 和那个另外实数那个测量单位是那个协议的 strike 价钱和那个金融工具Price 是 lessThan 那个另外实数若且唯若那个施事体是那个协议的 out 资兂短缺
(<=> (exists (?Stock ?StockPrice ?StrikePrice) (and (instance ?Option CallOption) (underlier ?Option ?Stock) (price ?Stock (MeasureFn ?StockPrice ?U) ?Time) (instance ?U UnitOfCurrency) (strikePrice ?Option (MeasureFn ?StrikePrice ?U)) (lessThan ?StrikePrice ?StockPrice))) (inTheMoney ?Option ?Time))	FinancialOntology.kif 3014-3025	有存在金融工具，那个金融工具Price， and 和另一个实数这样协议是看涨期权的 instance 和那个金融工具是那个协议的 underlier 和那个金融工具是对于施事体的 price 那个金融工具Price 测量单位和那个测量单位是 UnitOfCurrency 的 instance 和那个另外实数那个测量单位是那个协议的 strike 价钱和那个另外实数是 lessThan 那个金融工具Price 若且唯若那个施事体是那个协议的 in 金钱
(<=> (exists (?Stock ?StockPrice ?StrikePrice) (and (instance ?Option Option) (underlier ?Option ?Stock) (price ?Stock ?StockPrice ?Time) (strikePrice ?Option ?StrikePrice) (equal ?StockPrice ?StrikePrice))) (atTheMoney ?Option ?Time))	FinancialOntology.kif 3046-3054	有存在金融工具，那个金融工具Price， and 和另一个货币测量这样协议是选项的 instance 和那个金融工具是那个协议的 underlier 和那个金融工具是对于施事体的 price 那个金融工具Price 和那个另外货币测量是那个协议的 strike 价钱和那个金融工具Price equal 那个另外货币测量若且唯若那个施事体是那个协议 at 的钱
(<=> (exists (?Stock ?StockPrice ?StrikePrice) (and (instance ?Option PutOption) (underlier ?Option ?Stock) (price ?Stock (MeasureFn ?StockPrice ?U) ?Time) (instance ?U UnitOfCurrency) (strikePrice ?Option (MeasureFn ?StrikePrice ?U)) (lessThan ?StockPrice ?StrikePrice))) (inTheMoney ?Option ?Time))	FinancialOntology.kif 3027-3038	有存在金融工具，那个金融工具Price， and 和另一个实数这样协议是放选项的 instance 和那个金融工具是那个协议的 underlier 和那个金融工具是对于施事体的 price 那个金融工具Price 测量单位和那个测量单位是 UnitOfCurrency 的 instance 和那个另外实数那个测量单位是那个协议的 strike 价钱和那个金融工具Price 是 lessThan 那个另外实数若且唯若那个施事体是那个协议的 in 金钱
(<=> (exists (?Stock ?StockPrice ?StrikePrice) (and (instance ?Option PutOption) (underlier ?Option ?Stock) (price ?Stock (MeasureFn ?StockPrice ?U) ?Time) (instance ?U UnitOfCurrency) (strikePrice ?Option (MeasureFn ?StrikePrice ?U)) (lessThan ?StrikePrice ?StockPrice))) (outOfTheMoney ?Option ?Time))	FinancialOntology.kif 3076-3087	有存在金融工具，那个金融工具Price， and 和另一个实数这样协议是放选项的 instance 和那个金融工具是那个协议的 underlier 和那个金融工具是对于施事体的 price 那个金融工具Price 测量单位和那个测量单位是 UnitOfCurrency 的 instance 和那个另外实数那个测量单位是那个协议的 strike 价钱和那个另外实数是 lessThan 那个金融工具Price 若且唯若那个施事体是那个协议的 out 资兂短缺
(=> (and (citizen ?P ?C) (not (exists (?L) (located ?P ?L)))) (located ?P ?C))	Military.kif 772-778	如果人类是国家的 citizen 和不存在客体这样那个人类是 located 在那个客体，然后那个人类是 located 在那个国家
(=> (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 和那个施事体对货币测量收费在 corkage 为了有点客体和另一个客体是有点客体的 instance 和不存在过程这样那个过程是购买的 instance 和那个另外客体是那个过程的 patient 和那个过程在那个有认知的主事结束和那个施事体是那个过程的源头和另一个过程是饮的 instance 和那个有认知的主事是那个另外过程的 agent 和那个另外客体是那个另外过程的 resource，然后有存在第三过程这样那个第三过程是 Corkage 的 instance 和那个有认知的主事是那个第三过程的 agent 和那个第三过程提到那个另外客体和那个第三过程在那个施事体结束
(=> (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 ?X ?CUST) ?AGENT ?CUST) Possibility))	Dining.kif 336-350	如果施事体 provides 客体和那个施事体是有认知的主事的 customer 和实体是那个客体的 instance 和那个有认知的主事 desires 有存在另一个实体这样那个另外实体是有意图过程的 instance 和那个实体是那个另外实体的 patient 和那个有认知的主事是那个另外实体的 agent，然后那个施事体允许那个有认知的主事执行那个有认知的主事 uses 那个实体的任务的声明 has 可能性的语气
(=> (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 和另一个物理系统是汽车的 instance 和客体是 AutomobileShock 的 instance 和那个客体是那个物理系统的 part 和不存在另一个客体这样那个另外客体是 AutomobileShock 的 instance 和那个另外客体是那个另外物理系统的 part 和 dampingRatio 那个物理系统 and 实数和 dampingRatio 那个另外物理系统 and 另一个实数，然后那个另外实数是 greaterThan 那个实数
(=> (and (instance ?AGENT AutonomousAgent) (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 772-795	如果施事体是施事体的 instance 和有认知的主事是个 potential customer 对于那个施事体和实体是 Reserving 的 instance 和那个实体在那个施事体结束的声明 has 必要性的语气和如果那个施事体是那个有认知的主事的 customer 是正确，那有存在那个实体ES1 这样那个实体ES1 是 Reservation 的 instance 和那个有认知的主事 reserves 那个实体ES1 和那个施事体 fulfills 那个实体ES1 的机率就是实数和如果那个施事体是那个有认知的主事的 customer 是正确，那不存在那个实体ES2 这样那个实体ES2 是 Reservation 的 instance 和那个有认知的主事 reserves 那个实体ES2 和那个施事体 fulfills 那个实体ES2 的机率就是另一个实数，然后那个另外实数是 lessThan 那个实数
(=> (and (instance ?Account LiabilityAccount) (minimumPayment ?Account (MeasureFn ?MinPayment ?U) MonthDuration) (instance ?U UnitOfCurrency) (exists (?Payment ?Month) (and (instance ?Month Month) (destination ?Payment (CurrencyFn ?Account)) (paymentsPerPeriod ?Account (MeasureFn ?Amount ?U) ?Month) (lessThan ?Amount ?MinPayment)))) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)))))	FinancialOntology.kif 759-775	如果责任账户是责任账户的 instance 和那个责任账户是對於月持续时间的 minimum 費用实数测量单位和那个测量单位是 UnitOfCurrency 的 instance 和有存在过程和时距这样那个时距是月的 instance 和那个过程在那个责任账户的 currency 结束和那个责任账户 payments 对于那个时距每周期另一个实数那个测量单位和那个另外实数是 lessThan 那个实数，然后有存在另一个过程这样那个另外过程是罚款的 instance 和那个另外过程在那个责任账户的 currency 结束
(=> (and (instance ?B Bubble) (not (exists (?X ?S) (and (attribute ?X ?S) (not (equal ?X Gas)) (meetsSpatially ?X ?B))))) (attribute ?B ConvexRoundShape))	Mid-level-ontology.kif 4973-4982	如果客体是气泡的 instance 和不存在另一个客体和属性这样那个属性是那个另外客体的 attribute 和那个另外客体不 equal 加油站和那个另外客体接上那个客体，然后中凸的圆形是那个客体的 attribute
(=> (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 ?BUYING ?ITEM)))))))) (equal (ABPFn ?BUYINGS) (DivisionFn ?GMB ?TOTAL)))	UXExperimentalTerms.kif 3449-3469	如果群体是群体的 instance 和实数是货币测量的 instance 和整数是实数的 instance 和那个实数 equal 那个群体的 value 和那个整数 equal 符号串所描述的类别 instance 的数量，然后那个群体的 average price equal 那个实数和那个整数
(=> (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 586-602	如果过程是 CateringService 的 instance 和施事体是那个过程的 agent 和那个过程在那个过程UST 结束和那个施事体是 located 在客体和那个施事体是那个过程UST 的 customer 和有存在另一个过程，实体， and 和第三过程这样那个另外过程是烹饪的 instance 和那个施事体是那个另外过程的 agent 和那个实体是那个另外过程的 result 和那个实体是那个过程的 patient 和那个第三过程是进食的 instance 和那个过程UST 是那个第三过程的 agent 和那个第三过程是 located 在另一个客体，然后那个客体不 equal 那个另外客体
(=> (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 和有点复合物质是复合物质的 subclass 和不存在另一个客体这样那个另外客体是那个有点复合物质的 instance 和那个另外客体是那个客体的 part 和 molecularRatio 有点元素物质, 整数 and 那个有点复合物质和群体是群组的 instance 和第三客体是那个群体的 member 和那个第三客体是那个客体的 part 和那个第三客体是有点元素物质的 instance，然后那个整数是那个群体的 member 计数
(=> (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	如果实体是 Electromagnet 的 instance 和有存在另一个实体和第三实体这样那个另外实体是转移的 instance 和那个第三实体是电力的 instance 和 objectTransferred 那个另外实体 and 那个第三实体和那个实体%n是那个另外实体发生的path doesn't 在那个另外实体1 holdsDuring，然后有存在第五实体这样那个第五实体是磁的 instance 和那个实体是导致那个第五实体的 instrument doesn't 在那个另外实体1 holdsDuring
(=> (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 1383-1401	如果设备是枪的 instance 和测量单位是 UnitOfLength 的 instance 和实数那个测量单位是那个设备的 effective 范围和那个设备和客体的 distance 是那个实数1 那个测量单位和那个客体是生物的 instance 和不存在那个客体2 这样那个客体2 是在那个客体和那个设备 between 和那个实数1 是 lessThanOrEqualTo 那个实数，然后那个设备能够担当工具的角色做符号串所描述的类别
(=> (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 1362-1379	如果设备是枪的 instance 和测量单位是 UnitOfLength 的 instance 和实数那个测量单位是那个设备的 effective 范围和那个设备和客体的 distance 是那个实数1 那个测量单位和不存在那个客体2 这样那个客体2 是在那个客体和那个设备 between 和那个实数1 是 lessThanOrEqualTo 那个实数，然后那个设备能够担当工具的角色做符号串所描述的类别
(=> (and (instance ?PROCESS ?PROCESS_CLASS) (subclass ?PROCESS_CLASS Process) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (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	如果时距是那个时距_CLASS 的 instance 和那个时距_CLASS 是过程的 subclass 和 AccessingWebPage 是 AccessingWebPage 的 instance 和施事体是施事体的 instance 和那个施事体是那个时距的 agent 和那个施事体是那个 AccessingWebPage 的 agent 和那个时距在那个 AccessingWebPage 时段内发生和物理是时距的 instance 和不存在那个时距2 这样那个时距2 是那个时距_CLASS 的 instance 和那个施事体是那个时距2 的 agent 和那个时距2 在那个 AccessingWebPage 时段内发生和那个时距2 出现的 time 的开始%n在那个时距出现的 time 的开始before发生和那个 AccessingWebPage 出现的 time 的开始 equal 那个物理出现的 time 的开始和那个时距出现的 time 的开始 equal 那个物理出现的 time 的结束，然后那个 AccessingWebPage 的 time 在类别那个时距_CLASS equal 那个物理
(=> (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 和实体是那个过程的 patient 和不存在另一个过程这样那个另外过程是爆炸的 instance 和那个实体是那个另外过程的 patient，然后那个实体是绝对的哑弹的 instance
(=> (and (instance ?PURCHASES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?PURCHASES) (instance ?MEMBER Buying))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?BUYER ?BUYING) (=> (and (instance ?BUYER AutonomousAgent) (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 和对所有物理如果那个物理是那个群体的 member，然后那个物理是购买的 instance 和有存在客体这样那个客体是地缘政治区域的 instance 和对所有施事体和过程如果那个施事体是施事体的 instance 和那个过程是购买的 instance 和那个过程是那个群体的 member 和那个施事体是那个过程的 agent，然后那个施事体是 located 在那个客体，然后 total 价值在符号串所描述的类别是实体_PURCHASE_AMOUNT 和那个群体的 value equal 那个实体_PURCHASE_AMOUNT

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(<=> (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 7166-7177	客体是悬浮颗粒的 instance 和自身连接物体是那个客体的 part 和 1 的 approximate diameter 是 %2 和 10.0 是 greaterThan 实数和那个实数是 greaterThan 2.5 若且唯若有存在那个客体10 这样那个客体10 是粗悬浮颗粒的 instance 和那个客体10 是那个客体的 part
(<=> (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 7195-7205	客体是悬浮颗粒的 instance 和自身连接物体是那个客体的 part 和 1 的 approximate diameter 是 %2 和实数是 greaterThanOrEqualTo 2.5 若且唯若有存在那个客体25 这样那个客体25 是细悬浮颗粒的 instance 和那个客体25 是那个客体的 part
(<=> (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 383-416	年是那个年EAR year 的 instance 和地缘政治区域和那个年的 male 出生估计寿命 equal 实数若且唯若有存在串列这样那个串列是串列的 instance 和那个串列的长度是另一个整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是符号串的 instance 和不存在另一个实体这样那个另外实体是那个符号串的 instance 和那个另外实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?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) ?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 429-462	年是整数 year 的 instance 和地缘政治区域和那个年的 female 出生预期寿命 equal 实数若且唯若有存在串列这样那个串列是串列的 instance 和那个串列的长度是另一个整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是符号串的 instance 和不存在另一个实体这样那个另外实体是那个符号串的 instance 和那个另外实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (LifeExpectancyAtBirthFn ?AREA ?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) ?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 336-368	年是整数 year 的 instance 和地缘政治区域和那个年的出生预期 life equal 实数若且唯若有存在串列这样那个串列是串列的 instance 和那个串列的长度是另一个整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是符号串的 instance 和不存在另一个实体这样那个另外实体是那个符号串的 instance 和那个另外实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
(<=> (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (annualExpendituresOfArea ?AREA ?AMOUNT)))))	Economy.kif 1528-1533	1 对于 %3 在周期 %2 的 annual 地区消费若且唯若有存在时间位置这样那个时间位置是有点时距的 instance 和货币测量是地缘政治区域在 annual 地区消费在那个时间位置 holdsDuring
(<=> (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (annualRevenuesOfArea ?AREA ?AMOUNT)))))	Economy.kif 1499-1504	地缘政治区域 annual 对于有点时距在周期货币测量的地区收入若且唯若有存在时间位置这样那个时间位置是有点时距的 instance 和那个货币测量是那个地缘政治区域的 annual 地区收入在那个时间位置 holdsDuring
(<=> (attribute ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 HoleRegion) (part ?HOLE1 ?HOLE2))))	Merge.kif 9900-9905	可填写是客体的 attribute 若且唯若有存在另一个客体这样那个另外客体是 HoleRegion 的 instance 和那个客体是那个另外客体的 part
(<=> (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 718-729	和弦音乐是客体的 attribute 若且唯若有存在过程和另一个过程这样那个客体是制作音乐的 instance 和那个过程是制作音乐的 instance 和那个另外过程是制作音乐的 instance 和那个过程%n是那个客体的subProcess 和那个另外过程%n是那个客体的subProcess 和那个过程不 equal 那个另外过程和那个过程和那个客体同时发生和那个另外过程和那个客体同时发生
(<=> (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 298-319	实数是串列的 average 若且唯若有存在另一个串列这样那个另外串列的长度 equal 那个串列的长度和那个另外串列的第 1 几个元素 equal 那个串列的第 1 几个元素和对所有正整数如果那个正整数是那个另外串列的 member，然后有存在另一个实数，那个另外实数MINUSONE,，，另一个正整数， and 和第三正整数这样那个另外实数是 greaterThan 1 和那个另外实数是 lessThanOrEqualTo 那个另外串列的长度和那个另外串列的第那个正整数几个元素 equal 那个另外实数和那个另外正整数是那个串列的 member 和那个另外实数 equal 那个串列的第那个另外正整数几个元素和那个第三正整数是那个另外串列的 member 和那个另外实数MINUSONE equal (那个另外实数和 1) 和那个另外实数MINUSONE equal 那个另外串列的第那个第三正整数几个元素和那个正整数 equal (那个另外正整数和那个第三正整数) 和第四正整数 equal 那个另外串列的长度和那个实数 equal 那个另外串列的第那个第四正整数几个元素和那个第四正整数
(<=> (bankAccount ?AccountType ?Bank) (exists (?Account) (and (instance ?Account ?AccountType) (accountAt ?Account ?Bank))))	FinancialOntology.kif 3953-3958	银行 - 财政组织是有点金融账户的 bank 帐号若且唯若有存在另一个金融账户这样那个另外金融账户是有点金融账户的 instance 和那个另外金融账户是被那个银行 - 财政组织 held
(<=> (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 1554-1565	百分之实数在信仰团体的人相信那个信仰团体若且唯若有存在群体和另一个群体这样物理是 located 在地理区域和那个物理是那个信仰团体的 member 和那个物理是那个群体的 member 和那个实数1 是那个群体的 member 计数和那个物理2 是 located 在那个地理区域和那个物理2 是那个另外群体的 member 和那个实数2 是那个另外群体的 member 计数和那个实数和 100 equal 那个实数1 和那个实数2
(<=> (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (capitalExpendituresOfArea ?AREA ?CAPAMOUNT)))))	Economy.kif 1576-1581	地缘政治区域在周期货币测量对于有点时距的 capital 地区支出若且唯若有存在时间位置这样那个时间位置是有点时距的 instance 和那个货币测量是那个地缘政治区域的 capital 地区支出在那个时间位置 holdsDuring
(<=> (currencyExchangePerUSDollar ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))	Economy.kif 3672-3677	有点时距是货币测量的 currency 交换每美元若且唯若有存在时间位置这样那个时间位置是有点时距的 instance 和那个货币测量是美国美元的 currency 交换汇率在那个时间位置 holdsDuring
(<=> (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (currencyExchangeRate ?UNIT ?AMOUNT)))))	Economy.kif 3679-3684	UnitOfCurrency 对于有点时距在周期货币测量的 currency 交换汇率若且唯若有存在时间位置这样那个时间位置是有点时距的 instance 和那个货币测量是那个 UnitOfCurrency 的 currency 交换汇率在那个时间位置 holdsDuring
(<=> (customer ?AGENT1 ?AGENT2) (exists (?SERVICE) (and (instance ?SERVICE FinancialTransaction) (agent ?SERVICE ?AGENT2) (destination ?SERVICE ?AGENT1))))	Mid-level-ontology.kif 7700-7706	施事体是有认知的主事的 customer 若且唯若有存在过程这样那个过程是金融交易的 instance 和那个施事体是那个过程的 agent 和那个过程在那个有认知的主事结束
(<=> (customerRepresentative ?Person1 ?Person2 ?Org) (exists (?Service) (and (instance ?Service FinancialTransaction) (employs ?Org ?Person1) (agent ?Service ?Person1) (destination ?Service ?Person2))))	FinancialOntology.kif 3645-3652	有认知的主事对于 %3 的 customer 代表若且唯若有存在过程这样那个过程是金融交易的 instance 和机构 employs 那个有认知的主事和那个有认知的主事是那个过程的 agent 和那个过程在另一个有认知的主事结束
(<=> (economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (economicAidDonated ?COUNTRY ?AMOUNT)))))	Economy.kif 2830-2835	地缘政治区域是对于有点时距在期间货币测量的 economic 间赠补助若且唯若有存在时间位置这样那个时间位置是有点时距的 instance 和那个货币测量是那个地缘政治区域的 economic 捐赠补助在那个时间位置 holdsDuring
(<=> (economicAidReceivedNetInPeriod ?COUNTRY ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (economicAidReceivedNet ?COUNTRY ?AMOUNT)))))	Economy.kif 2870-2875	地缘政治区域是对于有点时距在期间货币测量总共收到的 economic 补助若且唯若有存在时间位置这样那个时间位置是有点时距的 instance 和那个货币测量是那个地缘政治区域总共收到的 economic 补助在那个时间位置 holdsDuring
(<=> (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (electricityFractionFromSource ?AREA ?SOURCE ?FRACTION)))))	Economy.kif 2067-2072	地缘政治区域是对于实数和有点时距在周期有点发电从来源的 electricity 分支若且唯若有存在时间位置这样那个时间位置是有点时距的 instance 和那个地缘政治区域 is 对于那个实数从来源有点发电的 electricity 分支在那个时间位置 holdsDuring
(<=> (employs ?Org ?Agent) (exists (?Employment) (and (property ?Employment Employment) (partyToAgreement ?Employment ?Org) (partyToAgreement ?Employment ?Agent))))	FinancialOntology.kif 3272-3278	协议 employs 另一个协议若且唯若有存在有认知的主事这样那个有认知的主事有雇用的 attribute 和那个协议是那个有认知的主事的 party 协议和那个另外协议是那个有认知的主事的 party 协议
(<=> (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 1573-1584	实数 percent 的人在地理区域是民族群组若且唯若有存在群体和另一个群体这样物理是 located 在那个地理区域和那个物理是那个民族群组的 member 和那个物理是那个群体的 member 和那个实数1 是那个群体的 member 计数和那个物理2 是 located 在那个地理区域和那个物理2 是那个另外群体的 member 和那个实数2 是那个另外群体的 member 计数和那个实数和 100 equal 那个实数1 和那个实数2
(<=> (exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION)))))	Economy.kif 2560-2565	地缘政治区域对正实数和有点时距在周期另一个地缘政治区域由部分 export 伙伴若且唯若有存在时间位置这样那个时间位置是有点时距的 instance 和那个地缘政治区域对于那个正实数由部分那个另外地缘政治区域 export 伙伴在那个时间位置 holdsDuring
(<=> (exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (exportPartnerByRank ?AREA1 ?AREA2 ?NTH)))))	Economy.kif 2522-2527	地缘政治区域对正整数和有点时距在周期另一个地缘政治区域由阶级 export 伙伴若且唯若有存在时间位置这样那个时间位置是有点时距的 instance 和那个地缘政治区域对于那个正整数由阶级那个另外地缘政治区域 export 伙伴在那个时间位置 holdsDuring
(<=> (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (exportPartner ?AGENT1 ?AGENT2)))))	Economy.kif 2398-2403	施事体对于有点时距在周期另一个施事体 export 伙伴若且唯若有存在时间位置这样那个时间位置是有点时距的 instance 和那个另外施事体是那个施事体的 export 伙伴在那个时间位置 holdsDuring

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 1160-1174	对所有 ?POLITY， ?VOTER,，， ?ELECTION,，， ?VOTINGAGE， and 和 ?AGE 如果 ?VOTER 是 ?POLITY 的 citizen 和 ?VOTINGAGE 年持续时间是 ?POLITY 的 suffrage 最小年纪和 ?VOTER 的 age 是 ?AGE 年持续时间和 ?AGE 是 greaterThanOrEqualTo ?VOTINGAGE 和 ?ELECTION 是 ?POLITY 的 election 的 instance，然后有存在 ?VOTING 这样 ?VOTING 是 ?ELECTION 的 voting 的 instance 和 ?VOTER 是 ?VOTING 的 agent contains 强制选举法的资料
(decreasesLikelihood (exists (?X ?CUT ?PAPER ?CBO ?INFO) (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER) (located ?CBO ?PAPER) (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO))) (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ)))))	Mid-level-ontology.kif 18028-18045	有存在 ?X， ?CUT,，， ?PAPER,，， ?CBO， and 和 ?INFO 这样 ?X 是 PaperShredder 的 instance 和 ?CUT 是切开的 instance 和 ?X 是导致 ?CUT 的 instrument 和 ?PAPER 是纸的 instance 和 ?PAPER 是 ?CUT 的 patient 和 ?CBO 是 located 在 ?PAPER 和 ?CBO 是 VisualContentBearingObject 的 instance 和 ?CBO contains ?INFO 的资料减少有存在 ?READ 这样 ?READ 是解读的 instance 和 ?INFO 是 ?READ 的 patient 和 ?CUT 出现的 time 比?READ 出现的 time发生的earlier 发生的机率
(hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T))))	ComputingBrands.kif 3307-3313	IBookstore 的目的是有存在 ?D 这样 ?D 是下載的 instance 和 iBookstore 是导致 ?D 的 instrument 和 ?T 是文本的 instance 和 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 6030-6037	不存在图路径和另一个图路径这样那个图路径是把图分成另外两个图的路径 Set 的 instance 和那个另外图路径是把那个图分成另外两个图的最短路径 Set 的 instance 和那个图路径的 length 是正整数和那个另外图路径的 length 是另一个正整数和那个正整数是 lessThan 那个另外正整数

appearance as argument number 0

(exists (?MEAL ?REGION) (attribute ?MEAL (MealAttributeFn ?MEAL ?REGION)))	Food.kif 230-231	有存在 Meal 和地区这样对于那个 Meal 合适的 meal 在那个地区是那个 Meal 的 attribute
(exists (?T) (and (instance ?T (YearFn 1976)) (holdsDuring ?T (coworker SteveJobsOfApple SteveWozniakOfApple))))	ComputingBrands.kif 2453-2457	有存在时间位置这样那个时间位置是 1976 year 的 instance 和斯蒂夫·沃兹尼亚克是史蒂芬·贾伯斯的 coworker 在那个时间位置 holdsDuring
(exists (?T) (and (instance ?T (YearFn 2002)) (holdsDuring ?T (coworker SteveJobsOfApple TimCookOfApple))))	ComputingBrands.kif 2441-2445	有存在时间位置这样那个时间位置是 2002 year 的 instance 和提姆·库克是史蒂芬·贾伯斯的 coworker 在那个时间位置 holdsDuring
(exists (?T) (and (subclass ?T HandToolBox) (manufacturer ?T SortimoCorp)))	Cars.kif 5112-5115	有存在有点客体这样有点客体是 HandToolBox 的 subclass 和 manufacturer 那个有点客体 and SortimoCorp
(exists (?THING) (instance ?THING Entity))	Merge.kif 816-817	有存在实体这样那个实体是实体的 instance
(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 1970-1978	有存在时距这样那个时距是时距的 instance 和那个时距 finishes了才到 JesusOfNazareth 出现的 time 和那个时距 starts了才到 TwelveApostles 出现的 time 和对所有实体如果那个实体是 TwelveApostles 的 member 在那个时距 holdsDuring，然后那个实体是 JesusOfNazareth 的 friend 在那个时距 holdsDuring

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

KB Term:			Term intersection

English Word: