TreeView Knowledge Base Browser

antecedent

(<=> (holdsDuring ?T (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON))))) (holdsDuring ?T (attribute ?PERSON Unemployed)))	Merge.kif 16994-17002	holdsDuring TimePosition and instance entity and Human entity employs entity and entity holdsDuring TimePosition and attribute entity and Unemployed
(=> (and (climateTypeInArea ?AREA ColdClimateZone) (forall (?MO) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))))) (greaterThan 10.0 ?TEMP))	Geography.kif 1526-1534	climateTypeInArea GeographicArea and ColdClimateZone TimeInterval instance TimeInterval and Month averageTemperatureForPeriod GeographicArea, TimeInterval and MeasureFn RealNumber and CelsiusDegree greaterThan 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 5891-5904	equal PathWeightFn GraphPath and RealNumber graphPart GraphArc and GraphPath graphPart GraphArc and GraphPath arcWeight GraphArc and RealNumber arcWeight GraphArc and RealNumber GraphElement graphPart GraphElement and GraphPath equal GraphElement and GraphArc equal GraphElement and GraphArc equal PathWeightFn GraphPath and AdditionFn 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 5877-5889	equal PathWeightFn GraphPath and RealNumber subGraph GraphPath and GraphPath graphPart GraphArc and GraphPath arcWeight GraphArc and RealNumber GraphElement graphPart GraphElement and GraphPath graphPart GraphElement and GraphPath equal GraphElement and GraphArc equal RealNumber and AdditionFn PathWeightFn GraphPath and RealNumber
(=> (and (instance ?AUCTIONS Collection) (forall (?AUC) (=> (member ?AUC ?AUCTIONS) (instance ?AUC Auctioning)))) (and (total (KappaFn ?AMOUNT (and (instance ?AUCTION Auctioning) (member ?AUCTION ?AUCTIONS) (transactionAmount ?AUCTION ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT) (equal (AuctionGMBFn ?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT)))	UXExperimentalTerms.kif 3409-3424	instance Collection and Collection Physical member Physical and Collection instance Physical and Auctioning total KappaFn SymbolicString and instance PhysicalTION and Auctioning member PhysicalTION and Collection transactionAmount PhysicalTION and SymbolicString and entity_PURCHASE_AMOUNT equal AuctionGMBFn Collection and entity_PURCHASE_AMOUNT
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER FinancialTransaction)))) (equal (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Physical) (instance ?BUYING Buying) (member ?BUYING ?COLL) (patient ?BUYING ?ITEM)))) (BoughtItemsFn ?COLL)))	UXExperimentalTerms.kif 3096-3111	instance Collection and Collection Physical member Physical and Collection instance Physical and FinancialTransaction equal CardinalityFn KappaFn SymbolicString and instance SymbolicString and Physical instance entity and Buying member entity and Collection patient entity and SymbolicString and BoughtItemsFn Collection
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (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 3130-3147	instance Collection and Collection Physical member Physical and Collection instance Physical and WebListing equal CardinalityFn KappaFn SymbolicString and instance entity and Physical instance entity and WebListing instance SymbolicString and Bidding member entity and Collection objectOfBid SymbolicString and entity patient entity and entity and BidCountFn Collection
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (equal (DivisionFn (CardinalityFn (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 3055-3079	instance Collection and Collection Physical member Physical and Collection instance Physical and WebListing equal DivisionFn CardinalityFn KappaFn SymbolicString and instance SymbolicString and WebListing instance entity and WebSite instance entity and Physical member SymbolicString and Collection patient SymbolicString and entity hostedOn SymbolicString and entity entity instance entity and Buying patient entity and entity eCommerceSite entity and entity and CardinalityFn Collection and BidCountFn Collection
(=> (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?AGENT Agent) (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 1230-1257	instance Collection and Collection instance WebSite and WebSite instance Agent and Agent instance WebListing and WebListing instance TimePoint and TimePoint listingSeller WebListing and Agent member WebListing and Collection Physical Physical instance Physical and WebListing member Physical and SellersItemsFn Agent and WebSite temporalPart TimePoint and WhenFn Physical equal Physical and WebListing member Physical and Collection member Physical and Collection temporalPart TimePoint and WhenFn Physical instance Physical and WebListing equal SellersOtherItemsFn Agent, WebSite, WebListing and 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 Agent) (instance ?BUYING Buying) (member ?BUYING ?PURCHASES) (agent ?BUYING ?BUYER)) (located ?BUYER ?REGION)))))) (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 3163-3189	instance Collection and Collection Physical member Physical and Collection instance Physical and Buying Object instance Object and GeopoliticalArea Agent Process instance Agent and Agent instance Process and Buying member Process and Collection agent Process and Agent located Agent and Object total KappaFn SymbolicString and instance entity and Buying member entity and Collection transactionAmount entity and SymbolicString and entity_PURCHASE_AMOUNT equal GMBFn Collection 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 Agent) (instance ?SELLING Buying) (member ?SELLING ?SALES) (agent ?SELLING ?SELLER)) (located ?SELLER ?REGION)))))) (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 3206-3232	instance Collection and Collection Physical member Physical and Collection instance Physical and Selling Object instance Object and GeopoliticalArea Agent Process instance Agent and Agent instance Process and Buying member Process and Collection agent Process and Agent located Agent and Object total KappaFn SymbolicString and instance entity and Selling member entity and Collection transactionAmount entity and SymbolicString and entity_SALE_AMOUNT equal GMVFn Collection 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 7011-7025	instance Object and AuditoriumSeat part Object and Object part Object and Object instance Object and Auditorium instance Object and PerformanceStage located Object and Object instance Object and Human subclass Process and Seeing Process instance Process and Process patient Process and Object capability Process, agent and Object
(=> (and (instance ?VISITOR Human) (instance ?COLL Collection) (forall (?EXPERIMENTING ?EVENT) (=> (and (instance ?EXPERIMENTING Experimenting) (instance ?EVENT Process) (member ?EVENT (QualifyingEventsFn ?EXPERIMENT)) (capability ?EVENT experiencer ?VISITOR)) (member ?EVENT ?COLL))) (=> (member ?PROC ?COLL) (and (instance ?PROC Process) (exists (?EXP) (and (instance ?EXP Experimenting) (member ?PROC (QualifyingEventsFn ?EXP)) (capability ?PROC experiencer ?VISITOR)))))) (equal (QualifiedTreatmentsFn ?VISITOR) ?COLL))	UXExperimentalTerms.kif 4448-4471	instance Human and Human instance Collection and Collection Entity Process instance Entity and Experimenting instance Process and Process member Process and QualifyingEventsFn Experimenting capability Process, experiencer and Human member Process and Collection member Process and Collection instance Process and Process Experimenting instance Experimenting and Experimenting member Process and QualifyingEventsFn Experimenting capability Process, experiencer and Human equal QualifiedTreatmentsFn Human 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 4382-4397	instance Human and Human instance Collection and Collection WebPage Process and Experimenting instance WebPage and WebPage instance Process and AccessingWebPage instance Experimenting and Experimenting agent Process and Human patient Process and WebPage treatedPage WebPage and Experimenting member Process and Collection equal Collection and QPViewsFn 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 3541-3564	instance Collection and Collection instance HypertextLink and HypertextLink Physical member Physical and Collection instance Physical and AccessingWebPage component Collection and HypertextLink Collection instance Collection and Collection Process instance Process and RequestingHyperlink patient Process and HypertextLink member Process and Collection equal ClickThroughRateFn Collection and HypertextLink and DivisionFn CardinalityFn Collection and CardinalityFn 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)))) (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 3876-3911	instance Collection and Collection instance Collection and Collection subCollection Collection and Collection Physical member Physical and Collection instance Physical and AccessingWebPage Process Agent, Process, Process and Object instance Agent and Human instance Process and Buying instance Process and AccessingWebPage instance Object and WebPage member Process and Collection destination Process and Object agent Process and Agent agent Process and Agent during WhenFn Process and WhenFn Process instrument Process and Object member Process and Collection equal SCRFn Collection and TimeInterval and DivisionFn CardinalityFn KappaFn entity_IN_INTERVAL and member entity_IN_INTERVAL and Collection during WhenFn entity_IN_INTERVAL and TimeInterval and CardinalityFn KappaFn entity_IN_INTERVAL and member entity_IN_INTERVAL and Collection during WhenFn entity_IN_INTERVAL and TimeInterval

consequent

(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST) (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 372-405	instance Year and YearFn YearEAR equal MaleLifeExpectancyAtBirthFn GeopoliticalArea and Year and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Male during WhenFn entity and Year equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (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 289-310	average List and RealNumber List equal ListLengthFn List and ListLengthFn List equal ListOrderFn List and 1 and ListOrderFn List and 1 PositiveInteger inList PositiveInteger and List RealNumber RealNumberMINUSONE, PositiveInteger and PositiveInteger greaterThan RealNumber and 1 lessThanOrEqualTo RealNumber and ListLengthFn List equal ListOrderFn List and PositiveInteger and RealNumber inList PositiveInteger and List equal RealNumber and ListOrderFn List and PositiveInteger inList PositiveInteger and List equal RealNumberMINUSONE and SubtractionFn RealNumber and 1 equal RealNumberMINUSONE and ListOrderFn List and PositiveInteger equal PositiveInteger and AdditionFn PositiveInteger and PositiveInteger equal PositiveInteger and ListLengthFn List equal RealNumber and DivisionFn ListOrderFn List and PositiveInteger and PositiveInteger
(<=> (equal (FemaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (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) (YearFn ?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 418-449	equal FemaleLifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Female during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (equal (LifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (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) (YearFn ?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 327-357	equal LifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (instance ?OBJ SelfConnectedObject) (forall (?PART1 ?PART2) (=> (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2))))	Merge.kif 9413-9418	instance Object and SelfConnectedObject Object Object equal Object and MereologicalSumFn Object and Object connected Object and Object
(<=> (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 7662-7670	larger Object and Object RealNumber RealNumber and UnitOfMeasure measure Object and MeasureFn RealNumber and UnitOfMeasure measure Object and MeasureFn RealNumber and UnitOfMeasure instance UnitOfMeasure and UnitOfLength greaterThan RealNumber and RealNumber
(<=> (subCollection ?COLL1 ?COLL2) (forall (?MEMBER) (=> (member ?MEMBER ?COLL1) (member ?MEMBER ?COLL2))))	Merge.kif 1250-1255	subCollection Collection and Collection Physical member Physical and Collection member Physical and Collection
(=> (allRoomsPhysicalAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ))))	Hotel.kif 166-171	allRoomsPhysicalAmenity RoomInventory and Physical HotelUnit memberType RoomInventory and HotelUnit roomAmenity HotelUnit and Physical
(=> (allRoomsPolicy ?INV ?POLICY) (forall (?X) (=> (memberType ?INV ?X) (roomPolicy ?X ?POLICY))))	Hotel.kif 228-233	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 213-218	allRoomsServiceAmenity RoomInventory and Physical HotelUnit memberType RoomInventory and HotelUnit roomAmenity HotelUnit and Physical
(=> (and (attribute ?OBJ ?SPHERE) (instance ?SPHERE Sphere)) (exists (?CENTER ?DIST) (forall (?PT) (=> (pointOfFigure ?PT ?OBJ) (geometricDistance ?PT ?CENTER ?DIST)))))	Mid-level-ontology.kif 4712-4720	attribute Object and Attribute instance Attribute and Sphere GeometricPoint LengthMeasure GeometricPoint GeometricPoint の vertex は Object では %n geometricDistance GeometricPoint, GeometricPoint and LengthMeasure
(=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR))))	Merge.kif 17419-17428	attribute Object and Monochromatic superficialPart Object and Object attribute Object and Attribute instance Attribute and PrimaryColor Object superficialPart Object and Object attribute Object and Attribute
(=> (and (attribute ?X DutyFree) (instance ?X Store)) (forall (?OBJ) (=> (and (instance ?SELL Selling) (patient ?SELL ?OBJ) (located ?SELL ?X) (instance ?OBJ Product)) (attribute ?OBJ DutyFree))))	Hotel.kif 1454-1465	attribute Object and DutyFree instance Object and Store Object instance Process and Selling patient Process and Object located Process and Object instance Object and Product attribute Object and DutyFree
(=> (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 1117-1137	citizen Human and Nation subProposition UniversalSuffrageLaw and RegionalLawFn Nation confersRight entity entity and entity citizen Human and Nation suffrageAgeMinimum Nation and MeasureFn entity and YearDuration age Human and MeasureFn entity and YearDuration greaterThanOrEqualTo entity and entity instance entity and ElectionFn Nation entity instance entity and VotingFn entity agent entity and Human , RegionalLawFn Nation and Human
(=> (and (element ?X (PropertyFn ?HOTEL)) (instance ?X RoomInventory)) (forall (?Y) (=> (member ?Y ?X) (element ?Y (PropertyFn ?HOTEL)))))	Hotel.kif 142-149	element Collection and PropertyFn Agent instance Collection and RoomInventory Physical member Physical and Collection element Physical and PropertyFn Agent
(=> (and (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (not (equal ?NUMBER 0))) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?ELEMENT ?NUMBER) 0))))	Merge.kif 4765-4776	equal GreatestCommonDivisorFn @ROW and Integer equal Integer and 0 Integer inList Integer and ListFn @ROW equal RemainderFn 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 4778-4792	equal GreatestCommonDivisorFn @ROW and Integer equal Integer and 0 Integer greaterThan Integer and Integer Integer inList Integer and ListFn @ROW equal RemainderFn 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 4850-4860	equal LeastCommonMultipleFn @ROW and Integer equal Integer and 0 Integer inList Integer and ListFn @ROW equal RemainderFn 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 4862-4876	equal LeastCommonMultipleFn @ROW and Integer equal Integer and 0 Integer lessThan Integer and Integer Integer inList Integer and ListFn @ROW equal RemainderFn Integer and Integer and 0
(=> (and (equal (MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH) (equal (PathWeightFn ?PATH) ?NUMBER1)) (forall (?PATH2) (=> (and (instance ?PATH2 (GraphPathFn ?NODE1 ?NODE2)) (equal (PathWeightFn ?PATH2) ?NUMBER2)) (lessThanOrEqualTo ?NUMBER2 ?NUMBER1))))	Merge.kif 5945-5954	equal MaximalWeightedPathFn GraphNode and GraphNode and GraphPath equal PathWeightFn GraphPath and RealNumber GraphPath instance GraphPath and GraphPathFn GraphNode and GraphNode equal PathWeightFn GraphPath and RealNumber lessThanOrEqualTo RealNumber and RealNumber
(=> (and (equal (MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH) (equal (PathWeightFn ?PATH) ?NUMBER1)) (forall (?PATH2) (=> (and (instance ?PATH2 (GraphPathFn ?NODE1 ?NODE2)) (equal (PathWeightFn ?PATH2) ?NUMBER2)) (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1))))	Merge.kif 5920-5929	equal MinimalWeightedPathFn GraphNode and GraphNode and GraphPath equal PathWeightFn GraphPath and RealNumber GraphPath instance GraphPath and GraphPathFn GraphNode and GraphNode equal PathWeightFn GraphPath and RealNumber greaterThanOrEqualTo RealNumber and RealNumber
(=> (and (equal ?D (AlbumCopiesFn ?A ?DS)) (instance ?X ?D)) (forall (?S) (=> (inList ?S ?A) (exists (?C) (and (copy ?C ?S) (stored ?C ?D))))))	Music.kif 931-941	equal DataStorageDevice and AlbumCopiesFn Album and DataStorageDeviceS instance Entity and DataStorageDevice Object inList Object and Album ContentBearingObject copy ContentBearingObject and Object stored ContentBearingObject and DataStorageDevice
(=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ))))	Merge.kif 9801-9808	hole Hole and SelfConnectedObject hole Hole and SelfConnectedObject Hole part Hole and MereologicalSumFn Hole and Hole hole Hole and SelfConnectedObject
(=> (and (instance ?AGENT Agent) (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 1189-1205	instance Agent and Agent instance WebSite and WebSite Collection instance Collection and Collection WebListing instance WebListing and WebListing hostedOn WebListing and WebSite listingSeller WebListing and Agent member WebListing and Collection equal SellersItemsFn Agent and 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 12391-12402	instance Object and Chin instance Object and Face part Object and Object Object part Object and Object part Object and Object orientation Object, Object and Below

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 1226-1233	containsInformation ?AGENT ?VOTER, ?ELECTION and ?VOTING instance ?ELECTION and ElectionFn ?AGENT instance ?VOTING and VotingFn ?ELECTION agent ?VOTING and ?VOTER attribute ?VOTER and Male and ExclusiveMaleSuffrage
(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 908-916	containsInformation ?COUNTRY ?ELECTION, ?VOTING and ?VOTER instance ?COUNTRY and Nation instance ?ELECTION and ElectionFn ?COUNTRY instance ?VOTING and VotingFn ?ELECTION agent ?VOTING and ?VOTER citizen ?VOTER and ?COUNTRY and VoterCitizenshipRequirement
(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 1077-1088	containsInformation ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE citizen ?AGENT and ?POLITY suffrageAgeMinimum ?POLITY and MeasureFn ?VOTINGAGE and YearDuration age ?AGENT and MeasureFn ?AGE and YearDuration greaterThanOrEqualTo ?AGE and ?VOTINGAGE instance ?ELECTION and ElectionFn ?POLITY capability VotingFn ?ELECTION, agent and ?AGENT and UniversalSuffrageLaw
(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 1145-1159	containsInformation ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE citizen ?VOTER and ?POLITY suffrageAgeMinimum ?POLITY and MeasureFn ?VOTINGAGE and YearDuration age ?VOTER and MeasureFn ?AGE and YearDuration greaterThanOrEqualTo ?AGE and ?VOTINGAGE instance ?ELECTION and ElectionFn ?POLITY ?VOTING instance ?VOTING and VotingFn ?ELECTION agent ?VOTING and ?VOTER and CompulsorySuffrageLaw
(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 1968-1976	TimeInterval instance TimeInterval and TimeInterval finishes TimeInterval and WhenFn JesusOfNazareth starts TimeInterval and WhenFn TwelveApostles entity holdsDuring TimeInterval and member entity and TwelveApostles holdsDuring TimeInterval and friend entity and JesusOfNazareth

appearance as argument number 0

(forall (?NUMBER) (equal (MeasureFn ?NUMBER OunceMass) (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass)))	Mid-level-ontology.kif 12794-12797	RealNumber equal MeasureFn RealNumber and OunceMass and MeasureFn DivisionFn RealNumber and 16.0 and PoundMass
(forall (?NUMBER) (equal (PredecessorFn ?NUMBER) (SubtractionFn ?NUMBER 1)))	Merge.kif 4640-4641	Integer equal PredecessorFn Integer and SubtractionFn Integer and 1
(forall (?NUMBER) (equal (SuccessorFn ?NUMBER) (AdditionFn ?NUMBER 1)))	Merge.kif 4624-4625	Integer equal SuccessorFn Integer and AdditionFn Integer and 1
(forall (@ROW ?ITEM) (equal (ListLengthFn (ListFn @ROW ?ITEM)) (SuccessorFn (ListLengthFn (ListFn @ROW)))))	Merge.kif 2965-2968	@ROW Entity equal ListLengthFn ListFn @ROW and entity and SuccessorFn ListLengthFn ListFn @ROW
(forall (@ROW ?ITEM) (equal (ListOrderFn (ListFn @ROW ?ITEM) (ListLengthFn (ListFn @ROW ?ITEM))) ?ITEM))	Merge.kif 2970-2974	@ROW Entity equal ListOrderFn ListFn @ROW and Entity and ListLengthFn ListFn @ROW and Entity and Entity
(forall (@ROW ?ITEM) (initialList (ListFn @ROW) (ListFn @ROW ?ITEM)))	Merge.kif 3244-3245	@ROW Entity initialList ListFn @ROW and ListFn @ROW and entity

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

KB Term:			Term intersection

English Word: