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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - exists
exists

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


(termFormat ChineseLanguage exists "存在") domainEnglishFormat.kif 22711-22711 termFormat ChineseLanguage, exists and "存在"
(termFormat ChineseTraditionalLanguage exists "存在") domainEnglishFormat.kif 22710-22710 termFormat ChineseTraditionalLanguage, exists and "存在"
(termFormat EnglishLanguage exists "exists") domainEnglishFormat.kif 22709-22709 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 工程 は 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 (?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 16008-16020 工程 工程 は 借り の instance では %n 代理(人) は 工程 の agent では %n 工程 は 代理(人) から originates %n{ない} エンティティー は 工程 の patient では %n 工程 工程 は 貸し の instance では %n 代理(人) は 工程 の agent では %n 工程 は 代理(人) に ends %n{ない} エンティティー は 工程 の patient では %n
(<=>
    (exists (?BUILD)
        (and
            (instance ?BUILD Constructing)
            (result ?BUILD ?ARTIFACT)))
    (instance ?ARTIFACT StationaryArtifact))		 Merge.kif 17127-17132 工程 工程 は 構築 の instance では %n エンティティー は 工程 の result では %n エンティティー は 固定アーチファクト の instance では %n
(<=>
    (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 16236-16248 工程 工程 は 購買 の instance では %n 代理(人) は 工程 の agent では %n 工程 は 代理(人) から originates %n{ない} エンティティー は 工程 の patient では %n 工程 工程 は 販売 の instance では %n 代理(人) は 工程 の agent では %n 工程 は 代理(人) に ends %n{ない} エンティティー は 工程 の patient では %n
(<=>
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region)))
    (attribute ?REGION Illuminated))		 Merge.kif 17998-18004 工程 工程 は 放射光 の instance では %n オブジェクト は 工程 の patient では %n オブジェクト は 地域 の instance では %n Illuminated は オブジェクト の attribute では %n
(<=>
    (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 組織プロセス は ChargingAFee を causes %n{ない} 通貨測定 は ( 通貨測定 + ChargingAFeeAmount) と equal では %n afterTaxIncome 人［人間］, 通貨測定 and 組織プロセス
(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))		 FinancialOntology.kif 3755-3761 時間間隔 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 977-980 ComputerProcess programRunning ComputerProcess and コンピュータープログラム コンピュータープログラム には attribute Executable %n{ない}
(<=>
    (exists (?Rate)
        (fixedInterestRate ?Account ?Rate))
    (instance ?Account FixedRateAccount))		 FinancialOntology.kif 926-929 InterestRate fixedInterestRate FinancialAccount and InterestRate FinancialAccount は FixedRateAccount の instance では %n
(<=>
    (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 通貨測定 Agreement は CallOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and 代理(人) strikePrice Agreement and 通貨測定 FinancialInstrumentPrice は 通貨測定 より less では %n 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 通貨測定 Agreement は CallOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and 代理(人) strikePrice Agreement and 通貨測定 通貨測定 は FinancialInstrumentPrice より less では %n 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 通貨測定 Agreement は Option の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and 代理(人) strikePrice Agreement and 通貨測定 FinancialInstrumentPrice は 通貨測定 と equal では %n 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 通貨測定 Agreement は PutOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and 代理(人) strikePrice Agreement and 通貨測定 FinancialInstrumentPrice は 通貨測定 より less では %n 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 通貨測定 Agreement は PutOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and 代理(人) strikePrice Agreement and 通貨測定 通貨測定 は FinancialInstrumentPrice より less では %n 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 5319-5328
(=>
    (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 23073-23080 オブジェクト は 意識［知覚］を持つ代理(人) の instance では %n Living は オブジェクト の attribute では %n エンティティー エンティティー は 意識属性 の instance では %n エンティティー は オブジェクト の attribute では %n
(<=>
    (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 28333-28343 エンティティー は 体の部分 の instance では %n Bare は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} エンティティー エンティティー は 衣類 の instance では %n covers エンティティー and エンティティー は 時間位置 の during holds %n{ない}
(<=>
    (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 6790-6801 オブジェクト は ParticulateMatter の instance では %n 自己接続オブジェクト は オブジェクト の part では %n approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 10 は 実数 より 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 6819-6829 オブジェクト は ParticulateMatter の instance では %n 自己接続オブジェクト は オブジェクト の part では %n approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 実数 は 2.5 greater では　%n オブジェクト25 オブジェクト25 は FineParticulateMatter の instance では %n オブジェクト25 は オブジェクト の part では %n
(<=>
    (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 3588-3605 関係 は 合計値関係 の instance では %n 関係 は 述語 の instance では %n 正の整数 関係 は 関係 の instance では %n 関係 は 正の整数 の argument(s) を %&has %n{ない}
(<=>
    (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualExpendituresOfArea ?AREA ?AMOUNT)))))		 Economy.kif 1523-1528 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 1494-1499 annualRevenuesOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n annualRevenuesOfArea 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない}
(<=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 Hole)
            (part ?HOLE1 ?HOLE2))))		 Merge.kif 13753-13758 Fillable は オブジェクト の attribute では %n オブジェクト オブジェクト は ホール の instance では %n オブジェクト は オブジェクト の part では %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 927-938 PolyphonicMusic は オブジェクト の attribute では %n 工程 工程 オブジェクト は MakingMusic の instance では %n 工程 は MakingMusic の instance では %n 工程 は MakingMusic の instance では %n 工程 は オブジェクト% の subprocess では %n 工程 は オブジェクト% の subprocess では %n 工程 は 工程 と equal では 工程 は オブジェクト と同時に occurs %n{ない} 工程 は オブジェクト と同時に occurs %n{ない}
(<=>
    (aunt ?A ?H)
    (exists (?P)
        (and
            (sister ?A ?P)
            (parent ?H ?P))))		 Mid-level-ontology.kif 20940-20945 aunt Woman and 人［人間］ 人［人間］ sister Woman and 人［人間］ 人［人間］ は 人［人間］ の parent では %n
(<=>
    (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 実数 リスト リスト の 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 3779-3784 bankAccount FinancialAccount and Bank-FinancialOrganization FinancialAccount FinancialAccount は FinancialAccount の instance では %n accountAt 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 して %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 ?AMOUNT)))))		 Economy.kif 1569-1574 capitalExpendituresOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n capitalExpendituresOfArea 地政学的地域 and エンティティー は 時間位置 の during holds %n{ない}
