forall - Sigma Knowledge base Browser

antecedent

(<=> (holdsDuring ?T (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON))))) (holdsDuring ?T (attribute ?PERSON Unemployed)))	Merge.kif 17429-17437	エンティティーは人［人間］の instance ではエンティティーエンティティーはエンティティーを employ ないは時間位置の during holds Unemployed はエンティティーの attribute ではは時間位置の during holds
(=> (and (climateTypeInArea ?AREA ColdClimateZone) (forall (?MO) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))))) (greaterThan 10.0 ?TEMP))	Geography.kif 1686-1694	climateTypeInArea 地理的地域 and ColdClimateZone 時間間隔時間間隔は月の instance では averageTemperatureForPeriod 地理的地域, 時間間隔 and 実数の CelsiusDegree(s) 10.0 は実数より greater では
(=> (and (equal (PathWeightFn ?PATH) ?SUM) (graphPart ?ARC1 ?PATH) (graphPart ?ARC2 ?PATH) (arcWeight ?ARC1 ?NUMBER1) (arcWeight ?ARC2 ?NUMBER2) (forall (?ARC3) (=> (graphPart ?ARC3 ?PATH) (or (equal ?ARC3 ?ARC1) (equal ?ARC3 ?ARC2))))) (equal (PathWeightFn ?PATH) (AdditionFn ?NUMBER1 ?NUMBER2)))	Merge.kif 6018-6031	equal グラフパスの value and 実数グラフアークはグラフパスの part ではグラフアークはグラフパスの part ではグラフアークの value は実数ではグラフアークの value は実数ではグラフ要素グラフ要素はグラフパスの part では equal グラフ要素 and グラフアーク equal グラフ要素 and グラフアーク equal グラフパスの value and ( 実数 + 実数)
(=> (and (equal (PathWeightFn ?PATH) ?SUM) (subGraph ?SUBPATH ?PATH) (graphPart ?ARC1 ?PATH) (arcWeight ?ARC1 ?NUMBER1) (forall (?ARC2) (=> (graphPart ?ARC2 ?PATH) (or (graphPart ?ARC2 ?SUBPATH) (equal ?ARC2 ?ARC1))))) (equal ?SUM (AdditionFn (PathWeightFn ?SUBPATH) ?NUMBER1)))	Merge.kif 6004-6016	equal グラフパスの value and 実数グラフパスはグラフパスの subgraph ではグラフアークはグラフパスの part ではグラフアークの value は実数ではグラフ要素グラフ要素はグラフパスの part ではグラフ要素はグラフパスの part では equal グラフ要素 and グラフアーク equal 実数 and ( グラフパスの value + 実数)
(=> (and (instance ?AUCTIONS Collection) (forall (?AUC) (=> (member ?AUC ?AUCTIONS) (instance ?AUC Auctioning)))) (exists (?AMOUNT ?TOTAL_PURCHASE_AMOUNT) (and (total (KappaFn ?AMOUNT (transactionAmount ?AUC ?AMOUNT)) ?TOTAL_PURCHASE_AMOUNT) (equal (AuctionGMBFn ?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT))))	UXExperimentalTerms.kif 3202-3215	コレクションはコレクションの instance では物理物理はコレクションの member では物理は Auctioning の instance では記号文字列エンティティー_PURCHASE_AMOUNT total 記号文字列で記述される class and エンティティー_PURCHASE_AMOUNT equal AuctionGMBFn コレクション and エンティティー_PURCHASE_AMOUNT
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER FinancialTransaction)))) (exists (?ITEM ?BUYING) (equal (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Physical) (instance ?BUYING Buying) (member ?BUYING ?COLL) (patient ?BUYING ?ITEM)))) (BoughtItemsFn ?COLL))))	UXExperimentalTerms.kif 2887-2903	コレクションはコレクションの instance では物理物理はコレクションの member では物理は金融取引の instance では記号文字列エンティティー equal 記号文字列で記述される class の instances の数 and BoughtItemsFn コレクション
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (equal (DivisionFn (CardinalityFn (exists (?LISTING ?SITE ?ITEM) (KappaFn ?LISTING (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (instance ?ITEM Physical) (member ?LISTING ?COLL) (patient ?LISTING ?ITEM) (hostedOn ?LISTING ?SITE) (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?ITEM) (eCommerceSite ?BUYING ?SITE))))))) (CardinalityFn ?COLL)) (BidCountFn ?COLL)))	UXExperimentalTerms.kif 2845-2870	コレクションはコレクションの instance では物理物理はコレクションの member では物理は WebListing の instance では equal エンティティーエンティティー and エンティティーエンティティーで記述される class の instances の数 + コレクションの instances の数 and BidCountFn コレクション
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (exists (?BIDDING ?ITEM ?LISTING ?BIDDING) (equal (CardinalityFn (KappaFn ?BIDDING (and (instance ?ITEM Physical) (instance ?LISTING WebListing) (instance ?BIDDING Bidding) (member ?LISTING ?COLL) (objectOfBid ?BIDDING ?ITEM) (patient ?LISTING ?ITEM)))) (BidCountFn ?COLL))))	UXExperimentalTerms.kif 2922-2940	コレクションはコレクションの instance では物理物理はコレクションの member では物理は WebListing の instance では記号文字列エンティティー, エンティティー and 記号文字列 equal 記号文字列で記述される class の instances の数 and BidCountFn コレクション
(=> (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?AGENT AutonomousAgent) (instance ?LISTING WebListing) (instance ?TIME TimePoint) (listingSeller ?LISTING ?AGENT) (not (member ?LISTING ?COLL)) (forall (?ITEM ?MEMBER) (and (=> (and (instance ?ITEM WebListing) (member ?ITEM (SellersItemsFn ?AGENT ?SITE)) (temporalPart ?TIME (WhenFn ?ITEM)) (not (equal ?ITEM ?LISTING))) (member ?ITEM ?COLL)) (=> (member ?MEMBER ?COLL) (and (temporalPart ?TIME (WhenFn ?ITEM)) (instance ?MEMBER WebListing)))))) (equal (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))	UXExperimentalTerms.kif 1033-1060	コレクションはコレクションの instance では WebSite は WebSite の instance では AutonomousAgent は AutonomousAgent の instance では WebListing は WebListing の instance では時点は時点の instance では listingSeller WebListing and AutonomousAgent WebListing はコレクションの member では物理物理物理は WebListing の instance では物理は SellersItemsFn AutonomousAgent and WebSite の member では時点は物理の time の existence の part では equal 物理 and WebListing 物理はコレクションの member では物理はコレクションの member では時点は物理の time の existence の part では物理は WebListing の instance では equal SellersOtherItemsFn AutonomousAgent, WebSite, WebListing and 時点 and コレクション
(=> (and (instance ?PURCHASES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?PURCHASES) (instance ?MEMBER Buying))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?BUYER ?BUYING) (=> (and (instance ?BUYER AutonomousAgent) (instance ?BUYING Buying) (member ?BUYING ?PURCHASES) (agent ?BUYING ?BUYER)) (located ?BUYER ?REGION)))))) (exists (?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT) (and (total (KappaFn ?AMOUNT (and (instance ?PURCHASE Buying) (member ?PURCHASE ?PURCHASES) (transactionAmount ?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT) (equal (GMBFn ?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))	UXExperimentalTerms.kif 2956-2983	コレクションはコレクションの instance では物理物理はコレクションの member では物理は購買の instance ではオブジェクトオブジェクトは地政学的地域の instance では AutonomousAgent 工程 AutonomousAgent は AutonomousAgent の instance では工程は購買の instance では工程はコレクションの member では AutonomousAgent は工程の agent では AutonomousAgent はオブジェクトに located して記号文字列エンティティー and エンティティー_PURCHASE_AMOUNT total 記号文字列で記述される class and エンティティー_PURCHASE_AMOUNT equal GMBFn コレクション and エンティティー_PURCHASE_AMOUNT
(=> (and (instance ?SALES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?SALES) (instance ?MEMBER Selling))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?SELLER ?SELLING) (=> (and (instance ?SELLER AutonomousAgent) (instance ?SELLING Buying) (member ?SELLING ?SALES) (agent ?SELLING ?SELLER)) (located ?SELLER ?REGION)))))) (exists (?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT) (and (total (KappaFn ?AMOUNT (and (instance ?SALE Selling) (member ?SALE ?SALES) (transactionAmount ?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT) (equal (GMVFn ?SALES) ?TOTAL_SALE_AMOUNT))))	UXExperimentalTerms.kif 2999-3026	コレクションはコレクションの instance では物理物理はコレクションの member では物理は販売の instance ではオブジェクトオブジェクトは地政学的地域の instance では AutonomousAgent 工程 AutonomousAgent は AutonomousAgent の instance では工程は購買の instance では工程はコレクションの member では AutonomousAgent は工程の agent では AutonomousAgent はオブジェクトに located して記号文字列エンティティー and エンティティー_SALE_AMOUNT total 記号文字列で記述される class and エンティティー_SALE_AMOUNT equal GMVFn コレクション and エンティティー_SALE_AMOUNT
(=> (and (instance ?SEAT AuditoriumSeat) (part ?SEAT ?AUDITORIUM) (part ?STAGE ?AUDITORIUM) (instance ?AUDITORIUM Auditorium) (instance ?STAGE PerformanceStage) (located ?PERSON ?SEAT) (instance ?PERSON Human) (subclass ?SEE Seeing) (forall (?INST) (=> (instance ?INST ?SEE) (patient ?INST ?STAGE)))) (capability ?SEE agent ?PERSON))	Mid-level-ontology.kif 8512-8526	オブジェクトは AuditoriumSeat の instance ではオブジェクトはオブジェクトの part ではオブジェクトはオブジェクトの part ではオブジェクトは Auditorium の instance ではオブジェクトは PerformanceStage の instance ではオブジェクトはオブジェクトに located してオブジェクトは人［人間］の instance では工程は見ることの subclass では工程工程は工程の instance ではオブジェクトは工程の patient ではオブジェクトは工程を agent として行う capable では
(=> (and (instance ?VISITOR Human) (instance ?COLL Collection) (forall (?EXPERIMENT ?EVENT) (=> (exists (?CLASS) (and (instance ?EXPERIMENT Experimenting) (instance ?EVENT Process) (member ?EVENT (QualifyingEventsFn ?EXPERIMENT)) (instance ?EVENT ?CLASS) (capability ?CLASS experiencer ?VISITOR))) (member ?EVENT ?COLL))) (=> (member ?PROC ?COLL) (and (instance ?PROC Process) (exists (?EXP ?PROCESS) (and (instance ?EXP Experimenting) (member ?PROC (QualifyingEventsFn ?EXP)) (instance ?PROC ?PROCESS) (capability ?PROCESS experiencer ?VISITOR)))))) (equal (QualifiedTreatmentsFn ?VISITOR) ?COLL))	UXExperimentalTerms.kif 4241-4267	人［人間］は人［人間］の instance ではコレクションはコレクションの instance では Experimenting 物理工程 Experimenting は Experimenting の instance では物理は工程の instance では物理は QualifyingEventsFn Experimenting の member では物理は工程の instance では人［人間］は工程を experiencer として行う capable では物理はコレクションの member では物理はコレクションの member では物理は工程の instance では Experimenting 物理ESS Experimenting は Experimenting の instance では物理は QualifyingEventsFn Experimenting の member では物理は物理ESS の instance では人［人間］は物理ESS を experiencer として行う capable では equal QualifiedTreatmentsFn 人［人間］ and コレクション
(=> (and (instance ?VISITOR Human) (instance ?QPVIEWS Collection) (forall (?PAGE ?ACCESSING ?EXPERIMENT) (=> (and (instance ?PAGE WebPage) (instance ?ACCESSING AccessingWebPage) (instance ?EXPERIMENT Experimenting) (agent ?ACCESSING ?VISITOR) (patient ?ACCESSING ?PAGE) (treatedPage ?PAGE ?EXPERIMENT)) (member ?ACCESSING ?QPVIEWS)))) (equal ?QPVIEWS (QPViewsFn ?VISITOR)))	UXExperimentalTerms.kif 4175-4190	人［人間］は人［人間］の instance ではコレクションはコレクションの instance では WebPage 工程 and Experimenting WebPage は WebPage の instance では工程は AccessingWebPage の instance では Experimenting は Experimenting の instance では人［人間］は工程の agent では WebPage は工程の patient では treatedPage WebPage and Experimenting 工程はコレクションの member では equal コレクション and QPViewsFn 人［人間］
(=> (and (instance ?VISITS Collection) (instance ?HYPERLINK HypertextLink) (forall (?ACCESSING) (and (member ?ACCESSING ?PAGE) (and (instance ?ACCESSING AccessingWebPage) (component ?PAGE ?HYPERLINK))))) (exists (?CLICKS) (and (instance ?CLICKS Collection) (forall (?CLICK) (=> (and (instance ?CLICK RequestingHyperlink) (patient ?CLICK ?HYPERLINK)) (member ?CLICK ?CLICKS))) (equal (ClickThroughRateFn ?VISITS ?HYPERLINK) (DivisionFn (CardinalityFn ?CLICKS) (CardinalityFn ?VISITS))))))	UXExperimentalTerms.kif 3333-3356	コレクションはコレクションの instance では微粒子オブジェクトは HypertextLink の instance では物理物理はコレクションの member では物理は AccessingWebPage の instance ではコレクションは微粒子オブジェクトの component ではコレクションコレクションはコレクションの instance では工程工程は RequestingHyperlink の instance では微粒子オブジェクトは工程の patient では工程はコレクションの member では equal ClickThroughRateFn コレクション and 微粒子オブジェクト and コレクションの instances の数 + コレクションの instances の数
(=> (and (instance ?VISITS Collection) (instance ?PURCHASES Collection) (subCollection ?PURCHASES ?VISITS) (forall (?MEMBER) (=> (member ?MEMBER ?VISITS) (instance ?MEMBER AccessingWebPage))) (forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE) (=> (and (instance ?VISITOR Human) (instance ?BUYING Buying) (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (member ?ACCESSING ?VISITS) (destination ?ACCESSING ?PAGE) (agent ?BUYING ?VISITOR) (agent ?ACCESSING ?VISITOR) (during (WhenFn ?BUYING) (WhenFn ?ACCESSING)) (instrument ?BUYING ?PAGE)) (member ?BUYING ?PURCHASES)))) (exists (?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL) (equal (SCRFn ?VISITS ?INTERVAL) (DivisionFn (CardinalityFn (KappaFn ?PURCHASE_IN_INTERVAL (and (member ?PURCHASE_IN_INTERVAL ?PURCHASES) (during (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL)))) (CardinalityFn (KappaFn ?VISIT_IN_INTERVAL (and (member ?VISIT_IN_INTERVAL ?VISITS) (during (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))	UXExperimentalTerms.kif 3668-3704	コレクションはコレクションの instance ではコレクションはコレクションの instance ではコレクションはコレクションの適切な sub-collection では物理物理はコレクションの member では物理は AccessingWebPage の instance では工程 AutonomousAgent, 工程, 工程 and オブジェクト AutonomousAgent は人［人間］の instance では工程は購買の instance では工程は AccessingWebPage の instance ではオブジェクトは WebPage の instance では工程はコレクションの member では工程はオブジェクトに ends AutonomousAgent は工程の agent では AutonomousAgent は工程の agent では工程の time の existence は工程の time の existence の during に takes オブジェクトは工程の instrument では工程はコレクションの member では時間間隔エンティティー_IN_INTERVAL and エンティティー_IN_INTERVAL equal SCRFn コレクション and 時間間隔 and エンティティー_IN_INTERVALで記述される class の instances の数 + エンティティー_IN_INTERVALで記述される class の instances の数

consequent

(<=> (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 357-390	年は年EAR year 目の instance では equal MaleLifeExpectancyAtBirthFn 地政学的地域 and 年 and 実数リスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance ではリストの length は整数の instance ではリストITEM リストITEM はリストの member ではリストITEM は記号文字列の instance ではエンティティーエンティティーは記号文字列の instance ではエンティティーはリストの member では equal 整数 and 記号文字列で記述される class の instances の数 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 403-436	年は整数 year 目の instance では equal FemaleLifeExpectancyAtBirthFn 地政学的地域 and 年 and 実数リスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance ではリストの length は整数の instance ではリストITEM リストITEM はリストの member ではリストITEM は記号文字列の instance ではエンティティーエンティティーは記号文字列の instance ではエンティティーはリストの member では equal 整数 and 記号文字列で記述される class の instances の数 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 310-342	年は整数 year 目の instance では equal LifeExpectancyAtBirthFn 地政学的地域 and 年 and 実数リスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance ではリストの length は整数の instance ではリストITEM リストITEM はリストの member ではリストITEM は記号文字列の instance ではエンティティーエンティティーは記号文字列の instance ではエンティティーはリストの member では equal 整数 and 記号文字列で記述される class の instances の数 average リスト and 実数
(<=> (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 272-293	average リスト and 実数リスト正の整数 equal リストの length and リストの length equal リストの 1th element and リストの 1th element 正の整数正の整数はリストの member では実数実数MINUSONE, 正の整数 and 正の整数実数は 1 より greater では　実数はリストの length より less または同等では equal リストの正の整数th element and 実数正の整数はリストの member では equal 実数 and リストの正の整数th element 正の整数はリストの member では equal 実数MINUSONE and ( 実数 + 1) equal 実数MINUSONE and リストの正の整数th element equal 正の整数 and ( 正の整数 + 正の整数) equal 正の整数 and リストの length equal 実数 and リストの正の整数th element + 正の整数
(<=> (larger ?OBJ1 ?OBJ2) (forall (?QUANT1 ?QUANT2 ?UNIT) (=> (and (measure ?OBJ1 (MeasureFn ?QUANT1 ?UNIT)) (measure ?OBJ2 (MeasureFn ?QUANT2 ?UNIT)) (instance ?UNIT UnitOfLength)) (greaterThan ?QUANT1 ?QUANT2))))	Merge.kif 7843-7851	オブジェクトはオブジェクトよりも larger 実数実数 and 測定単位オブジェクトの measure は実数の測定単位(s) ではオブジェクトの measure は実数の測定単位(s) では測定単位は UnitOfLength の instance では実数は実数より greater では
(<=> (subCollection ?COLL1 ?COLL2) (forall (?MEMBER) (=> (member ?MEMBER ?COLL1) (member ?MEMBER ?COLL2))))	Merge.kif 1307-1312	コレクションはコレクションの適切な sub-collection では物理物理はコレクションの member では物理はコレクションの member では
(=> (allRoomsPhysicalAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ))))	Hotel.kif 171-176	allRoomsPhysicalAmenity RoomInventory and 物理 HotelUnit memberType RoomInventory and HotelUnit roomAmenity HotelUnit and 物理
(=> (allRoomsPolicy ?INV ?POLICY) (forall (?X) (=> (memberType ?INV ?X) (roomPolicy ?X ?POLICY))))	Hotel.kif 233-238	allRoomsPolicy RoomInventory and Policy HotelUnit memberType RoomInventory and HotelUnit roomPolicy HotelUnit and Policy
(=> (allRoomsServiceAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ))))	Hotel.kif 218-223	allRoomsServiceAmenity RoomInventory and 物理 HotelUnit memberType RoomInventory and HotelUnit roomAmenity HotelUnit and 物理
(=> (and (attribute ?OBJ ?SPHERE) (instance ?SPHERE Sphere)) (exists (?CENTER ?DIST) (forall (?PT) (=> (pointOfFigure ?PT ?OBJ) (geometricDistance ?PT ?CENTER ?DIST)))))	Mid-level-ontology.kif 5927-5935	属性はオブジェクトの attribute では属性は Sphere の instance では GeometricPoint 長さ測定 GeometricPoint GeometricPoint の vertex はオブジェクトでは geometricDistance GeometricPoint, GeometricPoint and 長さ測定
(=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR))))	Merge.kif 17871-17880	Monochromatic はオブジェクトの attribute ではオブジェクトはオブジェクトの superficial 部分では属性はオブジェクトの attribute では属性は原色の instance ではオブジェクトオブジェクトはオブジェクトの superficial 部分では属性はオブジェクトの attribute では
(=> (and (citizen ?AGENT ?POLITY) (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY))) (confersRight (forall (?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?AGENT))	Government.kif 1094-1114	人［人間］は国民% の citizen では UniversalSuffrageLaw は RegionalLawFn 国民の sub-proposition では RegionalLawFn 国民は人［人間］がエンティティーエンティティー and エンティティー人［人間］は国民% の citizen では suffrageAgeMinimum 国民 and エンティティーの YearDuration(s) 人［人間］の age はエンティティーの YearDuration(s) ではエンティティーはエンティティー greater では　エンティティーは ElectionFn 国民の instance ではエンティティーエンティティーは VotingFn エンティティーの instance では人［人間］はエンティティーの agent ではのタスクを実行することはを allows
(=> (and (element ?X (PropertyFn ?HOTEL)) (instance ?X RoomInventory)) (forall (?Y) (=> (member ?Y ?X) (element ?Y (PropertyFn ?HOTEL)))))	Hotel.kif 147-154	コレクションは AutonomousAgent の belongings の element コレクションは RoomInventory の instance では物理物理はコレクションの member では物理は AutonomousAgent の belongings の element
(=> (and (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (not (equal ?NUMBER 0))) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?ELEMENT ?NUMBER) 0))))	Merge.kif 4889-4900	equal @ROW の greatest 公約数 and 整数 equal 整数 and 0 整数整数は (@ROW) の member では equal 整数を整数で割った剰余数 and 0
(=> (and (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (not (equal ?NUMBER 0))) (not (exists (?GREATER) (and (greaterThan ?GREATER ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?ELEMENT ?GREATER) 0)))))))	Merge.kif 4902-4916	equal @ROW の greatest 公約数 and 整数 equal 整数 and 0 整数整数は整数より greater では　整数整数は (@ROW) の member では equal 整数を整数で割った剰余数 and 0
(=> (and (equal (LeastCommonMultipleFn @ROW) ?NUMBER) (not (equal ?NUMBER 0))) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?NUMBER ?ELEMENT) 0))))	Merge.kif 4974-4984	equal @ROW の least 公倍数 and 整数 equal 整数 and 0 整数整数は (@ROW) の member では equal 整数を整数で割った剰余数 and 0
(=> (and (equal (LeastCommonMultipleFn @ROW) ?NUMBER) (not (equal ?NUMBER 0))) (not (exists (?LESS) (and (lessThan ?LESS ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?LESS ?ELEMENT) 0)))))))	Merge.kif 4986-5000	equal @ROW の least 公倍数 and 整数 equal 整数 and 0 整数整数は整数より less では整数整数は (@ROW) の member では equal 整数を整数で割った剰余数 and 0
(=> (and (equal ?D (AlbumCopiesFn ?A ?DS)) (instance ?X ?D)) (forall (?S) (=> (inList ?S ?A) (exists (?C) (and (copy ?C ?S) (stored ?C ?X))))))	Music.kif 938-948	equal DataStorageDevice and AlbumCopiesFn Album and DataStorageDeviceS DataStorageDevice は DataStorageDevice の instance ではオブジェクトオブジェクトは Album の member ではコンテンツベアリングオブジェクトコンテンツベアリングオブジェクトはオブジェクトの copy では stored コンテンツベアリングオブジェクト and DataStorageDevice
(=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ))))	Merge.kif 10032-10039	HoleRegion は自己接続オブジェクトの hole では HoleRegion は自己接続オブジェクトの hole では HoleRegion HoleRegion は HoleRegion と HoleRegion の union の part では HoleRegion は自己接続オブジェクトの hole では
(=> (and (instance ?AGENT AutonomousAgent) (instance ?SITE WebSite)) (exists (?COLL) (and (instance ?COLL Collection) (forall (?LISTING) (=> (and (instance ?LISTING WebListing) (hostedOn ?LISTING ?SITE) (listingSeller ?LISTING ?AGENT)) (member ?LISTING ?COLL))) (equal (SellersItemsFn ?AGENT ?SITE) ?COLL))))	UXExperimentalTerms.kif 992-1008	AutonomousAgent は AutonomousAgent の instance では WebSite は WebSite の instance ではコレクションコレクションはコレクションの instance では WebListing WebListing は WebListing の instance では hostedOn WebListing and WebSite listingSeller WebListing and AutonomousAgent WebListing はコレクションの member では equal SellersItemsFn AutonomousAgent and WebSite and コレクション
(=> (and (instance ?CHIN Chin) (instance ?FACE Face) (part ?CHIN ?FACE)) (forall (?PART) (=> (and (part ?PART ?FACE) (not (part ?PART ?CHIN))) (orientation ?PART ?CHIN Below))))	Mid-level-ontology.kif 14261-14272	オブジェクトは Chin の instance ではオブジェクトは Face の instance ではオブジェクトはオブジェクトの part ではオブジェクトオブジェクトはオブジェクトの part ではオブジェクトはオブジェクトの part ではオブジェクトは Below 対オブジェクトでは
(=> (and (instance ?G Grinding) (patient ?G ?O) (instance ?O CorpuscularObject)) (holdsDuring (EndFn (WhenFn ?G)) (exists (?C) (and (result ?G ?C) (instance ?C Collection) (forall (?M) (=> (member ?M ?C) (part ?M ?O)))))))	Food.kif 1013-1027	工程は Grinding の instance ではエンティティーは工程の patient ではエンティティーは微粒子オブジェクトの instance ではエンティティーエンティティーは工程の result ではエンティティーはコレクションの instance ではエンティティーエンティティーはエンティティーの member ではエンティティーはエンティティーの part ではは工程の time の existence の end の during holds
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWBUYERS) (and (instance ?NEWBUYERS Collection) (forall (?AGENT) (=> (member ?AGENT ?NEWBUYERS) (and (exists (?BUYING) (and (instance ?AGENT AutonomousAgent) (instance ?BUYING Buying) (agent ?BUYING ?AGENT) (instrument ?BUYING ?SITE) (during ?BUYING ?INTERVAL))) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (exists (?BUYING_BEFORE) (and (instance ?BUYING_BEFORE Buying) (agent ?BUYING_BEFORE ?AGENT) (instrument ?BUYING_BEFORE ?SITE) (during ?BUYING_BEFORE ?INTERVAL)))))))))) (equal (SiteWideNewBuyersFn ?INTERVAL ?SITE) ?NEWBUYERS))))	UXExperimentalTerms.kif 3376-3408	時間間隔は時間間隔の instance では WebSite は WebSite の instance ではコレクションコレクションはコレクションの instance では AutonomousAgent AutonomousAgent はコレクションの member では時間間隔 AutonomousAgent は AutonomousAgent の instance では時間間隔は購買の instance では AutonomousAgent は時間間隔の agent では WebSite は時間間隔の instrument では時間間隔は時間間隔の during に takes 時間間隔_BEFORE 時間間隔_BEFORE は時間間隔の instance では時間間隔_BEFORE は時間間隔より earlier happens 時間間隔_BEFORE 時間間隔_BEFORE は購買の instance では AutonomousAgent は時間間隔_BEFORE の agent では WebSite は時間間隔_BEFORE の instrument では時間間隔_BEFORE は時間間隔の during に takes は時間間隔_BEFORE の during holds equal SiteWideNewBuyersFn 時間間隔 and WebSite and コレクション
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWREGISTRATIONS) (and (instance ?NEWREGISTRATIONS Collection) (forall (?USER) (=> (and (instance ?USER Human) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (registeredUser ?USER ?SITE))))) (exists (?INTERVAL_DURING) (and (instance ?INTERVAL_DURING TimeInterval) (during ?INTERVAL_DURING ?INTERVAL) (holdsDuring ?INTERVAL (registeredUser ?USER ?SITE))))) (member ?USER ?NEWREGISTRATIONS))) (equal ?NEWREGISTRATIONS (SiteWideNewRegistrationsFn ?INTERVAL ?SITE)))))	UXExperimentalTerms.kif 3428-3455	時間間隔は時間間隔の instance では WebSite は WebSite の instance ではコレクションコレクションはコレクションの instance では物理物理は人［人間］の instance では時間間隔_BEFORE 時間間隔_BEFORE は時間間隔の instance では時間間隔_BEFORE は時間間隔より earlier happens registeredUser 物理 and WebSite は時間間隔_BEFORE の during holds 時間間隔_DURING 時間間隔_DURING は時間間隔の instance では時間間隔_DURING は時間間隔の during に takes registeredUser 物理 and WebSite は時間間隔の during holds 物理はコレクションの member では equal コレクション and SiteWideNewRegistrationsFn 時間間隔 and WebSite
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWSELLERS) (and (instance ?NEWSELLERS Collection) (forall (?AGENT) (=> (member ?AGENT ?NEWSELLERS) (and (exists (?SELLING) (and (instance ?AGENT AutonomousAgent) (instance ?SELLING Selling) (agent ?SELLING ?AGENT) (instrument ?SELLING ?SITE) (during ?SELLING ?INTERVAL))) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (exists (?SELLING_BEFORE) (and (instance ?SELLING_BEFORE Selling) (agent ?SELLING_BEFORE ?AGENT) (instrument ?SELLING_BEFORE ?SITE) (during ?SELLING_BEFORE ?INTERVAL)))))))))) (equal (SiteWideNewSellersFn ?INTERVAL ?SITE) ?NEWSELLERS))))	UXExperimentalTerms.kif 3475-3507	時間間隔は時間間隔の instance では WebSite は WebSite の instance ではコレクションコレクションはコレクションの instance では AutonomousAgent AutonomousAgent はコレクションの member では時間間隔 AutonomousAgent は AutonomousAgent の instance では時間間隔は販売の instance では AutonomousAgent は時間間隔の agent では WebSite は時間間隔の instrument では時間間隔は時間間隔の during に takes 時間間隔_BEFORE 時間間隔_BEFORE は時間間隔の instance では時間間隔_BEFORE は時間間隔より earlier happens 時間間隔_BEFORE 時間間隔_BEFORE は販売の instance では AutonomousAgent は時間間隔_BEFORE の agent では WebSite は時間間隔_BEFORE の instrument では時間間隔_BEFORE は時間間隔の during に takes は時間間隔_BEFORE の during holds equal SiteWideNewSellersFn 時間間隔 and WebSite and コレクション

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 1203-1210	?AGENT ?VOTER, ?ELECTION and ?VOTING ?ELECTION は ElectionFn ?AGENT の instance では ?VOTING は VotingFn ?ELECTION の instance では ?VOTER は ?VOTING の agent では Male は ?VOTER の attribute ではは ExclusiveMaleSuffrage の情報を contains
(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 885-893	?COUNTRY ?ELECTION, ?VOTING and ?VOTER ?COUNTRY は国民の instance では ?ELECTION は ElectionFn ?COUNTRY の instance では ?VOTING は VotingFn ?ELECTION の instance では ?VOTER は ?VOTING の agent では ?VOTER は ?COUNTRY% の citizen ではは VoterCitizenshipRequirement の情報を contains
(containsInformation (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw)	Government.kif 1054-1065	?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE ?AGENT は ?POLITY% の citizen では suffrageAgeMinimum ?POLITY and ?VOTINGAGE の YearDuration(s) ?AGENT の age は ?AGE の YearDuration(s) では ?AGE は ?VOTINGAGE greater では　 ?ELECTION は ElectionFn ?POLITY の instance では ?AGENT は VotingFn ?ELECTION を agent として行う capable ではは UniversalSuffrageLaw の情報を contains
(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 1122-1136	?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE ?VOTER は ?POLITY% の citizen では suffrageAgeMinimum ?POLITY and ?VOTINGAGE の YearDuration(s) ?VOTER の age は ?AGE の YearDuration(s) では ?AGE は ?VOTINGAGE greater では　 ?ELECTION は ElectionFn ?POLITY の instance では ?VOTING ?VOTING は VotingFn ?ELECTION の instance では ?VOTER は ?VOTING の agent ではは CompulsorySuffrageLaw の情報を contains
(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 では時間間隔は JesusOfNazareth の time の existence を finishes 時間間隔は TwelveApostles の time の existence を starts エンティティーエンティティーは TwelveApostles の member ではは時間間隔の during holds friend エンティティー and JesusOfNazareth は時間間隔の during holds

appearance as argument number 0

(forall (?NUMBER) (equal (MeasureFn ?NUMBER OunceMass) (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass)))	Mid-level-ontology.kif 14672-14675	実数 equal 実数の OunceMass(s) and 実数 + 16.0 の PoundMass(s)
(forall (?NUMBER) (equal (PredecessorFn ?NUMBER) (SubtractionFn ?NUMBER 1)))	Merge.kif 4764-4765	整数 equal ( 整数+2) and ( 整数 + 1)
(forall (?NUMBER) (equal (SuccessorFn ?NUMBER) (AdditionFn ?NUMBER 1)))	Merge.kif 4748-4749	整数 equal ( 整数+1) and ( 整数 + 1)
(forall (@ROW ?ITEM) (equal (ListLengthFn (ListFn @ROW ?ITEM)) (SuccessorFn (ListLengthFn (ListFn @ROW)))))	Merge.kif 3050-3053	@ROW エンティティー equal (@ROW + エンティティー) の length and ((@ROW) の length+1)
(forall (@ROW ?ITEM) (equal (ListOrderFn (ListFn @ROW ?ITEM) (ListLengthFn (ListFn @ROW ?ITEM))) ?ITEM))	Merge.kif 3055-3059	@ROW エンティティー equal (@ROW + エンティティー) の (@ROW + エンティティー) の lengthth element and エンティティー
(forall (@ROW ?ITEM) (initialList (ListFn @ROW) (ListFn @ROW ?ITEM)))	Merge.kif 3330-3331	@ROW エンティティー (@ROW) は (@ROW + エンティティー) を starts

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

KB Term:			Term intersection

English Word: