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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - and
and

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


(termFormat ChineseLanguage and "和") domainEnglishFormat.kif 7417-7417 termFormat ChineseLanguage, and and "和"
(termFormat ChineseTraditionalLanguage and "和") domainEnglishFormat.kif 7416-7416 termFormat ChineseTraditionalLanguage, and and "和"
(termFormat EnglishLanguage and "and") domainEnglishFormat.kif 7415-7415 termFormat EnglishLanguage, and and "and"

antecedent
-------------------------


(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Corporation))
    (instance ?Account CorporateAccount))
FinancialOntology.kif 963-967 accountHolder FinancialAccount and 認識エージェント 認識エージェント法人instance では %n FinancialAccountCorporateAccountinstance では %n
(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))
FinancialOntology.kif 941-945 accountHolder FinancialAccount and 認識エージェント 認識エージェント人[人間]instance では %n FinancialAccountPersonalAccountinstance では %n
(<=>
    (and
        (agreementPeriod ?Account ?Period)
        (finishes ?End ?Period))
    (maturityDate ?Account ?End))
FinancialOntology.kif 602-606 agreementPeriod FinancialAccount and 時間間隔 時間間隔finishes %n{ない} maturityDate FinancialAccount and
(<=>
    (and
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))
MilitaryDevices.kif 1461-1466 Aircraftaltitude 自己接続オブジェクト では %n 自己接続オブジェクトPlanetEarthsurface では %n AircraftAircraftinstance では %n absoluteHeight Aircraft and AltitudeMeasure
(<=>
    (and
        (attribute ?INDIVIDUAL ?CH)
        (instance ?CH Christian))
    (member ?INDIVIDUAL Christianity))
People.kif 797-801 エンティティー オブジェクトattribute では %n エンティティーChristianinstance では %n オブジェクトChristianitymember では %n
(<=>
    (and
        (equal
            (AbsoluteValueFn ?NUMBER1) ?NUMBER2)
        (instance ?NUMBER1 RealNumber)
        (instance ?NUMBER2 RealNumber))
    (or
        (and
            (instance ?NUMBER1 NonnegativeRealNumber)
            (equal ?NUMBER1 ?NUMBER2))
        (and
            (instance ?NUMBER1 NegativeRealNumber)
            (equal ?NUMBER2
                (SubtractionFn 0 ?NUMBER1)))))
Merge.kif 7065-7076 実数absolute value 非負実数equal では %n 実数実数instance では %n 非負実数実数instance では %n 実数非負実数instance では %n 実数 非負実数equal では %n 実数負の実数instance では %n 非負実数 は (0 + 実数) と equal では %n
(<=>
    (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 ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))
FinancialOntology.kif 2252-2257 FinancialAccountFinancialAccountinstance では %n 認識エージェント FinancialAssetpossesses %n{ない} FinancialAccountAccountFn FinancialAssetequal では %n accountHolder FinancialAccount and 認識エージェント
(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))
FinancialOntology.kif 952-956 エンティティーPersonalAccountinstance では %n エンティティー classinstances の数 は 1 より greater では %n エンティティーJointAccountinstance では %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 ?COMBINE Combining)
        (resource ?COMBINE ?OBJ1)
        (result ?COMBINE ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?COMBINE))
            (not
                (part ?OBJ1 ?OBJ2)))
        (holdsDuring
            (EndFn
                (WhenFn ?COMBINE))
            (part ?OBJ1 ?OBJ2))))
Merge.kif 16742-16749 工程組み合わせinstance では %n オブジェクト 工程resource では %n エンティティー 工程result では %n オブジェクト エンティティーpart では は 工程time の existence の beginningduring holds %n{ない} オブジェクト エンティティーpart では %n は 工程time の existence の endduring holds %n{ない}
(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500 ?S))
    (instance ?LD Droplet))
Geography.kif 6874-6880 自己接続オブジェクトLiquidDropinstance では %n approximateDiameter 自己接続オブジェクト and 実数Micrometer(s) 500 は 実数 より less では %n 自己接続オブジェクトDropletinstance では %n
(<=>
    (and
        (instance ?PERSON Human)
        (forall (?ORG)
            (not
                (employs ?ORG ?PERSON))))
    (attribute ?PERSON Unemployed))
Merge.kif 21976-21982 認識エージェント人[人間]instance では %n 代理(人) 代理(人) 認識エージェントemploy ない Unemployed 認識エージェントattribute では %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 オブジェクトParticulateMatterinstance では %n 自己接続オブジェクト オブジェクトpart では %n approximateDiameter 自己接続オブジェクト and 実数Micrometer(s) 10 は 実数 より greater では %n 実数 は 2.5 より greater では %n オブジェクト10 オブジェクト10 は CoarseParticulateMatterinstance では %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 オブジェクトParticulateMatterinstance では %n 自己接続オブジェクト オブジェクトpart では %n approximateDiameter 自己接続オブジェクト and 実数Micrometer(s) 実数 は 2.5 greater では %n オブジェクト25 オブジェクト25 は FineParticulateMatterinstance では %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{ない}
(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))
ComputerInput.kif 1398-1402 エンティティーWindowScrollinginstance では %n エンティティーUserSignifiedGraphicalActioninstance では %n エンティティーWindowScrollingByUserinstance では %n
(<=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?AMOUNT
            (MeasureFn 1
                (SquareUnitFn ?UNIT))))
    (equal ?AMOUNT
        (MultiplicationFn
            (MeasureFn 1 ?UNIT)
            (MeasureFn 1 ?UNIT))))
Geography.kif 3748-3752 測定単位測定単位instance では %n 物理量 は 1 の SquareUnitFn 測定単位(s) と equal では %n 物理量 は 1 の 測定単位(s) + 1 の 測定単位(s) と equal では %n
(<=>
    (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 では %n FinancialAccountFinancialAccountinstance では %n 工程CurrencyFn FinancialAccount から originates %n{ない} 工程 工程Penaltyinstance では %n 工程CurrencyFn FinancialAccountends %n{ない} 工程 工程causes %n{ない} liquidity FinancialAccount and HighLiquidity
(<=>
    (and
        (instance ?X Region)
        (holdsDuring ?T
            (property ?X StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (and
            (airTemperature ?X
                (MeasureFn 298.15 KelvinDegree))
            (barometricPressure ?X
                (MeasureFn 29.530 InchMercury)))))
Weather.kif 1086-1096 エンティティー地域instance では %n エンティティー には attribute StandardAmbientTemperaturePressure %n{ない} は 時間位置during holds %n{ない} airTemperature エンティティー and 298.15 の KelvinDegree(s) barometricPressure エンティティー and 29.530 の InchMercury(s) は 時間位置during holds %n{ない}
(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 22585-22590 PostalPlace PostcodeArealocated して %n PostalPlacePostalPlaceinstance では %n PostcodeAreaPostcodeAreainstance では %n postPostcodeArea PostalPlace and PostcodeArea
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 22558-22563 PostalPlace 都市located して %n PostalPlacePostalPlaceinstance では %n 都市都市instance では %n postCity PostalPlace and 都市
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 22471-22476 PostalPlace Neighborhoodlocated して %n PostalPlacePostalPlaceinstance では %n NeighborhoodNeighborhoodinstance では %n postNeighborhood PostalPlace and Neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22542-22547 PostalPlacelocated して %n PostalPlacePostalPlaceinstance では %n instance では %n postDistrict PostalPlace and
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 22508-22515 PostalPlace 地政学的地域located して %n PostalPlacePostalPlaceinstance では %n 地政学的地域国民instance では %n 地政学的地域DependencyOrSpecialSovereigntyAreainstance では %n postCountry PostalPlace and 地政学的地域

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (and
        (equal
            (AbsoluteValueFn ?NUMBER1) ?NUMBER2)
        (instance ?NUMBER1 RealNumber)
        (instance ?NUMBER2 RealNumber))
    (or
        (and
            (instance ?NUMBER1 NonnegativeRealNumber)
            (equal ?NUMBER1 ?NUMBER2))
        (and
            (instance ?NUMBER1 NegativeRealNumber)
            (equal ?NUMBER2
                (SubtractionFn 0 ?NUMBER1)))))
Merge.kif 7065-7076 実数absolute value 非負実数equal では %n 実数実数instance では %n 非負実数実数instance では %n 実数非負実数instance では %n 実数 非負実数equal では %n 実数負の実数instance では %n 非負実数 は (0 + 実数) と equal では %n
(<=>
    (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 ?COMBINE Combining)
        (resource ?COMBINE ?OBJ1)
        (result ?COMBINE ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?COMBINE))
            (not
                (part ?OBJ1 ?OBJ2)))
        (holdsDuring
            (EndFn
                (WhenFn ?COMBINE))
            (part ?OBJ1 ?OBJ2))))
Merge.kif 16742-16749 工程組み合わせinstance では %n オブジェクト 工程resource では %n エンティティー 工程result では %n オブジェクト エンティティーpart では は 工程time の existence の beginningduring holds %n{ない} オブジェクト エンティティーpart では %n は 工程time の existence の endduring 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 オブジェクトParticulateMatterinstance では %n 自己接続オブジェクト オブジェクトpart では %n approximateDiameter 自己接続オブジェクト and 実数Micrometer(s) 10 は 実数 より greater では %n 実数 は 2.5 より greater では %n オブジェクト10 オブジェクト10 は CoarseParticulateMatterinstance では %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 オブジェクトParticulateMatterinstance では %n 自己接続オブジェクト オブジェクトpart では %n approximateDiameter 自己接続オブジェクト and 実数Micrometer(s) 実数 は 2.5 greater では %n オブジェクト25 オブジェクト25 は FineParticulateMatterinstance では %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{ない}
(<=>
    (and
        (instance ?X Region)
        (holdsDuring ?T
            (property ?X StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (and
            (airTemperature ?X
                (MeasureFn 298.15 KelvinDegree))
            (barometricPressure ?X
                (MeasureFn 29.530 InchMercury)))))
Weather.kif 1086-1096 エンティティー地域instance では %n エンティティー には attribute StandardAmbientTemperaturePressure %n{ない} は 時間位置during holds %n{ない} airTemperature エンティティー and 298.15 の KelvinDegree(s) barometricPressure エンティティー and 29.530 の InchMercury(s) は 時間位置during holds %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 ?H LiteracyAttribute)
    (and
        (hasSkill Reading ?H)
        (hasSkill Writing ?H)))
Mid-level-ontology.kif 12703-12707 LiteracyAttribute 代理(人)attribute では %n 代理(人)読み をする skill が %n{ない} 代理(人)執筆 をする skill が %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 工程 工程 オブジェクトMakingMusicinstance では %n 工程MakingMusicinstance では %n 工程MakingMusicinstance では %n 工程 オブジェクト% の subprocess では %n 工程 オブジェクト% の subprocess では %n 工程 工程equal では 工程 オブジェクト と同時に occurs %n{ない} 工程 オブジェクト と同時に occurs %n{ない}
(<=>
    (attribute ?WATER OpenSea)
    (forall (?LAND)
        (and
            (instance ?AREA SaltWaterArea)
            (not
                (instance ?WATER LandlockedWater))
            (distance ?LAND ?WATER ?DIST)
            (greaterThan ?DIST
                (MeasureFn 5 NauticalMile)))))
Geography.kif 4408-4415 OpenSea オブジェクトattribute では %n 物理 エンティティー塩水地域instance では %n オブジェクトLandlockedWaterinstance では 物理 オブジェクトdistance 長さ測定 では %n 長さ測定 は 5 の NauticalMile(s) より greater では %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 リストlengthequal では %n リスト の 1th element リスト の 1th elementequal では %n 正の整数 正の整数 リストlengthequal では %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 FinancialAccountinstance では %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 オブジェクト BeliefGroupmember では %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{ない}
(<=>
    (compressionRatio ?E ?R)
    (and
        (minCylinderVolume ?E
            (MeasureFn ?MIN ?M))
        (maxCylinderVolume ?E
            (MeasureFn ?MAX ?M))
        (equal ?R
            (DivisionFn ?MIN ?MAX))))
Cars.kif 1917-1922 compressionRatio Engine and 実数 minCylinderVolume Engine and 実数 測定単位(s) maxCylinderVolume Engine and 測定単位AX の 測定単位(s) 実数 実数 + 測定単位AX と equal では %n
(<=>
    (connects ?OBJ1 ?OBJ2 ?OBJ3)
    (and
        (connected ?OBJ1 ?OBJ2)
        (connected ?OBJ1 ?OBJ3)
        (not
            (connected ?OBJ2 ?OBJ3))))
Merge.kif 13235-13241 オブジェクト オブジェクト オブジェクトconnects %n{ない} オブジェクト オブジェクトconnected して オブジェクト オブジェクトconnected して オブジェクト オブジェクトconnected して
(<=>
    (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{ない}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(containsInformation
    (forall (?AGENT ?VOTER ?ELECTION ?VOTING)
        (=>
            (and
                (instance ?ELECTION
                    (ElectionFn ?AGENT))
                (instance ?VOTING
                    (VotingFn ?ELECTION))
                (agent ?VOTING ?VOTER))
            (attribute ?VOTER Male))) ExclusiveMaleSuffrage)
Government.kif 1202-1209 ?AGENT ?VOTER, ?ELECTION and ?VOTING ExclusiveMaleSuffrage の情報を contains %n{ない}
(containsInformation
    (forall (?COUNTRY ?ELECTION ?VOTING ?VOTER)
        (=>
            (and
                (instance ?COUNTRY Nation)
                (instance ?ELECTION
                    (ElectionFn ?COUNTRY))
                (instance ?VOTING
                    (VotingFn ?ELECTION))
                (agent ?VOTING ?VOTER))
            (citizen ?VOTER ?COUNTRY))) VoterCitizenshipRequirement)
Government.kif 916-924 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER VoterCitizenshipRequirement の情報を contains %n{ない}
(containsInformation
    (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?AGENT ?POLITY)
                (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
                (age ?AGENT ?AGE)
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (capability
                (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw)
Government.kif 1069-1078 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE UniversalSuffrageLaw の情報を contains %n{ない}
(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{ない}
(decreasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS)
        (instance ?SAMPLE ?SUBSTANCE)
        (instance ?THERAPY ?PROCESS)
        (experiencer ?THERAPY ?ORGANISM)
        (patient ?THERAPY ?SUBSTANCE))
    (attribute ?ORGANISM ?SYMPTOM))
WMD.kif 870-878 biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE は ?SUBSTANCE の instance では %n ?THERAPY は ?PROCESS の instance では %n ?ORGANISM が ?THERAPY を experiences %n{ない} ?SUBSTANCE は ?THERAPY の patient では %n は ?SYMPTOM は ?ORGANISM の attribute では %n を decreases 可能性がある
(equal
    (AvailableForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))
Military.kif 867-876 AvailableForMilitaryServiceMaleFn 地政学的地域 エンティティー classinstances の数 と equal では %n
(equal
    (ChildrenBornPerWomanFn ?AREA
        (YearFn ?YEAR))
    (CardinalityFn
        (KappaFn ?INFANT
            (and
                (instance ?BIRTH Birth)
                (experiencer ?BIRTH ?INFANT)
                (agent ?BIRTH ?WOMAN)
                (instance ?WOMAN Human)
                (attribute ?WOMAN Female)
                (holdsDuring
                    (YearFn ?YEAR)
                    (inhabits ?WOMAN ?AREA))))))
People.kif 462-472 ChildrenBornPerWomanFn 地政学的地域 and 整数 year 目 は エンティティー classinstances の数 と equal では %n
(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (instance ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))
Military.kif 890-901 FitForMilitaryServiceMaleFn 地政学的地域 エンティティー classinstances の数 と equal では %n
(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))
People.kif 49-54 PopulationFn 地政学的地域 エンティティー classinstances の数 と equal では %n
(equal
    (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (equal ?AGEMINUSONE
                    (SubtractionFn ?AGE 1))
                (holdsDuring ?YEAR
                    (or
                        (age ?PERSON ?AGEMINUSONE)
                        (age ?PERSON ?AGE)))
                (equal ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))
Military.kif 928-941 ReachingMilitaryAgeAnnuallyMaleFn 地政学的地域 and エンティティー classinstances の数 と equal では %n
(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer SortimoCorp ?T)))
Cars.kif 5080-5083 代理(人) 代理(人)HandToolBoxsubclass では %n manufacturer SortimoCorp and 代理(人)
(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 時間間隔JesusOfNazarethtime の existence を finishes %n{ない} 時間間隔TwelveApostlestime の existence を starts %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 は Downloadinginstance では %n iBookstore は ?D の instrument では %n ?T は テキストinstance では %n objectTransferred ?D and ?T の 目的 %n{ない}
(increasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE)
        (instance ?PROCESS ?PROCESSTYPE)
        (experiencer ?PROCESS ?ORGANISM))
    (attribute ?ORGANISM ?SYMPTOM))
WMD.kif 761-767 biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE ?PROCESS は ?PROCESSTYPE の instance では %n ?ORGANISM が ?PROCESS を experiences %n{ない} は ?SYMPTOM は ?ORGANISM の attribute では %n の 可能性を increases %n{ない}
(not
    (and
        (hasGUEState ?WINDOW GUE_NonVisibleState)
        (hasGUEState ?WINDOW GUE_ActiveState)
        (instance ?WINDOW InterfaceWindow)))
ComputerInput.kif 1599-1603 ~{ hasGUEState GUIElement and GUE_NonVisibleState } ~{ hasGUEState GUIElement and GUE_ActiveState } ~{ GUIElementInterfaceWindowinstance では %n }
(not
    (and
        (instance ?CURSOR Cursor)
        (hasGUEState ?CURSOR GUE_SelectedState)))
ComputerInput.kif 1776-1779 ~{ GUIElementCursorinstance では %n } ~{ hasGUEState GUIElement and GUE_SelectedState }
(not
    (and
        (instance ?CURSOR MouseCursor)
        (hasGUEState ?CURSOR GUE_ActiveState)))
ComputerInput.kif 1544-1547 ~{ GUIElementMouseCursorinstance では %n } ~{ hasGUEState GUIElement and GUE_ActiveState }
(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つの別々のグラフに分割するパスの setinstance では %n グラフパス グラフ を2つの別々のグラフに分割する最小パスの setinstance では %n グラフパスlength 正の整数 では %n グラフパスlength 正の整数 では %n 正の整数 正の整数 より less では %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