(<=>
    (connectedEngineeringComponents ?COMP1 ?COMP2)
    (exists (?CONNECTION)
        (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))		 Merge.kif 20714-20717 エンジニアリング部品 は エンジニアリング部品 に connected して %n エンジニアリング接続 エンジニアリング接続 は エンジニアリング部品 と エンジニアリング部品 に connects して　%n{ない}
(<=>
    (contains ?OBJ1 ?OBJ2)
    (exists (?HOLE)
        (and
            (hole ?HOLE ?OBJ1)
            (properlyFills ?OBJ2 ?HOLE))))		 Merge.kif 1565-1570 contains 自己接続オブジェクト and オブジェクト ホール ホール は 自己接続オブジェクト の hole では %n オブジェクト は ホール を properly fills %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 20955-20970 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 3664-3669 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 3671-3676 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 7431-7437 customer 認識エージェント and 認識エージェント 工程 工程 は 金融取引 の instance では %n 認識エージェント は 工程 の 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 3527-3534 customerRepresentative 認識エージェント, 認識エージェント and 組織 工程 工程 は 金融取引 の instance では %n 組織 は 認識エージェント を employs %n{ない} 認識エージェント は 工程 の agent では %n 工程 は 認識エージェント に ends %n{ない}
(<=>
    (economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (economicAidDonated ?COUNTRY ?AMOUNT)))))		 Economy.kif 2822-2827 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 2862-2867 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 2060-2065 electricityFractionFromSourceInPeriod 地政学的地域, PowerGeneration, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n electricityFractionFromSource 地政学的地域, PowerGeneration and 実数 は 時間位置 の during holds %n{ない}
(<=>
    (employs ?Org ?Agent)
    (exists (?Employment)
        (and
            (property ?Employment Employment)
            (partyToAgreement ?Employment ?Org)
            (partyToAgreement ?Employment ?Agent))))		 FinancialOntology.kif 3151-3157 代理(人) は Agreement を employs %n{ない} 認識エージェント 認識エージェント には attribute Employment %n{ない} partyToAgreement 認識エージェント 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 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE は CompulsorySuffrageLaw の情報を contains %n{ない}
(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D Downloading)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))		 ComputingBrands.kif 3139-3145 IBookstore は ?D ?D は Downloading の 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 8751-8758 グラフパス グラフパス グラフパス は グラフ を2つの別々のグラフに分割するパスの set の instance では %n グラフパス は グラフ を2つの別々のグラフに分割する最小パスの set の instance では %n グラフパス の length は 正の整数 では %n グラフパス の length は 正の整数 では %n 正の整数 は 正の整数 より less では %n

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


(exists (?MEAL ?REGION)
    (attribute ?MEAL
        (MealAttributeFn ?MEAL ?REGION)))		 Food.kif 297-298 Meal 地域 MealAttributeFn Meal and 地域 は Meal の attribute では %n
(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer SortimoCorp ?T)))		 Cars.kif 5080-5083 代理(人) 代理(人) は HandToolBox の subclass では %n manufacturer SortimoCorp and 代理(人)
(exists (?THING)
    (instance ?THING Entity))		 Merge.kif 1219-1220 エンティティー エンティティー は エンティティー の 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 1972-1980 時間間隔 時間間隔 は 時間間隔 の instance では %n 時間間隔 は JesusOfNazareth の time の existence を finishes %n{ない} 時間間隔 は TwelveApostles の time の existence を starts %n{ない} エンティティー


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



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