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	持有期間 TimePosition and 例 entity and Human entity 採用 entity and entity 持有期間 TimePosition and attribute entity and 失業的
(=> (and (climateTypeInArea ?AREA ColdClimateZone) (forall (?MO) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))))) (greaterThan 10.0 ?TEMP))	Geography.kif 1686-1694	寒冷氣候帶是 GeographicArea 地區的 climate 類別 TimeInterval 例 TimeInterval and Month 1 對於 %3 在 %2 週期的 average 溫度比較多 10.0 and RealNumber
(=> (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 路徑重量 GraphPath and RealNumber 圖形部分 GraphArc and GraphPath 圖形部分 GraphArc and GraphPath 弧重 GraphArc and RealNumber 弧重 GraphArc and RealNumber GraphElement 圖形部分 GraphElement and GraphPath equal GraphElement and GraphArc equal GraphElement and GraphArc equal 路徑重量 GraphPath and 加成 RealNumber and RealNumber
(=> (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 路徑重量 GraphPath and RealNumber 子圖 GraphPath and GraphPath 圖形部分 GraphArc and GraphPath 弧重 GraphArc and RealNumber GraphElement 圖形部分 GraphElement and GraphPath 圖形部分 GraphElement and GraphPath equal GraphElement and GraphArc equal RealNumber and 加成路徑重量 GraphPath and RealNumber
(=> (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	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and Auctioning SymbolicString entity_PURCHASE_AMOUNT total 價值在卡帕 SymbolicString and SymbolicString 是 Physical 的 transaction 總額是 entity_PURCHASE_AMOUNT equal Collection 的 total purchase price and entity_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	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and FinancialTransaction SymbolicString entity equal 基數卡帕 SymbolicString and 例 SymbolicString and Physical 例 entity and Buying 會員 entity and Collection 患者 entity and SymbolicString and 在 Collection 裡購買的樣品數量
(=> (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	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and WebListing equal 部基數 entity entity and entity 卡帕 entity and 例 entity and WebListing 例 entity and WebSite 例 entity and Physical 會員 entity and Collection 患者 entity and entity entity 是在 entity hosted entity 例 entity and Buying 患者 entity and entity entity facilitates entity and 基數 Collection and 在 Collection 的 bids 數字
(=> (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	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and WebListing SymbolicString entity, entity and SymbolicString equal 基數卡帕 SymbolicString and 例 entity and Physical 例 entity and WebListing 例 SymbolicString and Bidding 會員 entity and Collection SymbolicString 是個 bid 對於 entity 患者 entity and entity and 在 Collection 的 bids 數字
(=> (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	例 Collection and Collection 例 WebSite and WebSite 例 AutonomousAgent and AutonomousAgent 例 WebListing and WebListing 例 TimePoint and TimePoint AutonomousAgent sells WebListing 會員 WebListing and Collection Physical Physical 例 Physical and WebListing 會員 Physical and 樣品對於 sale 由 AutonomousAgent 在 WebSite 時間部分 TimePoint and 何時 Physical equal Physical and WebListing 會員 Physical and Collection 會員 Physical and Collection 時間部分 TimePoint and 何時 Physical 例 Physical and WebListing equal 東西對於 sale 由 AutonomousAgent 非列在 WebListing 在 WebSite 期間 TimePoint and Collection
(=> (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	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and Buying Object 例 Object and GeopoliticalArea AutonomousAgent Process 例 AutonomousAgent and AutonomousAgent 例 Process and Buying 會員 Process and Collection agent Process and AutonomousAgent 位於 AutonomousAgent and Object SymbolicString entity and entity_PURCHASE_AMOUNT total 價值在卡帕 SymbolicString and 例 entity and Buying 會員 entity and Collection SymbolicString 是 entity 的 transaction 總額是 entity_PURCHASE_AMOUNT equal Collection 的 value and entity_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	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and Selling Object 例 Object and GeopoliticalArea AutonomousAgent Process 例 AutonomousAgent and AutonomousAgent 例 Process and Buying 會員 Process and Collection agent Process and AutonomousAgent 位於 AutonomousAgent and Object SymbolicString entity and entity_SALE_AMOUNT total 價值在卡帕 SymbolicString and 例 entity and Selling 會員 entity and Collection SymbolicString 是 entity 的 transaction 總額是 entity_SALE_AMOUNT equal Collection 的 value and entity_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	例 Object and 禮堂座位部分 Object and Object 部分 Object and Object 例 Object and 禮堂例 Object and 表演階段位於 Object and Object 例 Object and Human 子類 Process and Seeing Process 例 Process and Process 患者 Process and Object 能力 Process, agent and Object
(=> (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	例 Human and Human 例 Collection and Collection 試驗 Physical Process 例試驗 and 試驗例 Physical and Process 會員 Physical and events 在試驗例 Physical and Process 能力 Process, 體驗者 and Human 會員 Physical and Collection 會員 Physical and Collection 例 Physical and Process 試驗 PhysicalESS 例試驗 and 試驗會員 Physical and events 在試驗例 Physical and PhysicalESS 能力 PhysicalESS, 體驗者 and Human equal 所有流程 Human 是 qualified 對於 and Collection
(=> (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	例 Human and Human 例 Collection and Collection WebPage Process and 試驗例 WebPage and WebPage 例 Process and AccessingWebPage 例試驗 and 試驗 agent Process and Human 患者 Process and WebPage WebPage 是試驗的研究對象會員 Process and Collection equal Collection and 所有的 treated web page 瀏覽從 Human
(=> (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	例 Collection and Collection 例 CorpuscularObject and HypertextLink Physical 會員 Physical and Collection 例 Physical and AccessingWebPage 零件 Collection and CorpuscularObject Collection 例 Collection and Collection Process 例 Process and RequestingHyperlink 患者 Process and CorpuscularObject 會員 Process and Collection equal 點擊通過 CorpuscularObject 的 rate 在 Collection and 部基數 Collection and 基數 Collection
(=> (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	例 Collection and Collection 例 Collection and Collection 子集合 Collection and Collection Physical 會員 Physical and Collection 例 Physical and AccessingWebPage Process AutonomousAgent, Process, Process and Object 例 AutonomousAgent and Human 例 Process and Buying 例 Process and AccessingWebPage 例 Object and WebPage 會員 Process and Collection 目的地 Process and Object agent Process and AutonomousAgent agent Process and AutonomousAgent 期間何時 Process and 何時 Process 儀器 Process and Object 會員 Process and Collection TimeInterval entity_IN_INTERVAL and entity_IN_INTERVAL equal purchases 花在 Collection 期間 TimeInterval and 部基數卡帕 entity_IN_INTERVAL and 會員 entity_IN_INTERVAL and Collection 期間何時 entity_IN_INTERVAL and TimeInterval and 基數卡帕 entity_IN_INTERVAL and 會員 entity_IN_INTERVAL and Collection 期間何時 entity_IN_INTERVAL and TimeInterval

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	例年 and 年年EAR equal GeopoliticalArea 和年的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List equal Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 男期間何時 entity and 年 equal 哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
(<=> (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	例年 and 年 Integer equal GeopoliticalArea 和年的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List equal Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 女期間何時 entity and 年 equal 哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
(<=> (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	例年 and 年 Integer equal GeopoliticalArea 和年的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List equal Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human 期間何時 entity and 年 equal 哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
(<=> (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	RealNumber 是 List 的 average List PositiveInteger equal 列表長度 List and 列表長度 List equal 清單順序 List and 1 and 清單順序 List and 1 PositiveInteger 在列表中 PositiveInteger and List RealNumber RealNumberMINUSONE, PositiveInteger and PositiveInteger 比較多 RealNumber and 1 小於或等於 RealNumber and 列表長度 List equal 清單順序 List and PositiveInteger and RealNumber 在列表中 PositiveInteger and List equal RealNumber and 清單順序 List and PositiveInteger 在列表中 PositiveInteger and List equal RealNumberMINUSONE and 減法 RealNumber and 1 equal RealNumberMINUSONE and 清單順序 List and PositiveInteger equal PositiveInteger and 加成 PositiveInteger and PositiveInteger equal PositiveInteger and 列表長度 List equal RealNumber and 部清單順序 List and PositiveInteger and PositiveInteger
(<=> (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	更大 Object and Object RealNumber RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and RealNumber
(<=> (subCollection ?COLL1 ?COLL2) (forall (?MEMBER) (=> (member ?MEMBER ?COLL1) (member ?MEMBER ?COLL2))))	Merge.kif 1307-1312	子集合 Collection and Collection Physical 會員 Physical and Collection 會員 Physical and Collection
(=> (allRoomsPhysicalAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ))))	Hotel.kif 171-176	all rooms 在 RoomInventory 有 Physical HotelUnit HotelUnit 是 RoomInventory 的 member 類別 Physical 是 amenity 在 HotelUnit
(=> (allRoomsPolicy ?INV ?POLICY) (forall (?X) (=> (memberType ?INV ?X) (roomPolicy ?X ?POLICY))))	Hotel.kif 233-238	所有房間在 RoomInventory 有政策 Policy HotelUnit HotelUnit 是 RoomInventory 的 member 類別 Policy 是應用在 HotelUnit 的 policy
(=> (allRoomsServiceAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ))))	Hotel.kif 218-223	所有房間在在 RoomInventory 有服務 Physical HotelUnit HotelUnit 是 RoomInventory 的 member 類別 Physical 是 amenity 在 HotelUnit
(=> (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 Object and Attribute 例 Attribute and 球幾何點 LengthMeasure 幾何點點圖幾何點 and Object 幾何點是對於 LengthMeasure 的 geometric 距離幾何點
(=> (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	attribute Object and 單色膚淺的部分 Object and Object attribute Object and Attribute 例 Attribute and PrimaryColor Object 膚淺的部分 Object and Object attribute Object and 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	公民 Human and Nation 次提案普選法 and Nation 的 regional 法律賦予權利 entity entity and entity 公民 Human and Nation 測量 entity and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and Nation 的 election entity 例 entity and entity 的 voting agent entity and Human , Nation 的 regional 法律 and Human
(=> (and (element ?X (PropertyFn ?HOTEL)) (instance ?X RoomInventory)) (forall (?Y) (=> (member ?Y ?X) (element ?Y (PropertyFn ?HOTEL)))))	Hotel.kif 147-154	元件 Collection and 屬性 AutonomousAgent 例 Collection and RoomInventory Physical 會員 Physical and Collection 元件 Physical and 屬性 AutonomousAgent
(=> (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 and Integer equal Integer and 0 Integer 在列表中 Integer and 名單 @ROW equal 剩餘 Integer and Integer 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 and Integer equal Integer and 0 Integer 比較多 Integer and Integer Integer 在列表中 Integer and 名單 @ROW equal 剩餘 Integer and Integer 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 and Integer equal Integer and 0 Integer 在列表中 Integer and 名單 @ROW equal 剩餘 Integer and Integer 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 and Integer equal Integer and 0 Integer 少於 Integer and Integer Integer 在列表中 Integer and 名單 @ROW equal 剩餘 Integer and Integer 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 Album 在 DataStorageDeviceS 的 set 複製例 DataStorageDevice and DataStorageDevice Object 在列表中 Object and Album ContentBearingObject 複製 ContentBearingObject and Object ContentBearingObject 是 stored 在 DataStorageDevice
(=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ))))	Merge.kif 10032-10039	hole HoleRegion and SelfConnectedObject hole HoleRegion and SelfConnectedObject HoleRegion 部分 HoleRegion and mereological 總和 HoleRegion and HoleRegion hole HoleRegion and SelfConnectedObject
(=> (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 and AutonomousAgent 例 WebSite and WebSite Collection 例 Collection and Collection WebListing 例 WebListing and WebListing WebListing 是在 WebSite hosted AutonomousAgent sells WebListing 會員 WebListing and Collection equal 樣品對於 sale 由 AutonomousAgent 在 WebSite and Collection
(=> (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	例 Object and 下巴例 Object and 面對部分 Object and Object Object 部分 Object and Object 部分 Object and Object 方位 Object, Object and 下面
(=> (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	例 Process and Grinding 患者 Process and Entity 例 Entity and CorpuscularObject 持有期間結束何時 Process and entity 結果 Process and entity 例 entity and Collection entity 會員 entity and entity 部分 entity and Entity
(=> (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	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection AutonomousAgent 會員 AutonomousAgent and Collection TimeInterval 例 AutonomousAgent and AutonomousAgent 例 TimeInterval and Buying agent TimeInterval and AutonomousAgent 儀器 TimeInterval and WebSite 期間 TimeInterval and TimeInterval TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and TimeInterval_BEFORE 例 TimeInterval_BEFORE and Buying agent TimeInterval_BEFORE and AutonomousAgent 儀器 TimeInterval_BEFORE and WebSite 期間 TimeInterval_BEFORE and TimeInterval equal new buyers 在 WebSite 其間 TimeInterval and Collection
(=> (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	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection Physical 例 Physical and Human TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and Physical 是 WebSite 的 registered user TimeInterval_DURING 例 TimeInterval_DURING and TimeInterval 期間 TimeInterval_DURING and TimeInterval 持有期間 TimeInterval and Physical 是 WebSite 的 registered user 會員 Physical and Collection equal Collection and new registrations 在 WebSite 期間 TimeInterval
(=> (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	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection AutonomousAgent 會員 AutonomousAgent and Collection TimeInterval 例 AutonomousAgent and AutonomousAgent 例 TimeInterval and Selling agent TimeInterval and AutonomousAgent 儀器 TimeInterval and WebSite 期間 TimeInterval and TimeInterval TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and TimeInterval_BEFORE 例 TimeInterval_BEFORE and Selling agent TimeInterval_BEFORE and AutonomousAgent 儀器 TimeInterval_BEFORE and WebSite 期間 TimeInterval_BEFORE and TimeInterval equal new sellers 在 WebSite 期間 TimeInterval and Collection

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 and ?AGENT 的 election 例 ?VOTING and ?ELECTION 的 voting agent ?VOTING and ?VOTER attribute ?VOTER and 男 and 獨家男性選舉權
(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 and Nation 例 ?ELECTION and ?COUNTRY 的 election 例 ?VOTING and ?ELECTION 的 voting agent ?VOTING and ?VOTER 公民 ?VOTER and ?COUNTRY and 選民公民身份要求
(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 and ?POLITY 測量 ?VOTINGAGE and 年持續時間是 ?POLITY 的 suffrage 最小年紀年齡 ?AGENT and 測量 ?AGE and 年持續時間大於或等於 ?AGE and ?VOTINGAGE 例 ?ELECTION and ?POLITY 的 election 能力 ?ELECTION 的 voting , agent and ?AGENT and 普選法
(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 and ?POLITY 測量 ?VOTINGAGE and 年持續時間是 ?POLITY 的 suffrage 最小年紀年齡 ?VOTER and 測量 ?AGE and 年持續時間大於或等於 ?AGE and ?VOTINGAGE 例 ?ELECTION and ?POLITY 的 election ?VOTING 例 ?VOTING and ?ELECTION 的 voting agent ?VOTING and ?VOTER 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	TimeInterval 例 TimeInterval and TimeInterval 飾面 TimeInterval and 何時 JesusOfNazareth 啟動 TimeInterval and 何時 TwelveApostles entity 持有期間 TimeInterval and 會員 entity and TwelveApostles 持有期間 TimeInterval and entity 是 JesusOfNazareth 的 friend

appearance as argument number 0

(forall (?NUMBER) (equal (MeasureFn ?NUMBER OunceMass) (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass)))	Mid-level-ontology.kif 14672-14675	RealNumber equal 測量 RealNumber and OunceMass and 測量部 RealNumber and 16.0 and 磅質量
(forall (?NUMBER) (equal (PredecessorFn ?NUMBER) (SubtractionFn ?NUMBER 1)))	Merge.kif 4764-4765	Integer equal 前任 Integer and 減法 Integer and 1
(forall (?NUMBER) (equal (SuccessorFn ?NUMBER) (AdditionFn ?NUMBER 1)))	Merge.kif 4748-4749	Integer equal 接班人 Integer and 加成 Integer and 1
(forall (@ROW ?ITEM) (equal (ListLengthFn (ListFn @ROW ?ITEM)) (SuccessorFn (ListLengthFn (ListFn @ROW)))))	Merge.kif 3050-3053	@ROW Entity equal 列表長度名單 @ROW and entity and 接班人列表長度名單 @ROW
(forall (@ROW ?ITEM) (equal (ListOrderFn (ListFn @ROW ?ITEM) (ListLengthFn (ListFn @ROW ?ITEM))) ?ITEM))	Merge.kif 3055-3059	@ROW Entity equal 清單順序名單 @ROW and Entity and 列表長度名單 @ROW and Entity and Entity
(forall (@ROW ?ITEM) (initialList (ListFn @ROW) (ListFn @ROW ?ITEM)))	Merge.kif 3330-3331	@ROW Entity 初始清單名單 @ROW and 名單 @ROW and entity

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: