possesses

-------------------------


(=>
    (and
        (instance ?S Saving)
        (patient ?S ?O)
        (agent ?S ?A))
    (exists (?Q1 ?Q2)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?S))
                (monetaryValue ?O ?Q1))
            (holdsDuring
                (EndFn
                    (WhenFn ?S))
                (monetaryValue ?O ?Q2))
            (possesses ?A ?O)
            (lessThan ?Q1 ?Q2))))
Mid-level-ontology.kif 21765-21779
(=>
    (and
        (instance ?SHIP Ship)
        (instance ?AREA GeopoliticalArea)
        (member ?SHIP
            (MerchantMarineFn ?AREA)))
    (exists (?REGISTRATION)
        (and
            (instance ?REGISTRATION ShipRegistration)
            (possesses ?SHIP ?REGISTRATION)
            (subsumesContentInstance
                (ShipRegisterFn ?AREA) ?REGISTRATION))))
Transportation.kif 1146-1155
(=>
    (and
        (instance ?T Trespassing)
        (agent ?T ?H)
        (patient ?T ?P))
    (and
        (not
            (possesses ?H ?P))
        (modalAttribute
            (located ?H ?P) Illegal)))
Mid-level-ontology.kif 15992-16002
(=>
    (and
        (instance ?UNIT ApartmentUnit)
        (home ?PERSON ?UNIT))
    (not
        (possesses ?PERSON ?UNIT)))
Mid-level-ontology.kif 6544-6548
(=>
    (and
        (instance ?X PhotocopyingService)
        (serviceProvider ?X ?AGENT))
    (exists (?DEVICE)
        (and
            (instance ?DEVICE Photocopier)
            (possesses ?AGENT ?DEVICE)
            (instrument ?X ?DEVICE))))
Hotel.kif 2084-2092
(=>
    (and
        (wants ?AGENT ?OBJ)
        (instance ?OBJ Object))
    (desires ?AGENT
        (possesses ?AGENT ?OBJ)))
Merge.kif 2678-2683
(=>
    (attribute ?Agent Investor)
    (exists (?Investment)
        (and
            (instance ?Investment Investment)
            (possesses ?Agent ?Investment))))
FinancialOntology.kif 1721-1726
(=>
    (attribute ?X PassengerCarRental)
    (hasPurpose ?X
        (exists (?RENT ?CAR ?CUST)
            (and
                (customer ?CUST ?X)
                (instance ?CAR Automobile)
                (instance ?RENT Renting)
                (possesses ?X ?CAR)
                (agent ?RENT ?CUST)))))
naics.kif 9634-9643
(=>
    (dependentGeopoliticalArea ?AREA ?COUNTRY)
    (possesses ?COUNTRY ?AREA))
Government.kif 458-460
(=>
    (dislikes ?AGENT ?OBJECT)
    (desires ?AGENT
        (not
            (possesses ?AGENT ?OBJECT))))
Mid-level-ontology.kif 7137-7139
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (mobilePhoneNumber ?NUMBER ?AGENT)))
    (holdsDuring ?TIME
        (possesses ?AGENT ?DEVICE)))
Mid-level-ontology.kif 23044-23049
(=>
    (holdsDuring ?TIME
        (attribute ?SLAVE HumanSlave))
    (exists (?PERSON)
        (and
            (instance ?PERSON Human)
            (not
                (equal ?PERSON ?SLAVE))
            (holdsDuring ?TIME
                (possesses ?PERSON ?SLAVE)))))
Mid-level-ontology.kif 307-314
(=>
    (holdsDuring ?TIME
        (lacks ?AGENT ?OBJECT))
    (holdsDuring ?TIME
        (not
            (possesses ?AGENT ?OBJECT))))
Mid-level-ontology.kif 7158-7160
(=>
    (instance ?AAU AssaultAmphibianUnit)
    (exists (?AAV)
        (and
            (instance ?AAV AAV)
            (possesses ?AAU ?AAV))))
MilitaryPersons.kif 642-647
(=>
    (instance ?AB ArtilleryBattery)
    (exists (?AC)
        (and
            (instance ?AC ArtilleryCannon)
            (possesses ?AB ?AC))))
MilitaryPersons.kif 494-499
(=>
    (instance ?AB InfantryUnit)
    (exists (?AC)
        (and
            (or
                (instance ?AC AutomaticGun)
                (instance ?AC Firearm)
                (instance ?AC MortarGun)
                (instance ?AC ExplosiveMine))
            (possesses ?AB ?AC))))
Military.kif 676-685
(=>
    (instance ?AIRLINE Airline)
    (exists (?FLEET ?AIRCRAFT)
        (and
            (instance ?FLEET Fleet)
            (possesses ?AIRLINE ?FLEET)
            (instance ?AIRCRAFT Aircraft)
            (member ?AIRCRAFT ?FLEET))))
Transportation.kif 3301-3308
(=>
    (instance ?C Partnership)
    (exists (?H1 ?H2)
        (and
            (instance ?H1 Human)
            (instance ?H2 Human)
            (not
                (equal ?H1 ?H2))
            (possesses ?H1 ?C)
            (possesses ?H2 ?C))))
Mid-level-ontology.kif 6879-6887
(=>
    (instance ?C Proprietorship)
    (exists (?H)
        (and
            (instance ?H Human)
            (possesses ?H ?C)
            (not
                (exists (?H2)
                    (and
                        (not
                            (equal ?H ?H2))
                        (possesses ?H2 ?C)))))))
Mid-level-ontology.kif 6975-6985
(=>
    (instance ?CHARGE FinalValueFee)
    (exists (?ADVERT ?SELLING ?OWNER ?ITEM ?SITE)
        (and
            (instance ?ADVERT WebListing)
            (instance ?SELLING Selling)
            (instance ?OWNER Agent)
            (instance ?ITEM Physical)
            (instance ?ADVERT WebListing)
            (patient ?ADVERT ?ITEM)
            (patient ?SELLING ?ITEM)
            (causes ?SELLING ?CHARGE)
            (agent ?CHARGE ?OWNER)
            (hostedOn ?ADVERT ?SITE)
            (possesses ?OWNER ?SITE)
            (eCommerceSite ?SELLING ?OWNER))))
UXExperimentalTerms.kif 305-320
(=>
    (instance ?CHARGE InsertionFee)
    (exists (?SITE ?OWNER ?ADVERT)
        (and
            (instance ?SITE WebSite)
            (instance ?OWNER Agent)
            (instance ?ADVERT WebListing)
            (hostedOn ?ADVERT ?SITE)
            (possesses ?OWNER ?SITE)
            (agent ?CHARGE ?OWNER))))
UXExperimentalTerms.kif 269-278
(=>
    (instance ?D Dormitory)
    (exists (?S)
        (and
            (instance ?S School)
            (possesses ?S ?D))))
Mid-level-ontology.kif 6644-6649
(=>
    (instance ?FD FoodDistributionOperation)
    (exists (?FOOD ?CA)
        (and
            (instance ?FOOD
                (FoodForFn Animal))
            (instance ?CA CognitiveAgent)
            (patient ?FD ?FOOD)
            (destination ?FD ?CA)
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?FD))
                (possesses ?CA ?FOOD)))))
Military.kif 62-71
(=>
    (instance ?Investment Investment)
    (exists (?Investing ?Agent)
        (and
            (agent ?Investing ?Agent)
            (possesses ?Agent ?Investment))))
FinancialOntology.kif 1706-1711
(=>
    (instance ?L Library)
    (exists (?B ?T)
        (and
            (possesses ?L ?B)
            (instance ?B LibraryBuilding)
            (instance ?T Text)
            (located ?T ?B))))
Mid-level-ontology.kif 8192-8199

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners