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

Formal Language: 



KB Term:  Term intersection
English Word: 

  =>

 Sigma KEE - =>
=>

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


(=>
    (=>
        (element ?ELEMENT ?SUBSET)
        (element ?ELEMENT ?SET))
    (subset ?SUBSET ?SET))		 Merge.kif 5405-5409
(=>
    (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 5993-6006
(=>
    (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 5979-5991
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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 7350-7364
(=>
    (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
(=>
    (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
(=>
    (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

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 MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est 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 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 FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est 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 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 LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est 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 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 longueur de liste est longueur de liste 1th liste est liste nombre entier positif nombre entier positif est longueur de liste nombre r�el est 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 7780-7788 Objet est plus large que objet nombre r�el nombre r�el and unit� de mesure
(<=>
    (subCollection ?COLL1 ?COLL2)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?COLL1)
            (member ?MEMBER ?COLL2))))		 Merge.kif 1297-1302 Collection est une sous-collection appartenant � collection physique
(=>
    (allRoomsPhysicalAmenity ?INV ?OBJ)
    (forall (?X)
        (=>
            (memberType ?INV ?X)
            (roomAmenity ?X ?OBJ))))		 Hotel.kif 171-176
(=>
    (allRoomsPolicy ?INV ?POLICY)
    (forall (?X)
        (=>
            (memberType ?INV ?X)
            (roomPolicy ?X ?POLICY))))		 Hotel.kif 233-238
(=>
    (allRoomsServiceAmenity ?INV ?OBJ)
    (forall (?X)
        (=>
            (memberType ?INV ?X)
            (roomAmenity ?X ?OBJ))))		 Hotel.kif 218-223
(=>
    (and
        (attribute ?OBJ ?SPHERE)
        (instance ?SPHERE Sphere))
    (exists (?CENTER ?DIST)
        (forall (?PT)
            (=>
                (pointOfFigure ?PT ?OBJ)
                (geometricDistance ?PT ?CENTER ?DIST)))))		 Mid-level-ontology.kif 4989-4997
(=>
    (and
        (attribute ?OBJ Monochromatic)
        (superficialPart ?PART ?OBJ)
        (attribute ?PART ?COLOR)
        (instance ?COLOR PrimaryColor))
    (forall (?ELEMENT)
        (=>
            (superficialPart ?ELEMENT ?OBJ)
            (attribute ?ELEMENT ?COLOR))))		 Merge.kif 17710-17719
(=>
    (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 1132-1152
(=>
    (and
        (element ?X
            (PropertyFn ?HOTEL))
        (instance ?X RoomInventory))
    (forall (?Y)
        (=>
            (member ?Y ?X)
            (element ?Y
                (PropertyFn ?HOTEL)))))		 Hotel.kif 147-154
(=>
    (and
        (equal
            (GreatestCommonDivisorFn @ROW) ?NUMBER)
        (not
            (equal ?NUMBER 0)))
    (forall (?ELEMENT)
        (=>
            (inList ?ELEMENT
                (ListFn @ROW))
            (equal
                (RemainderFn ?ELEMENT ?NUMBER) 0))))		 Merge.kif 4861-4872
(=>
    (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 4874-4888
(=>
    (and
        (equal
            (LeastCommonMultipleFn @ROW) ?NUMBER)
        (not
            (equal ?NUMBER 0)))
    (forall (?ELEMENT)
        (=>
            (inList ?ELEMENT
                (ListFn @ROW))
            (equal
                (RemainderFn ?NUMBER ?ELEMENT) 0))))		 Merge.kif 4946-4956
(=>
    (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 4958-4972
(=>
    (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 936-946
(=>
    (and
        (exactCardinality ?REL ?ARG ?COUNT)
        (instance ?REL Predicate))
    (exists (?S ?EL @ARGS)
        (and
            (instance ?S SetOrClass)
            (=>
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG)))
                (and
                    (instance ?EL ?S)
                    (equal
                        (CardinalityFn ?S) ?COUNT))))))		 Media.kif 2137-2150
(=>
    (and
        (hole ?HOLE1 ?OBJ)
        (hole ?HOLE2 ?OBJ))
    (forall (?HOLE3)
        (=>
            (part ?HOLE3
                (MereologicalSumFn ?HOLE1 ?HOLE2))
            (hole ?HOLE3 ?OBJ))))		 Merge.kif 9916-9923
(=>
    (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
(=>
    (and
        (instance ?C Crystal)
        (attribute ?C MonoCrystalline)
        (instance ?SUB Substance)
        (attribute ?SUB Solid)
        (attribute ?SUB PolyCrystalline)
        (instance ?S Substance)
        (surface ?S ?SUB)
        (not
            (part ?C ?S)))
    (exists (?CLNT ?X ?MBR)
        (and
            (instance ?CLNT Collection)
            (memberCount ?CLNT ?X)
            (greaterThanOrEqualTo ?X 4)
            (=>
                (member ?MBR ?CLNT)
                (and
                    (part ?MBR ?SUB)
                    (meetsSpatially ?C ?MBR))))))		 Geography.kif 7142-7162
(=>
    (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 12929-12940
(=>
    (and
        (instance ?DEATH Death)
        (instance ?ORG Organism)
        (experiencer ?DEATH ?ORG))
    (exists (?REM ?OBJ)
        (and
            (result ?DEATH ?REM)
            (instance ?REM OrganicObject)
            (holdsDuring
                (FutureFn
                    (WhenFn ?DEATH))
                (attribute ?REM Dead))
            (=>
                (holdsDuring
                    (ImmediateFutureFn
                        (WhenFn ?DEATH))
                    (part ?OBJ ?REM))
                (holdsDuring
                    (ImmediatePastFn
                        (WhenFn ?DEATH))
                    (part ?OBJ ?ORG))))))		 Merge.kif 10244-10259
(=>
    (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 1012-1026

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 1241-1248 ?AGENT ?VOTER, ?ELECTION and ?VOTING 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 923-931 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER 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 1092-1103 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE 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 1160-1174 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE 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 1970-1978 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�

appearance as argument number 0
-------------------------


(=>
    (<=>
        (element ?ELEMENT ?SET1)
        (element ?ELEMENT ?SET2))
    (equal ?SET1 ?SET2))		 Merge.kif 5421-5425
(=>
    (=>
        (element ?ELEMENT ?SUBSET)
        (element ?ELEMENT ?SET))
    (subset ?SUBSET ?SET))		 Merge.kif 5405-5409
(=>
    (accommodationProvider ?PKG ?HOTEL)
    (attribute ?HOTEL TravelerAccommodation))		 Hotel.kif 2768-2770
(=>
    (accountAtSite ?ACCT ?SITE)
    (exists (?DATABASE ?SITE_OWNER)
        (and
            (instance ?DATABASE Database)
            (instance ?SITE_OWNER AutonomousAgent)
            (possesses ?SITE_OWNER ?SITE)
            (possesses ?SITE_OWNER ?DATABASE)
            (part ?ACCT ?DATABASE))))		 UXExperimentalTerms.kif 632-640
(=>
    (actedIn ?ACTOR ?O)
    (exists (?PERF)
        (and
            (instance ?PERF DramaticActing)
            (patient ?PERF ?ACTOR)
            (result ?PERF ?O))))		 Mid-level-ontology.kif 20751-20757
(=>
    (activityCapability ?AGENT ?ACT)
    (exists (?LOC)
        (and
            (element ?LOC
                (PropertyFn ?AGENT))
            (capability ?ACT located ?LOC))))		 Hotel.kif 599-604
(=>
    (adjacentOrientation ?OBJ1 ?OBJ2)
    (exists (?X)
        (and
            (instance ?X ?OBJ2)
            (orientation ?OBJ1 ?X Adjacent))))		 Hotel.kif 939-944
(=>
    (advertisedOn ?OBJ ?SITE)
    (exists (?ADVERT)
        (and
            (instance ?ADVERT Advertising)
            (hostedOn ?ADVERT ?SITE)
            (patient ?ADVERT ?OBJ))))		 UXExperimentalTerms.kif 193-199
(=>
    (agreementAdoptionDate ?AGR ?DATE)
    (exists (?PROCESS ?DAY)
        (and
            (instance ?PROCESS Committing)
            (instance ?DAY ?DATE)
            (patient ?PROCESS ?AGR)
            (time ?PROCESS ?DAY))))		 Government.kif 706-713
(=>
    (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)
    (and
        (exists (?CLAUSE)
            (containsInformation ?CLAUSE ?PROP))
        (partyToAgreement ?AGENT ?AGREEMENT)))		 Mid-level-ontology.kif 14071-14076
(=>
    (agreementClause ?PROP Permission ?AGREEMENT ?AGENT)
    (holdsRight
        (exists (?PROC)
            (and
                (realization ?PROC ?PROP)
                (agent ?PROC ?AGENT))) ?AGENT))		 Mid-level-ontology.kif 14099-14105
(=>
    (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)
    (not
        (holdsRight
            (exists (?PROC)
                (and
                    (realization ?PROC ?PROP)
                    (agent ?PROC ?AGENT))) ?AGENT)))		 Mid-level-ontology.kif 14090-14097
(=>
    (agreementExpirationDate ?AGREEMENT ?ENDDATE)
    (holdsDuring
        (FutureFn ?ENDDATE)
        (not
            (property ?AGREEMENT ActiveAgreement))))		 Mid-level-ontology.kif 14054-14057
(=>
    (agreementRevisionDate ?AGR ?DATE ?CHANGE)
    (exists (?TIME)
        (and
            (instance ?TIME ?DATE)
            (or
                (and
                    (holdsDuring
                        (ImmediatePastFn ?TIME)
                        (not
                            (subProposition ?CHANGE ?AGR)))
                    (holdsDuring
                        (ImmediateFutureFn ?TIME)
                        (subProposition ?CHANGE ?AGR)))
                (and
                    (holdsDuring
                        (ImmediatePastFn ?TIME)
                        (subProposition ?CHANGE ?AGR))
                    (holdsDuring
                        (ImmediateFutureFn ?TIME)
                        (not
                            (subProposition ?CHANGE ?AGR))))))))		 Government.kif 738-753
(=>
    (albumArtist ?A ?P)
    (exists (?R ?M)
        (and
            (instance ?R Recording)
            (inList ?R ?A)
            (record ?R ?M)
            (agent ?M ?P))))		 Music.kif 280-287
(=>
    (albumCoverImage ?A ?I)
    (represents ?I ?A))		 Music.kif 312-314
(=>
    (albumRelease ?A ?T)
    (and
        (exists (?R1 ?DS1)
            (releaseForSale
                (AlbumCopiesFn ?A ?DS1) ?R1 ?T))
        (not
            (exists (?B ?R2 ?DS2)
                (and
                    (before ?B ?T)
                    (releaseForSale
                        (AlbumCopiesFn ?A ?DS2) ?R2 ?B))))))		 Music.kif 261-270
(=>
    (allRoomsPhysicalAmenity ?INV ?OBJ)
    (forall (?X)
        (=>
            (memberType ?INV ?X)
            (roomAmenity ?X ?OBJ))))		 Hotel.kif 171-176
(=>
    (allRoomsPolicy ?INV ?POLICY)
    (forall (?X)
        (=>
            (memberType ?INV ?X)
            (roomPolicy ?X ?POLICY))))		 Hotel.kif 233-238
(=>
    (allRoomsServiceAmenity ?INV ?OBJ)
    (forall (?X)
        (=>
            (memberType ?INV ?X)
            (roomAmenity ?X ?OBJ))))		 Hotel.kif 218-223
(=>
    (almaMater ?PERSON ?SCHOOL)
    (exists (?EV)
        (and
            (instance ?EV EducationalProcess)
            (destination ?EV ?PERSON)
            (eventLocated ?EV ?SCHOOL)
            (holdsDuring
                (WhenFn ?EV)
                (attribute ?PERSON Student)))))		 Mid-level-ontology.kif 16851-16860
(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (exists (?TOP)
        (and
            (top ?TOP ?OBJ1)
            (distance ?TOP ?OBJ2 ?HEIGHT))))		 Merge.kif 7740-7745
(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (orientation ?OBJ1 ?OBJ2 Above))		 Merge.kif 7736-7738
(=>
    (altitude ?OBJ1 ?OBJ2 ?Q)
    (distance ?OBJ1 ?OBJ2 ?Q))		 Merge.kif 7717-7719
(=>
    (and
        (?ROLE ?EVENT ?OBJ)
        (instance ?ROLE CaseRole)
        (instance ?EVENT Process)
        (instance ?OBJ Object))
    (playsRoleInEvent ?OBJ ?ROLE ?EVENT))		 Mid-level-ontology.kif 23251-23257

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


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