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 65837-65837

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 1818-1828 工程 は Withdrawal の instance では %n FinancialAccount は FinancialAccount の instance では %n 工程 は CurrencyFn FinancialAccount から originates %n{ない} 工程 工程 は Penalty の instance では %n 工程 は CurrencyFn FinancialAccount に ends %n{ない} 工程 は 工程 を causes %n{ない} liquidity FinancialAccount and HighLiquidity
(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))		 FinancialOntology.kif 3920-3926 時間間隔 Loan は Loan の instance では %n agreementPeriod Loan and 時間間隔 interestEarned Loan, Interest and 時間間隔 loanInterest Loan and Interest
(<=>
    (exists (?Process)
        (programRunning ?Process ?Program))
    (property ?Program Executable))		 QoSontology.kif 989-992 ComputerProcess programRunning ComputerProcess and コンピュータープログラム コンピュータープログラム には attribute Executable %n{ない}
(<=>
    (exists (?Rate)
        (fixedInterestRate ?Account ?Rate))
    (instance ?Account FixedRateAccount))		 FinancialOntology.kif 981-984 数 fixedInterestRate FinancialAccount and 数 FinancialAccount は FixedRateAccount の instance では %n
(<=>
    (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 3051-3062 FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は CallOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では %n strikePrice Agreement and 実数 の 測定単位(s) FinancialInstrumentPrice は 実数 より less では %n outOfTheMoney Agreement and AutonomousAgent
(<=>
    (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 3002-3013 FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は CallOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では %n strikePrice Agreement and 実数 の 測定単位(s) 実数 は FinancialInstrumentPrice より less では %n inTheMoney Agreement and AutonomousAgent
(<=>
    (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 3034-3042 FinancialInstrument FinancialInstrumentPrice and 通貨測定 Agreement は Option の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and 通貨測定 FinancialInstrumentPrice は 通貨測定 と equal では %n atTheMoney Agreement and AutonomousAgent
(<=>
    (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 3015-3026 FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は PutOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では %n strikePrice Agreement and 実数 の 測定単位(s) FinancialInstrumentPrice は 実数 より less では %n inTheMoney Agreement and AutonomousAgent
(<=>
    (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 3064-3075 FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は PutOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では %n strikePrice Agreement and 実数 の 測定単位(s) 実数 は FinancialInstrumentPrice より less では %n outOfTheMoney Agreement and AutonomousAgent
(=>
    (and
        (breathingRate ?H ?T ?R)
        (instance ?T Minute)
        (not
            (exists (?R)
                (and
                    (instance ?R RecreationOrExercise)
                    (agent ?R ?H)
                    (during ?T
                        (WhenFn ?R)))))
        (holdsDuring ?T
            (attribute ?H HumanAdult))
        (or
            (greaterThan ?R 16)
            (lessThan ?R 12)))
    (holdsDuring ?T
        (not
            (attribute ?H Healthy))))		 Medicine.kif 367-385
(=>
    (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))))
        (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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 4988-4997
(=>
    (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 3247-3267
(=>
    (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
(=>
    (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
(=>
    (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 3905-3921
(=>
    (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))
    (exists (?KILLING)
        (capability
            (KappaFn ?KILLING
                (and
                    (instance ?KILLING Killing)
                    (patient ?KILLING ?O))) instrument ?GUN)))		 Mid-level-ontology.kif 1389-1408
(=>
    (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))
    (exists (?DAMAGING)
        (capability
            (KappaFn ?DAMAGING
                (and
                    (instance ?DAMAGING Damaging)
                    (patient ?DAMAGING ?O))) instrument ?GUN)))		 Mid-level-ontology.kif 1367-1385
(=>
    (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 1504-1526
(=>
    (and
        (instance ?PROCESS TakingOff)
        (patient ?PROCESS ?DUD)
        (not
            (exists (?EXPLOSION)
                (and
                    (instance ?EXPLOSION Explosion)
                    (patient ?EXPLOSION ?DUD)))))
    (instance ?DUD AbsoluteDud))		 MilitaryDevices.kif 1409-1418

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 30095-30105 エンティティー は 体の部分 の instance では %n Bare は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} エンティティー エンティティー は 衣類 の instance では %n covers エンティティー and エンティティー は 時間位置 の during holds %n{ない}
(<=>
    (and
        (instance ?COPY Photocopying)
        (patient ?COPY ?OBJ1)
        (instance ?OBJ1 VisualContentBearingObject)
        (containsInformation ?OBJ1 ?INFO1))
    (exists (?OBJ2 ?INFO2)
        (and
            (result ?COPY ?OBJ2)
            (instance ?OBJ2 VisualContentBearingObject)
            (containsInformation ?OBJ2 ?INFO2)
            (equal ?INFO1 ?INFO2))))		 Mid-level-ontology.kif 26261-26272 工程 は Photocopying の instance では %n ContentBearingPhysical は 工程 の patient では %n ContentBearingPhysical は VisualContentBearingObject の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない} ContentBearingPhysical 命題 ContentBearingPhysical は 工程 の result では %n ContentBearingPhysical は VisualContentBearingObject の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない} 命題 は 命題 と equal では %n
(<=>
    (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 7418-7429 オブジェクト は ParticulateMatter の instance では %n 自己接続オブジェクト は オブジェクト の part では %n approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 10.0 は 実数 より greater では　%n 実数 は 2.5 より greater では　%n オブジェクト10 オブジェクト10 は CoarseParticulateMatter の instance では %n オブジェクト10 は オブジェクト の part では %n
(<=>
    (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 7447-7457 オブジェクト は ParticulateMatter の instance では %n 自己接続オブジェクト は オブジェクト の part では %n approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 実数 は 2.5 greater では　%n オブジェクト25 オブジェクト25 は FineParticulateMatter の instance では %n オブジェクト25 は オブジェクト の part では %n
(<=>
    (and
        (instance ?Y
            (YearFn ?YEAR))
        (equal
            (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (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 では %n MaleLifeExpectancyAtBirthFn 地政学的地域 and 年 は 実数 と equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では %n リスト の length は 整数 の instance では %n リストITEM average リスト and 実数
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (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 では %n FemaleLifeExpectancyAtBirthFn 地政学的地域 and 年 は 実数 と equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では %n リスト の length は 整数 の instance では %n リストITEM average リスト and 実数
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (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 では %n LifeExpectancyAtBirthFn 地政学的地域 and 年 は 実数 と equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では %n リスト の length は 整数 の instance では %n リストITEM average リスト and 実数
(<=>
    (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualExpendituresOfArea ?AREA ?AMOUNT)))))		 Economy.kif 1517-1522 annualExpendituresOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n annualExpendituresOfArea 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない}
(<=>
    (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualRevenuesOfArea ?AREA ?AMOUNT)))))		 Economy.kif 1488-1493 annualRevenuesOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n annualRevenuesOfArea 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない}
(<=>
    (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 723-734 PolyphonicMusic は オブジェクト の attribute では %n 工程 工程 オブジェクト は MakingMusic の instance では %n 工程 は MakingMusic の instance では %n 工程 は MakingMusic の instance では %n 工程 は オブジェクト% の subprocess では %n 工程 は オブジェクト% の subprocess では %n 工程 は 工程 と equal では 工程 は オブジェクト と同時に occurs %n{ない} 工程 は オブジェクト と同時に occurs %n{ない}
(<=>
    (attribute ?WATER OpenSea)
    (exists (?LAND ?DIST)
        (and
            (instance ?WATER SaltWaterArea)
            (not
                (instance ?WATER LandlockedWater))
            (distance ?LAND ?WATER
                (MeasureFn ?DIST NauticalMile))
            (greaterThan ?DIST 5.0))))		 Geography.kif 4689-4698 OpenSea は オブジェクト の attribute では %n 物理 実数 オブジェクト は 塩水地域 の instance では %n オブジェクト は LandlockedWater の instance では 物理 と オブジェクト の distance は 実数 の NauticalMile(s) では %n 実数 は 5.0 より greater では　%n
(<=>
    (aunt ?A ?H)
    (exists (?P)
        (and
            (sister ?A ?P)
            (parent ?H ?P))))		 Mid-level-ontology.kif 22995-23000 aunt Woman and 人［人間］ 人［人間］ sister Woman and 人［人間］ 人［人間］ は 人［人間］ の parent では %n
(<=>
    (average ?LIST1 ?AVERAGE)
    (exists (?LIST2 ?LASTPLACE)
        (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 リスト and 実数 リスト 正の整数 リスト の length は リスト の length と equal では %n リスト の 1th element は リスト の 1th element と equal では %n 正の整数 正の整数 は リスト の length と equal では %n 実数 は リスト の 正の整数th element + 正の整数 と equal では %n
(<=>
    (bankAccount ?AccountType ?Bank)
    (exists (?Account)
        (and
            (instance ?Account ?AccountType)
            (accountAt ?Account ?Bank))))		 FinancialOntology.kif 3943-3948 bankAccount FinancialAccount and BankFinancialOrganization FinancialAccount FinancialAccount は FinancialAccount の instance では %n accountAt FinancialAccount and BankFinancialOrganization
(<=>
    (beliefGroupPercentInRegion ?BG ?N ?R)
    (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
        (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 beliefGroupPercentInRegion BeliefGroup, 実数 and 地理的地域 コレクション コレクション, 物理, 物理2, 実数1 and 実数2 物理 は 地理的地域 に located して %n 物理 は BeliefGroup の member では %n 物理 は コレクション の member では %n memberCount コレクション and 実数1 物理2 は 地理的地域 に located して %n 物理2 は コレクション の member では %n memberCount コレクション and 実数2 実数 + 100 は 実数1 + 実数2 と equal では %n
(<=>
    (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (capitalExpendituresOfArea ?AREA ?CAPAMOUNT)))))		 Economy.kif 1565-1570 capitalExpendituresOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n capitalExpendituresOfArea 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない}
(<=>
    (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 23010-23025 cousin 人［人間］ and 人［人間］ Woman Man grandmother 人［人間］ and Woman grandfather 人［人間］ and Man grandmother 人［人間］ and Woman grandfather 人［人間］ and Man 物 物 物 は 人［人間］ の mother では %n 物 は 人［人間］ の father では %n 物 は 人［人間］ の mother では %n 物 は 人［人間］ の father では %n
(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))		 Economy.kif 3661-3666 currencyExchangePerUSDollar 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n currencyExchangeRate UnitedStatesDollar and 通貨測定 は 時間位置 の during holds %n{ない}
(<=>
    (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate ?UNIT ?AMOUNT)))))		 Economy.kif 3668-3673 currencyExchangeRateInPeriod UnitOfCurrency, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n currencyExchangeRate UnitOfCurrency and 通貨測定 は 時間位置 の during holds %n{ない}
(<=>
    (customer ?AGENT1 ?AGENT2)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE FinancialTransaction)
            (agent ?SERVICE ?AGENT2)
            (destination ?SERVICE ?AGENT1))))		 Mid-level-ontology.kif 7699-7705 customer 認識エージェント and AutonomousAgent 工程 工程 は 金融取引 の instance では %n AutonomousAgent は 工程 の agent では %n 工程 は 認識エージェント に ends %n{ない}
(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))		 FinancialOntology.kif 3635-3642 customerRepresentative 認識エージェント, 認識エージェント and 組織 工程 工程 は 金融取引 の instance では %n 組織 は 認識エージェント を employs %n{ない} 認識エージェント は 工程 の agent では %n 工程 は 認識エージェント に ends %n{ない}
(<=>
    (earthAltitude ?OBJ ?ALT)
    (exists (?SEA)
        (and
            (altitude ?OBJ ?SEA ?ALT)
            (surface ?SEA PlanetEarth))))		 Geography.kif 2781-2786 earthAltitude オブジェクト and 長さ測定 自己接続オブジェクト オブジェクト の altitude は 自己接続オブジェクト では %n 自己接続オブジェクト は PlanetEarth の surface では %n
(<=>
    (economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (economicAidDonated ?COUNTRY ?AMOUNT)))))		 Economy.kif 2819-2824 economicAidDonatedInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n economicAidDonated 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない}
(<=>
    (economicAidReceivedNetInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (economicAidReceivedNet ?COUNTRY ?AMOUNT)))))		 Economy.kif 2859-2864 economicAidReceivedNetInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n economicAidReceivedNet 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない}
(<=>
    (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (electricityFractionFromSource ?AREA ?SOURCE ?FRACTION)))))		 Economy.kif 2056-2061 electricityFractionFromSourceInPeriod 地政学的地域, PowerGeneration, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n electricityFractionFromSource 地政学的地域, PowerGeneration and 実数 は 時間位置 の during holds %n{ない}

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 は CompulsorySuffrageLaw の情報を contains %n{ない}
(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 18151-18168 ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X は PaperShredder の instance では %n ?CUT は 切断 の instance では %n ?X は ?CUT の instrument では %n ?PAPER は Paper の instance では %n ?PAPER は ?CUT の patient では %n ?CBO は ?PAPER に located して %n ?CBO は VisualContentBearingObject の instance では %n ?CBO は ?INFO の情報を contains %n{ない} は ?READ ?READ は Interpreting の instance では %n ?INFO は ?READ の patient では %n ?CUT の time の existence は ?READ の time の existence より earlier happens %n{ない} を decreases 可能性がある
(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D DownloadingOverNetwork)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))		 ComputingBrands.kif 3309-3315 IBookstore は ?D ?D は DownloadingOverNetwork の instance では %n iBookstore は ?D の instrument では %n ?T は テキスト の instance では %n objectTransferred ?D and ?T の 目的 %n{ない}
(not
    (exists (?PATH1 ?PATH2)
        (and
            (instance ?PATH1
                (CutSetFn ?GRAPH))
            (instance ?PATH2
                (MinimalCutSetFn ?GRAPH))
            (pathLength ?PATH1 ?NUMBER1)
            (pathLength ?PATH2 ?NUMBER2)
            (lessThan ?NUMBER1 ?NUMBER2))))		 Merge.kif 6099-6106 グラフパス グラフパス グラフパス は グラフ を2つの別々のグラフに分割するパスの set の instance では %n グラフパス は グラフ を2つの別々のグラフに分割する最小パスの set の instance では %n グラフパス の length は 正の整数 では %n グラフパス の length は 正の整数 では %n 正の整数 は 正の整数 より less では %n

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


(exists (?D ?M)
    (and
        (instance ?D Disseminating)
        (agent ?D Netflix)
        (patient ?D ?M)
        (instance ?M MotionPicture)))		 Medicine.kif 4559-4564 工程 エンティティー 工程 は 普及 の instance では %n Netflix は 工程 の agent では %n エンティティー は 工程 の patient では %n エンティティー は 映画 の instance では %n
(exists (?FM)
    (and
        (instance ?FM FilmMaking)
        (agent ?FM Netflix)))		 Medicine.kif 4566-4569 工程 工程 は FilmMaking の instance では %n Netflix は 工程 の agent では %n
(exists (?H)
    (and
        (attribute ?H NewReporter)
        (employs ProPublica ?H)))		 Medicine.kif 4590-4593 認識エージェント NewReporter は 認識エージェント の attribute では %n ProPublica は 認識エージェント を employs %n{ない}
(exists (?MEAL ?REGION)
    (attribute ?MEAL
        (MealAttributeFn ?MEAL ?REGION)))		 Food.kif 1902-1903 Meal 地域 MealAttributeFn Meal and 地域 は Meal の attribute では %n
(exists (?T)
    (and
        (instance ?T
            (YearFn 1976))
        (holdsDuring ?T
            (coworker SteveJobsOfApple SteveWozniakOfApple))))		 ComputingBrands.kif 2453-2457 時間位置 時間位置 は 1976 year 目 の instance では %n coworker スティーブ・ジョブズ氏 and スティーブ・ウｵズニアック氏 は 時間位置 の during holds %n{ない}
(exists (?T)
    (and
        (instance ?T
            (YearFn 2002))
        (holdsDuring ?T
            (coworker SteveJobsOfApple TimCookOfApple))))		 ComputingBrands.kif 2441-2445 時間位置 時間位置 は 2002 year 目 の instance では %n coworker スティーブ・ジョブズ氏 and ティム・クック氏 は 時間位置 の during holds %n{ない}
(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer ?T SortimoCorp)))		 Cars.kif 5109-5112 オブジェクト オブジェクト は HandToolBox の subclass では %n manufacturer オブジェクト and SortimoCorp
(exists (?THING)
    (instance ?THING Entity))		 Merge.kif 825-826 エンティティー エンティティー は エンティティー の instance では %n
(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 では %n 時間間隔 は JesusOfNazareth の time の existence を finishes %n{ない} 時間間隔 は TwelveApostles の time の existence を starts %n{ない} エンティティー


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 3.0 is open source software produced by Articulate Software and its partners