Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  exists

Sigma KEE - exists
exists

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage exists "exists") domainEnglishFormat.kif 4218-4218 termFormat EnglishLanguage, exists and "exists"

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 1756-1766 过程Withdrawalinstance FinancialAccountFinancialAccountinstanceCurrencyFn 那个 FinancialAccount那个 过程 的源头 和 不存在 另一个 过程 这样 那个 另外 过程Penaltyinstance那个 另外 过程CurrencyFn 那个 FinancialAccount 结束 和 那个 过程 causes 那个 另外 过程 若且唯若 liquidity 那个 FinancialAccount and HighLiquidity
(<=>
    (exists (?BORROW)
        (and
            (instance ?BORROW Borrowing)
            (agent ?BORROW ?AGENT1)
            (origin ?BORROW ?AGENT2)
            (patient ?BORROW ?OBJECT)))
    (exists (?LEND)
        (and
            (instance ?LEND Lending)
            (agent ?LEND ?AGENT2)
            (destination ?LEND ?AGENT1)
            (patient ?LEND ?OBJECT))))
Merge.kif 11633-11645 有存在 过程 这样 那个 过程借入instance 施事体那个 过程agent另一个 施事体那个 过程 的源头 和 实体那个 过程patient 若且唯若 有存在 另一个 过程 这样 那个 另外 过程借出instance那个 另外 施事体那个 另外 过程agent那个 另外 过程那个 施事体 结束 和 那个 实体那个 另外 过程patient
(<=>
    (exists (?BUILD)
        (and
            (instance ?BUILD Constructing)
            (result ?BUILD ?ARTIFACT)))
    (instance ?ARTIFACT StationaryArtifact))
Merge.kif 12698-12703 有存在 过程 这样 那个 过程建筑instance 实体那个 过程result 若且唯若 那个 实体固定人工制品instance
(<=>
    (exists (?BUY)
        (and
            (instance ?BUY Buying)
            (agent ?BUY ?AGENT1)
            (origin ?BUY ?AGENT2)
            (patient ?BUY ?OBJECT)))
    (exists (?SELL)
        (and
            (instance ?SELL Selling)
            (agent ?SELL ?AGENT2)
            (destination ?SELL ?AGENT1)
            (patient ?SELL ?OBJECT))))
Merge.kif 11814-11826 有存在 过程 这样 那个 过程购买instance 施事体那个 过程agent另一个 施事体那个 过程 的源头 和 实体那个 过程patient 若且唯若 有存在 另一个 过程 这样 那个 另外 过程出售instance那个 另外 施事体那个 另外 过程agent那个 另外 过程那个 施事体 结束 和 那个 实体那个 另外 过程patient
(<=>
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region)))
    (attribute ?REGION Illuminated))
Merge.kif 13569-13575 有存在 过程 这样 那个 过程放射光线instance 客体那个 过程patient那个 客体地区instance 若且唯若 Illuminated那个 客体attribute
(<=>
    (exists (?Income ?Tax ?TaxAmount)
        (and
            (incomeEarned ?Agent ?Income ?Activity)
            (amountCharged ?Tax ?TaxAmount)
            (causes ?Activity ?Tax)
            (equal ?ATIncome
                (SubtractionFn ?Income ?TaxAmount))))
    (afterTaxIncome ?Agent ?ATIncome ?Activity))
FinancialOntology.kif 3222-3229 有存在 货币测量 ChargingAFee, and 和 那个 ChargingAFeeAmount 这样 incomeEarned 人类, 那个 货币测量 and 机构性过程amountCharged 那个 ChargingAFee and 那个 ChargingAFeeAmount 和 那个 机构性过程 causes 那个 ChargingAFee第三 货币测量 equal (那个 货币测量那个 ChargingAFeeAmount) 若且唯若 afterTaxIncome 那个 人类, 那个 第三 货币测量 and 那个 机构性过程
(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))
FinancialOntology.kif 3755-3761 有存在 时距 这样 LoanLoaninstanceagreementPeriod 那个 Loan and 那个 时距interestEarned 那个 Loan, Interest and 那个 时距 若且唯若 loanInterest 那个 Loan and 那个 Interest
(<=>
    (exists (?Process)
        (programRunning ?Process ?Program))
    (property ?Program Executable))
QoSontology.kif 962-965 有存在 ComputerProcess 这样 programRunning 那个 ComputerProcess and 电脑程序 若且唯若 那个 电脑程序Executableattribute
(<=>
    (exists (?Rate)
        (fixedInterestRate ?Account ?Rate))
    (instance ?Account FixedRateAccount))
FinancialOntology.kif 926-929 有存在 InterestRate 这样 fixedInterestRate FinancialAccount and 那个 InterestRate 若且唯若 那个 FinancialAccountFixedRateAccountinstance
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option CallOption)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (lessThan ?StockPrice ?StrikePrice)))
    (outOfTheMoney ?Option ?Time))
FinancialOntology.kif 2965-2973 有存在 FinancialInstrument那个 FinancialInstrumentPrice, and 和 另一个 货币测量 这样 AgreementCallOptioninstanceunderlier 那个 Agreement and 那个 FinancialInstrumentprice 那个 FinancialInstrument, 那个 FinancialInstrumentPrice and 施事体strikePrice 那个 Agreement and 那个 另外 货币测量那个 FinancialInstrumentPrice 是 lessThan 那个 另外 货币测量 若且唯若 outOfTheMoney 那个 Agreement and 那个 施事体
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option CallOption)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (lessThan ?StrikePrice ?StockPrice)))
    (inTheMoney ?Option ?Time))
FinancialOntology.kif 2922-2930 有存在 FinancialInstrument那个 FinancialInstrumentPrice, and 和 另一个 货币测量 这样 AgreementCallOptioninstanceunderlier 那个 Agreement and 那个 FinancialInstrumentprice 那个 FinancialInstrument, 那个 FinancialInstrumentPrice and 施事体strikePrice 那个 Agreement and 那个 另外 货币测量那个 另外 货币测量lessThan 那个 FinancialInstrumentPrice 若且唯若 inTheMoney 那个 Agreement and 那个 施事体
(<=>
    (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 2948-2956 有存在 FinancialInstrument那个 FinancialInstrumentPrice, and 和 另一个 货币测量 这样 AgreementOptioninstanceunderlier 那个 Agreement and 那个 FinancialInstrumentprice 那个 FinancialInstrument, 那个 FinancialInstrumentPrice and 施事体strikePrice 那个 Agreement and 那个 另外 货币测量那个 FinancialInstrumentPrice equal 那个 另外 货币测量 若且唯若 atTheMoney 那个 Agreement and 那个 施事体
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (lessThan ?StockPrice ?StrikePrice)))
    (inTheMoney ?Option ?Time))
FinancialOntology.kif 2932-2940 有存在 FinancialInstrument那个 FinancialInstrumentPrice, and 和 另一个 货币测量 这样 AgreementPutOptioninstanceunderlier 那个 Agreement and 那个 FinancialInstrumentprice 那个 FinancialInstrument, 那个 FinancialInstrumentPrice and 施事体strikePrice 那个 Agreement and 那个 另外 货币测量那个 FinancialInstrumentPrice 是 lessThan 那个 另外 货币测量 若且唯若 inTheMoney 那个 Agreement and 那个 施事体
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (lessThan ?StrikePrice ?StockPrice)))
    (outOfTheMoney ?Option ?Time))
FinancialOntology.kif 2975-2983 有存在 FinancialInstrument那个 FinancialInstrumentPrice, and 和 另一个 货币测量 这样 AgreementPutOptioninstanceunderlier 那个 Agreement and 那个 FinancialInstrumentprice 那个 FinancialInstrument, 那个 FinancialInstrumentPrice and 施事体strikePrice 那个 Agreement and 那个 另外 货币测量那个 另外 货币测量lessThan 那个 FinancialInstrumentPrice 若且唯若 outOfTheMoney 那个 Agreement and 那个 施事体
(=>
    (and
        (citizen ?P ?C)
        (not
            (exists (?L)
                (located ?P ?L))))
    (located ?P ?C))
Military.kif 772-778
(=>
    (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))))
        (holdsDuring
            (WhenFn
                (located ?CUST ?LOC))
            (and
                (instance ?P IntentionalProcess)
                (or
                    (patient ?P ?X)
                    (resource ?P ?X)
                    (instrument ?P ?X))
                (agent ?P ?CUST))))
    (exists (?C)
        (and
            (instance ?C Corkage)
            (agent ?C ?CUST)
            (destination ?C ?AGENT))))
Dining.kif 130-153
(=>
    (and
        (facility ?AGENT ?OBJ)
        (customer ?CUST ?AGENT)
        (instance ?X ?OBJ)
        (exists (?PROC)
            (and
                (instance ?PROC IntentionalProcess)
                (patient ?PROC ?X)
                (agent ?PROC ?CUST))))
    (confersRight
        (uses ?CUST ?X) ?AGENT ?CUST))
Dining.kif 339-350
(=>
    (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 843-856
(=>
    (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 729-752
(=>
    (and
        (instance ?Account LiabilityAccount)
        (minimumPayment ?Account ?MinPayment MonthDuration)
        (exists (?Payment ?Month)
            (and
                (instance ?Month Month)
                (destination ?Payment
                    (CurrencyFn ?Account))
                (paymentsPerPeriod ?Account ?Amount ?Month)
                (lessThan ?Amount ?MinPayment))))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (destination ?Penalty
                (CurrencyFn ?Account)))))
FinancialOntology.kif 712-725
(=>
    (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 5318-5327
(=>
    (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 3444-3464
(=>
    (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 544-560
(=>
    (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 1767-1781
(=>
    (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 3871-3887

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(<=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))
Merge.kif 18649-18656 客体有感知的主事instanceLiving那个 客体attribute 若且唯若 有存在 实体 这样 那个 实体意识状态instance那个 实体那个 客体attribute
(<=>
    (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 28252-28262 客体身体部位instanceBare那个 客体attribute 实体 holdsDuring 若且唯若 不存在 另一个 客体 这样 那个 另外 客体服装instancecovers 那个 另外 客体 and 那个 客体那个 实体 holdsDuring
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThan 10 ?S)
        (greaterThan ?S 2.5))
    (exists (?PM10)
        (and
            (instance ?PM10 CoarseParticulateMatter)
            (part ?PM10 ?PM))))
Geography.kif 6821-6832 客体悬浮颗粒instance 自身连接物体那个 客体part近似直径 那个 自身连接物体 and 实数 微米 和 10 是 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 6850-6860 客体悬浮颗粒instance 自身连接物体那个 客体part近似直径 那个 自身连接物体 and 实数 微米那个 实数greaterThanOrEqualTo 2.5 若且唯若 有存在 那个 客体25 这样 那个 客体25 是 细悬浮颗粒instance那个 客体25 是 那个 客体part
(<=>
    (and
        (instance ?REL TotalValuedRelation)
        (instance ?REL Predicate))
    (exists (?VALENCE)
        (and
            (instance ?REL Relation)
            (valence ?REL ?VALENCE)
            (=>
                (forall (?NUMBER ?ELEMENT ?CLASS)
                    (=>
                        (and
                            (lessThan ?NUMBER ?VALENCE)
                            (domain ?REL ?NUMBER ?CLASS)
                            (equal ?ELEMENT
                                (ListOrderFn
                                    (ListFn @ROW) ?NUMBER)))
                        (instance ?ELEMENT ?CLASS)))
                (exists (?ITEM)
                    (?REL @ROW ?ITEM))))))
Merge.kif 2318-2335 关系总值关系instance那个 关系谓语instance 若且唯若 有存在 正整数 这样 那个 关系关系instance那个 关系 % 有 那个 正整数 Argument) 和
(<=>
    (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualExpendituresOfArea ?AREA ?AMOUNT)))))
Economy.kif 1523-1528 annualExpendituresOfAreaInPeriod 地缘政治区域, 货币测量 and 有点 时距 若且唯若 有存在 实体 这样 那个 实体 有点 时距instanceannualExpendituresOfArea 那个 地缘政治区域 and 那个 货币测量那个 实体 holdsDuring
(<=>
    (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualRevenuesOfArea ?AREA ?AMOUNT)))))
Economy.kif 1494-1499 annualRevenuesOfAreaInPeriod 地缘政治区域, 货币测量 and 有点 时距 若且唯若 有存在 实体 这样 那个 实体 有点 时距instanceannualRevenuesOfArea 那个 地缘政治区域 and 那个 货币测量那个 实体 holdsDuring
(<=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 Hole)
            (part ?HOLE1 ?HOLE2))))
Merge.kif 9934-9939 Fillable 客体attribute 若且唯若 有存在 另一个 客体 这样 那个 另外 客体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 927-938 PolyphonicMusic 客体attribute 若且唯若 有存在 过程另一个 过程 这样 那个 客体制作音乐instance那个 过程制作音乐instance那个 另外 过程制作音乐instance那个 过程%n是那个 客体subProcess那个 另外 过程%n是那个 客体subProcess那个 过程equal 那个 另外 过程那个 过程那个 客体 同时发生 和 那个 另外 过程那个 客体 同时发生
(<=>
    (aunt ?A ?H)
    (exists (?P)
        (and
            (sister ?A ?P)
            (parent ?H ?P))))
Mid-level-ontology.kif 20908-20913 aunt Woman and 人类 若且唯若 有存在 另一个 人类 这样 sister 那个 Woman and 那个 另外 人类那个 另外 人类那个 人类parent
(<=>
    (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 285-306 average 串列 and 实数 若且唯若 有存在 另一个 串列 这样 那个 另外 串列 的长度 equal 那个 串列 的长度 和 那个 另外 串列 的第 1 几个元素 equal 那个 串列 的第 1 几个元素 和 对所有 正整数 第四 正整数 equal 那个 另外 串列 的长度 和 那个 实数 equal 那个 另外 串列 的第 那个 第四 正整数 几个元素 和 那个 第四 正整数
(<=>
    (bankAccount ?AccountType ?Bank)
    (exists (?Account)
        (and
            (instance ?Account ?AccountType)
            (accountAt ?Account ?Bank))))
FinancialOntology.kif 3779-3784 bankAccount 有点 FinancialAccount and Bank-FinancialOrganization 若且唯若 有存在 另一个 FinancialAccount 这样 那个 另外 FinancialAccount 有点 FinancialAccountinstanceaccountAt 那个 另外 FinancialAccount and 那个 Bank-FinancialOrganization
(<=>
    (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 1526-1537 beliefGroupPercentInRegion BeliefGroup, 实数 and 地理区域 若且唯若 有存在 群体另一个 群体 这样 客体located那个 地理区域那个 客体那个 BeliefGroupmember那个 客体那个 群体membermemberCount 那个 群体 and 那个 实数1 和 那个 客体2 是 located那个 地理区域那个 客体2 是 那个 另外 群体membermemberCount 那个 另外 群体 and 那个 实数2 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2
(<=>
    (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (capitalExpendituresOfArea ?AREA ?AMOUNT)))))
Economy.kif 1569-1574 capitalExpendituresOfAreaInPeriod 地缘政治区域, 货币测量 and 有点 时距 若且唯若 有存在 实体 这样 那个 实体 有点 时距instancecapitalExpendituresOfArea 那个 地缘政治区域 and 另一个 货币测量那个 实体 holdsDuring
(<=>
    (connectedEngineeringComponents ?COMP1 ?COMP2)
    (exists (?CONNECTION)
        (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))
Merge.kif 16290-16293 工程组件 是 和 另一个 工程组件 connected 若且唯若 有存在 工程组件连接件 这样 那个 工程组件连接件 connects 那个 工程组件那个 另外 工程组件
(<=>
    (contains ?OBJ1 ?OBJ2)
    (exists (?HOLE)
        (and
            (hole ?HOLE ?OBJ1)
            (properlyFills ?OBJ2 ?HOLE))))
Merge.kif 1046-1051 自身连接物体 contains 客体 若且唯若 有存在 这样 那个 洞那个 自身连接物体 内的 hole那个 客体 适当的 fills 那个 洞
(<=>
    (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 20923-20938 cousin 人类 and 另一个 人类 若且唯若 有存在 Woman Man 这样 grandmother 那个 人类 and 那个 Womangrandfather 那个 人类 and 那个 Mangrandmother 那个 另外 人类 and 那个 Womangrandfather 那个 另外 人类 and 那个 Man 和 不存在 生物另一个 生物 这样 那个 生物那个 人类mother那个 另外 生物那个 人类 father那个 生物那个 另外 人类mother那个 另外 生物那个 另外 人类 father
(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))
Economy.kif 3664-3669 currencyExchangePerUSDollar 货币测量 and 有点 时距 若且唯若 有存在 实体 这样 那个 实体 有点 时距instancecurrencyExchangeRate UnitedStatesDollar and 那个 货币测量那个 实体 holdsDuring
(<=>
    (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate ?UNIT ?AMOUNT)))))
Economy.kif 3671-3676 currencyExchangeRateInPeriod UnitOfCurrency, 货币测量 and 有点 时距 若且唯若 有存在 实体 这样 那个 实体 有点 时距instancecurrencyExchangeRate 那个 UnitOfCurrency and 那个 货币测量那个 实体 holdsDuring
(<=>
    (customer ?AGENT1 ?AGENT2)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE FinancialTransaction)
            (agent ?SERVICE ?AGENT2)
            (destination ?SERVICE ?AGENT1))))
Mid-level-ontology.kif 7430-7436 customer 有认知的主事 and 另一个 有认知的主事 若且唯若 有存在 过程 这样 那个 过程金融交易instance那个 另外 有认知的主事那个 过程agent那个 过程那个 有认知的主事 结束
(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))
FinancialOntology.kif 3527-3534 customerRepresentative 有认知的主事, 另一个 有认知的主事 and 机构 若且唯若 有存在 过程 这样 那个 过程金融交易instance那个 机构 employs 那个 有认知的主事那个 有认知的主事那个 过程agent那个 过程那个 另外 有认知的主事 结束
(<=>
    (economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (economicAidDonated ?COUNTRY ?AMOUNT)))))
Economy.kif 2822-2827 economicAidDonatedInPeriod 地缘政治区域, 货币测量 and 有点 时距 若且唯若 有存在 实体 这样 那个 实体 有点 时距instanceeconomicAidDonated 那个 地缘政治区域 and 那个 货币测量那个 实体 holdsDuring
(<=>
    (economicAidReceivedNetInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (economicAidReceivedNet ?COUNTRY ?AMOUNT)))))
Economy.kif 2862-2867 economicAidReceivedNetInPeriod 地缘政治区域, 货币测量 and 有点 时距 若且唯若 有存在 实体 这样 那个 实体 有点 时距instanceeconomicAidReceivedNet 那个 地缘政治区域 and 那个 货币测量那个 实体 holdsDuring
(<=>
    (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (electricityFractionFromSource ?AREA ?SOURCE ?FRACTION)))))
Economy.kif 2060-2065 electricityFractionFromSourceInPeriod 地缘政治区域, 有点 PowerGeneration, 实数 and 有点 时距 若且唯若 有存在 实体 这样 那个 实体 有点 时距instanceelectricityFractionFromSource 那个 地缘政治区域, 有点 PowerGeneration and 那个 实数那个 实体 holdsDuring
(<=>
    (employs ?Org ?Agent)
    (exists (?Employment)
        (and
            (property ?Employment Employment)
            (partyToAgreement ?Employment ?Org)
            (partyToAgreement ?Employment ?Agent))))
FinancialOntology.kif 3151-3157 施事体 employs Agreement 若且唯若 有存在 有认知的主事 这样 那个 有认知的主事EmploymentattributepartyToAgreement 那个 有认知的主事 and 那个 施事体partyToAgreement 那个 有认知的主事 and 那个 Agreement

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 ?VOTINGAGE)
                (age ?VOTER ?AGE)
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (exists (?VOTING)
                (and
                    (instance ?VOTING
                        (VotingFn ?ELECTION))
                    (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw)
Government.kif 1129-1141 对所有 国家 人类,, , Election,, , 持续时间, and 和 另一个 持续时间 contains CompulsorySuffrageLaw 的资料
(not
    (exists (?PATH1 ?PATH2)
        (and
            (instance ?PATH1
                (CutSetFn ?GRAPH))
            (instance ?PATH2
                (MinimalCutSetFn ?GRAPH))
            (pathLength ?PATH1 ?NUMBER1)
            (pathLength ?PATH2 ?NUMBER2)
            (lessThan ?NUMBER1 ?NUMBER2))))
Merge.kif 6217-6224 不存在 图路径另一个 图路径 这样 那个 图路径 是 把 分成另外两个图的路径 Setinstance那个 另外 图路径 是 把 那个 图 分成另外两个图的最短路径 Setinstance那个 图路径length 正整数那个 另外 图路径length另一个 正整数那个 正整数lessThan 那个 另外 正整数

appearance as argument number 0
-------------------------


(exists (?MEAL ?REGION)
    (attribute ?MEAL
        (MealAttributeFn ?MEAL ?REGION)))
Food.kif 297-298 有存在 Meal 地区 这样 MealAttributeFn 那个 Meal and 那个 地区那个 Mealattribute
(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer SortimoCorp ?T)))
Cars.kif 5080-5083 有存在 施事体 这样 那个 施事体HandToolBoxsubclassmanufacturer SortimoCorp and 那个 施事体
(exists (?THING)
    (instance ?THING Entity))
Merge.kif 851-852 有存在 实体 这样 那个 实体实体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 1972-1980 有存在 时距 这样 那个 时距时距instance那个 时距 finishes了才到 JesusOfNazareth 出现 的 time那个 时距 starts了才到 TwelveApostles 出现 的 time 和 对所有 人类


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners