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	Entit� est une instance de humain entit� entit� n' emploie entit� pendant position temporel Unemployed est un attribut de entit� pendant position temporel
(=> (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 secteur g�ographique and ColdClimateZone interval temporel interval temporel est une instance de mois averageTemperatureForPeriod secteur g�ographique, interval temporel and nombre r�el CelsiusDegree(s) 10.0 est plus grand que nombre r�el
(=> (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 la valeur de chemin du graph and nombre r�el arc du graph est une partie de chemin du graph arc du graph est une partie de chemin du graph la valeur de arc du graph est nombre r�el la valeur de arc du graph est nombre r�el �lement du graph �lement du graph est une partie de chemin du graph equal �lement du graph and arc du graph equal �lement du graph and arc du graph equal la valeur de chemin du graph and ( nombre r�el + nombre r�el)
(=> (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 la valeur de chemin du graph and nombre r�el chemin du graph est un sous-graph de chemin du graph arc du graph est une partie de chemin du graph la valeur de arc du graph est nombre r�el �lement du graph �lement du graph est une partie de chemin du graph �lement du graph est une partie de chemin du graph equal �lement du graph and arc du graph equal nombre r�el and (la valeur de chemin du graph + nombre r�el)
(=> (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 est une instance de collection physique physique est un membre de collection physique est une instance de Auctioning cha�ne sympbolique entit�_PURCHASE_AMOUNT total la classe d�crite par cha�ne sympbolique and entit�_PURCHASE_AMOUNT equal AuctionGMBFn collection and entit�_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 est une instance de collection physique physique est un membre de collection physique est une instance de financial transaction cha�ne sympbolique entit� equal le nombre d' instances dans la classe d�crite par cha�ne sympbolique and BoughtItemsFn 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 est une instance de collection physique physique est un membre de collection physique est une instance de WebListing equal le nombre d' instances dans entit� entit� and entit� la classe d�crite par entit� + le nombre d' instances dans collection and BidCountFn collection
(=> (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 est une instance de collection physique physique est un membre de collection physique est une instance de WebListing cha�ne sympbolique entit�, entit� and cha�ne sympbolique equal le nombre d' instances dans la classe d�crite par cha�ne sympbolique and BidCountFn collection
(=> (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 est une instance de collection WebSite est une instance de WebSite AutonomousAgent est une instance de AutonomousAgent WebListing est une instance de WebListing point temporel est une instance de point temporel listingSeller WebListing and AutonomousAgent WebListing est un membre de collection physique physique physique est une instance de WebListing physique est un membre de SellersItemsFn AutonomousAgent and WebSite point temporel est une partie de temps d'existence de physique equal physique and WebListing physique est un membre de collection physique est un membre de collection point temporel est une partie de temps d'existence de physique physique est une instance de WebListing equal SellersOtherItemsFn AutonomousAgent, WebSite, WebListing and point temporel 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 est une instance de collection physique physique est un membre de collection physique est une instance de acheter objet objet est une instance de secteur g�opolitique AutonomousAgent processus AutonomousAgent est une instance de AutonomousAgent processus est une instance de acheter processus est un membre de collection processus est un agent de AutonomousAgent AutonomousAgent est situ� � objet cha�ne sympbolique entit� and entit�_PURCHASE_AMOUNT total la classe d�crite par cha�ne sympbolique and entit�_PURCHASE_AMOUNT equal GMBFn collection and entit�_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 est une instance de collection physique physique est un membre de collection physique est une instance de vendre objet objet est une instance de secteur g�opolitique AutonomousAgent processus AutonomousAgent est une instance de AutonomousAgent processus est une instance de acheter processus est un membre de collection processus est un agent de AutonomousAgent AutonomousAgent est situ� � objet cha�ne sympbolique entit� and entit�_SALE_AMOUNT total la classe d�crite par cha�ne sympbolique and entit�_SALE_AMOUNT equal GMVFn collection and entit�_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	Objet est une instance de AuditoriumSeat objet est une partie de objet objet est une partie de objet objet est une instance de Auditorium objet est une instance de PerformanceStage objet est situ� � objet objet est une instance de humain processus est une sous-classe de voir processus processus est une instance de processus objet est un patient de processus objet est capable de faire processus dans le r�le agent
(=> (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	Humain est une instance de humain collection est une instance de collection Experimenting physique processus Experimenting est une instance de Experimenting physique est une instance de processus physique est un membre de QualifyingEventsFn Experimenting physique est une instance de processus humain est capable de faire processus dans le r�le experiencer physique est un membre de collection physique est un membre de collection physique est une instance de processus Experimenting physiqueESS Experimenting est une instance de Experimenting physique est un membre de QualifyingEventsFn Experimenting physique est une instance de physiqueESS humain est capable de faire physiqueESS dans le r�le experiencer equal QualifiedTreatmentsFn humain 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	Humain est une instance de humain collection est une instance de collection WebPage processus and Experimenting WebPage est une instance de WebPage processus est une instance de AccessingWebPage Experimenting est une instance de Experimenting processus est un agent de humain WebPage est un patient de processus treatedPage WebPage and Experimenting processus est un membre de collection equal collection and QPViewsFn humain
(=> (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 est une instance de collection objet corpusculaire est une instance de HypertextLink physique physique est un membre de collection physique est une instance de AccessingWebPage collection est un composant de objet corpusculaire collection collection est une instance de collection processus processus est une instance de RequestingHyperlink objet corpusculaire est un patient de processus processus est un membre de collection equal ClickThroughRateFn collection and objet corpusculaire and le nombre d' instances dans collection + le nombre d' instances dans 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 est une instance de collection collection est une instance de collection collection est une sous-collection appartenant � collection physique physique est un membre de collection physique est une instance de AccessingWebPage processus AutonomousAgent, processus, processus and objet AutonomousAgent est une instance de humain processus est une instance de acheter processus est une instance de AccessingWebPage objet est une instance de WebPage processus est un membre de collection processus aboutit � objet processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent temps d'existence de processus prend place pendant temps d'existence de processus objet est un instrument pour processus processus est un membre de collection interval temporel entit�_IN_INTERVAL and entit�_IN_INTERVAL equal SCRFn collection and interval temporel and le nombre d' instances dans la classe d�crite par entit�_IN_INTERVAL + le nombre d' instances dans la classe d�crite par entit�_IN_INTERVAL

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	Ann�e est une instance de l' ann�e ann�eEAR equal MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e and nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
(<=> (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	Ann�e est une instance de l' ann�e nombre entier equal FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e and nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
(<=> (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	Ann�e est une instance de l' ann�e nombre entier equal LifeExpectancyAtBirthFn secteur g�opolitique and ann�e and nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
(<=> (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 liste and nombre r�el liste nombre entier positif equal longueur de liste and longueur de liste equal 1th liste and 1th liste nombre entier positif nombre entier positif est un membre de liste nombre r�el nombre r�elMINUSONE, nombre entier positif and nombre entier positif nombre r�el est plus grand que 1 nombre r�el est plus petit ou �gal � longueur de liste equal nombre entier positifth liste and nombre r�el nombre entier positif est un membre de liste equal nombre r�el and nombre entier positifth liste nombre entier positif est un membre de liste equal nombre r�elMINUSONE and ( nombre r�el + 1) equal nombre r�elMINUSONE and nombre entier positifth liste equal nombre entier positif and ( nombre entier positif + nombre entier positif) equal nombre entier positif and longueur de liste equal nombre r�el and nombre entier positifth liste + nombre entier positif
(<=> (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	Objet est plus large que objet nombre r�el nombre r�el and unit� de mesure la mesure de objet est nombre r�el unit� de mesure(s) la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfLength nombre r�el est plus grand que nombre r�el
(<=> (subCollection ?COLL1 ?COLL2) (forall (?MEMBER) (=> (member ?MEMBER ?COLL1) (member ?MEMBER ?COLL2))))	Merge.kif 1307-1312	Collection est une sous-collection appartenant � collection physique physique est un membre de collection physique est un membre de collection
(=> (allRoomsPhysicalAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ))))	Hotel.kif 171-176	allRoomsPhysicalAmenity RoomInventory and physique HotelUnit memberType RoomInventory and HotelUnit roomAmenity HotelUnit and physique
(=> (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 physique HotelUnit memberType RoomInventory and HotelUnit roomAmenity HotelUnit and physique
(=> (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	Attribut est un attribut de objet attribut est une instance de Sphere GeometricPoint mesure de longueur GeometricPoint GeometricPoint est un point de objet geometricDistance GeometricPoint, GeometricPoint and mesure de longueur
(=> (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 est un attribut de objet objet est une partie superficielle de objet attribut est un attribut de objet attribut est une instance de couleur primaire objet objet est une partie superficielle de objet attribut est un attribut de objet
(=> (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	Humain est un citoyen de nation UniversalSuffrageLaw est une sous-proposition de RegionalLawFn nation RegionalLawFn nation autorise humain � ex�cut� des t�ches du type entit� entit� and entit� humain est un citoyen de nation suffrageAgeMinimum nation and entit� YearDuration(s) l' humain est entit� YearDuration(s) entit� est plus grand ou �gal � entit� entit� est une instance de ElectionFn nation entit� entit� est une instance de VotingFn entit� entit� est un agent de humain
(=> (and (element ?X (PropertyFn ?HOTEL)) (instance ?X RoomInventory)) (forall (?Y) (=> (member ?Y ?X) (element ?Y (PropertyFn ?HOTEL)))))	Hotel.kif 147-154	Collection est un appartenir � AutonomousAgent collection est une instance de RoomInventory physique physique est un membre de collection physique est un appartenir � 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 le plus grand diviseur commun de @ROW and nombre entier equal nombre entier and 0 nombre entier nombre entier est un membre de (@ROW) equal nombre entier reste nombre entier 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 le plus grand diviseur commun de @ROW and nombre entier equal nombre entier and 0 nombre entier nombre entier est plus grand que nombre entier nombre entier nombre entier est un membre de (@ROW) equal nombre entier reste nombre entier 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 la racine carr�e de nombre entier de @ROW and nombre entier equal nombre entier and 0 nombre entier nombre entier est un membre de (@ROW) equal nombre entier reste nombre entier 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 la racine carr�e de nombre entier de @ROW and nombre entier equal nombre entier and 0 nombre entier nombre entier est moins que nombre entier nombre entier nombre entier est un membre de (@ROW) equal nombre entier reste nombre entier 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 est une instance de DataStorageDevice objet objet est un membre de Album objet exprimant un sens objet exprimant un sens est une copie exact de objet stored objet exprimant un sens and DataStorageDevice
(=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ))))	Merge.kif 10032-10039	Trou est un trou dans objet en une partie trou est un trou dans objet en une partie trou trou est une partie de l' union des parties de trou et trou trou est un trou dans objet en une partie
(=> (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 est une instance de AutonomousAgent WebSite est une instance de WebSite collection collection est une instance de collection WebListing WebListing est une instance de WebListing hostedOn WebListing and WebSite listingSeller WebListing and AutonomousAgent WebListing est un membre de collection equal SellersItemsFn AutonomousAgent 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 14261-14272	Objet est une instance de Chin objet est une instance de Face objet est une partie de objet objet objet est une partie de objet objet est une partie de objet objet est Below � objet
(=> (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	Processus est une instance de Grinding entit� est un patient de processus entit� est une instance de objet corpusculaire entit� entit� est le resultat de processus entit� est une instance de collection entit� entit� est un membre de entit� entit� est une partie de entit� pendant la fin de temps d'existence de processus
(=> (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	Interval temporel est une instance de interval temporel WebSite est une instance de WebSite collection collection est une instance de collection AutonomousAgent AutonomousAgent est un membre de collection interval temporel AutonomousAgent est une instance de AutonomousAgent interval temporel est une instance de acheter interval temporel est un agent de AutonomousAgent WebSite est un instrument pour interval temporel interval temporel prend place pendant interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de interval temporel interval temporel_BEFORE arrive plus t�t que interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de acheter interval temporel_BEFORE est un agent de AutonomousAgent WebSite est un instrument pour interval temporel_BEFORE interval temporel_BEFORE prend place pendant interval temporel pendant interval temporel_BEFORE equal SiteWideNewBuyersFn interval temporel and WebSite 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	Interval temporel est une instance de interval temporel WebSite est une instance de WebSite collection collection est une instance de collection physique physique est une instance de humain interval temporel_BEFORE interval temporel_BEFORE est une instance de interval temporel interval temporel_BEFORE arrive plus t�t que interval temporel registeredUser physique and WebSite pendant interval temporel_BEFORE interval temporel_DURING interval temporel_DURING est une instance de interval temporel interval temporel_DURING prend place pendant interval temporel registeredUser physique and WebSite pendant interval temporel physique est un membre de collection equal collection and SiteWideNewRegistrationsFn interval temporel 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	Interval temporel est une instance de interval temporel WebSite est une instance de WebSite collection collection est une instance de collection AutonomousAgent AutonomousAgent est un membre de collection interval temporel AutonomousAgent est une instance de AutonomousAgent interval temporel est une instance de vendre interval temporel est un agent de AutonomousAgent WebSite est un instrument pour interval temporel interval temporel prend place pendant interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de interval temporel interval temporel_BEFORE arrive plus t�t que interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de vendre interval temporel_BEFORE est un agent de AutonomousAgent WebSite est un instrument pour interval temporel_BEFORE interval temporel_BEFORE prend place pendant interval temporel pendant interval temporel_BEFORE equal SiteWideNewSellersFn interval temporel and WebSite 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 est une instance de ElectionFn ?AGENT ?VOTING est une instance de VotingFn ?ELECTION ?VOTING est un agent de ?VOTER Male est un attribut de ?VOTER contient information 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 885-893	?COUNTRY ?ELECTION, ?VOTING and ?VOTER ?COUNTRY est une instance de nation ?ELECTION est une instance de ElectionFn ?COUNTRY ?VOTING est une instance de VotingFn ?ELECTION ?VOTING est un agent de ?VOTER ?VOTER est un citoyen de ?COUNTRY contient information 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 1054-1065	?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE ?AGENT est un citoyen de ?POLITY suffrageAgeMinimum ?POLITY and ?VOTINGAGE YearDuration(s) l' YearDuration(s) ?AGE est plus grand ou �gal � ?VOTINGAGE ?ELECTION est une instance de ElectionFn ?POLITY ?AGENT est capable de faire VotingFn ?ELECTION dans le r�le agent contient information 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 1122-1136	?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE ?VOTER est un citoyen de ?POLITY suffrageAgeMinimum ?POLITY and ?VOTINGAGE YearDuration(s) l' YearDuration(s) ?AGE est plus grand ou �gal � ?VOTINGAGE ?ELECTION est une instance de ElectionFn ?POLITY ?VOTING ?VOTING est une instance de VotingFn ?ELECTION ?VOTING est un agent de ?VOTER contient information 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 1972-1980	Interval temporel interval temporel est une instance de interval temporel interval temporel finit temps d'existence de JesusOfNazareth interval temporel commence temps d'existence de TwelveApostles entit� entit� est un membre de TwelveApostles pendant interval temporel friend entit� and JesusOfNazareth pendant interval temporel

appearance as argument number 0

(forall (?NUMBER) (equal (MeasureFn ?NUMBER OunceMass) (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass)))	Mid-level-ontology.kif 14672-14675	Nombre r�el equal nombre r�el OunceMass(s) and nombre r�el + 16.0 PoundMass(s)
(forall (?NUMBER) (equal (PredecessorFn ?NUMBER) (SubtractionFn ?NUMBER 1)))	Merge.kif 4764-4765	Nombre entier equal ( nombre entier+2) and ( nombre entier + 1)
(forall (?NUMBER) (equal (SuccessorFn ?NUMBER) (AdditionFn ?NUMBER 1)))	Merge.kif 4748-4749	Nombre entier equal ( nombre entier+1) and ( nombre entier + 1)
(forall (@ROW ?ITEM) (equal (ListLengthFn (ListFn @ROW ?ITEM)) (SuccessorFn (ListLengthFn (ListFn @ROW)))))	Merge.kif 3050-3053	@ROW Entit� equal longueur de (@ROW + entit�) and (longueur de (@ROW)+1)
(forall (@ROW ?ITEM) (equal (ListOrderFn (ListFn @ROW ?ITEM) (ListLengthFn (ListFn @ROW ?ITEM))) ?ITEM))	Merge.kif 3055-3059	@ROW Entit� equal longueur de (@ROW + entit�)th entit�) and entit�
(forall (@ROW ?ITEM) (initialList (ListFn @ROW) (ListFn @ROW ?ITEM)))	Merge.kif 3330-3331	@ROW Entit� (@ROW) commence (@ROW + entit�)

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: