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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - possesses
possesses

appearance as argument number 1
-------------------------


s__documentation(s__possesses__m,s__ChineseLanguage,'"这是一个属于一个 Agent 和一个 ObjectRelation,当这个 Agent 拥有这个 Object 时,这段关系就成立了。 "')

chinese_format.kif 2133-2134
s__documentation(s__possesses__m,s__EnglishLanguage,'"Relation that holds between an Agent and an Object when the Agent has ownership of the Object. Note that this is distinct from having the right to use or be located at a particular object, for example, by Renting."')

Merge.kif 4103-4106
s__domain(s__possesses__m,n__1,s__Agent)

Merge.kif 4100-4100 The number 1 argument of possesses is an instance of agent
s__domain(s__possesses__m,n__2,s__Object)

Merge.kif 4101-4101 The number 2 argument of possesses is an instance of object
s__instance(s__possesses__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 4099-4099 possesses is an instance of asymmetric relation
s__instance(s__possesses__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 4098-4098 possesses is an instance of binary predicate

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__possesses__m,'"%1 %n{doesnt} possesses %2"')

chinese_format.kif 171-171
s__format(s__EnglishLanguage,s__possesses__m,'"%1 %n{doesnt} possess%p{es} %2"')

english_format.kif 175-175
s__relatedInternalConcept(s__ChangeOfPossession,s__possesses__m)

Merge.kif 11115-11115 Change of possession is internally related to possesses
s__subrelation(s__financialAsset__m,s__possesses__m)

Mid-level-ontology.kif 22065-22065 financialAsset is a subrelation of possesses
s__subrelation(s__hasAccount__m,s__possesses__m)

QoSontology.kif 2074-2074 has account is a subrelation of possesses
s__termFormat(s__ChineseLanguage,s__possesses__m,'""')

chinese_format.kif 172-172
s__termFormat(s__ChineseLanguage,s__possesses__m,'"拥有"')

domainEnglishFormat.kif 46784-46784
s__termFormat(s__ChineseTraditionalLanguage,s__possesses__m,'"擁有"')

domainEnglishFormat.kif 46783-46783
s__termFormat(s__EnglishLanguage,s__possesses__m,'"possesses"')

domainEnglishFormat.kif 46782-46782

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


( ! [V__Agent,V__Account,V__Asset] :
   (((s__instance(V__Agent,s__CognitiveAgent) &
         s__instance(V__Asset,s__FinancialAsset) &
         s__instance(V__Asset,s__Object))
       =>
       ((((s__instance(V__Account,s__FinancialAccount) &
               s__possesses(V__Agent,V__Asset)
             &
             (V__Account = s__AccountFn(V__Asset)))
         =>
         s__accountHolder(V__Account,V__Agent))
     &
     (s__accountHolder(V__Account,V__Agent)
     =>
     (s__instance(V__Account,s__FinancialAccount) &
       s__possesses(V__Agent,V__Asset)
     &
     (V__Account = s__AccountFn(V__Asset)))))))
)
)

FinancialOntology.kif 2270-2275 A financial account is an instance of financial account and a cognitive agent possesses a financial asset and the financial account is equal to the account of the financial asset if and only if the cognitive agent holds account the financial account
( ! [V__AGENT,V__CUST,V__X,V__LUGGAGE] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__X,s__CognitiveAgent))
       =>
       (((s__customer(V__CUST,V__AGENT)
           &
           s__employs(V__AGENT,V__X)
         &
         s__attribute(V__AGENT,s__TravelerAccommodation) &
         s__attribute(V__X,s__Porter) &
         s__possesses(V__CUST,V__LUGGAGE)
       &
       s__instance(V__LUGGAGE,s__TravelContainer))
     =>
     (( ? [V__ROOM, V__CARRY] :
         ((s__instance(V__ROOM,s__HotelUnit) &
             s__instance(V__CARRY,s__Carrying) &
             s__agent(V__CARRY,V__X)
           &
           (s__destination(V__CARRY,V__ROOM)
           |
           s__origin(V__CARRY,V__ROOM)))))))))
)
)

Hotel.kif 2352-2367
( ! [V__AGENT,V__R,V__CUST,V__X,V__RM,V__FR,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__subclass(V__FR,s__HotelFunctionRoom) &
         s__instance(V__FR,s__Class) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__freeFunctionRoomAmenity(V__FR,V__PHYS)
           &
           s__instance(V__RM,V__FR)
         &
         s__element(V__RM,s__PropertyFn(V__AGENT))
     &
     s__instance(V__R,s__Renting) &
     s__patient(V__R,V__RM)
   &
   s__destination(V__R,V__CUST)
&
s__instance(V__X,V__PHYS)
&
s__possesses(V__AGENT,V__X)
&
s__customer(V__CUST,V__AGENT)
&
((s__instance(V__X,s__Process) &
(s__agent(V__X,V__CUST)
|
s__experiencer(V__X,V__CUST)))
|
(s__possesses(V__AGENT,V__X)
&
s__instance(V__X,s__Object) &
s__uses(V__CUST,V__X))))
=>
(s__price(V__X,s__MeasureFn(n__0,s__UnitedStatesDollar),V__AGENT)))))
)
)

Hotel.kif 820-841
( ! [V__AGENT,V__CUST,V__X,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__freePropertyAmenity(V__AGENT,V__PHYS)
           &
           s__instance(V__X,V__PHYS)
         &
         s__customer(V__CUST,V__AGENT)
       &
       ((s__instance(V__X,s__Process) &
           (s__agent(V__X,V__CUST)
           |
           s__experiencer(V__X,V__CUST)))
     |
     (s__possesses(V__AGENT,V__X)
     &
     s__instance(V__X,s__Object) &
     s__uses(V__CUST,V__X))))
=>
(s__price(V__X,s__MeasureFn(n__0,s__UnitedStatesDollar),V__AGENT)))))
)
)

Hotel.kif 526-541
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4398-4415
No TPTP formula. May not be expressible in strict first order. Merge.kif 4112-4118
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3195-3205
( ! [V__BondHolder,V__Bond,V__Interest] :
   (((s__instance(V__BondHolder,s__Agent) &
         s__instance(V__Interest,s__Interest))
       =>
       (((s__instance(V__Bond,s__Bond) &
             s__couponInterest(V__Bond,V__Interest)
           &
           s__possesses(V__BondHolder,V__Bond))
       =>
       (( ? [V__Period, V__Payment] :
           ((s__instance(V__Period,s__TimeDuration) &
               s__instance(V__Payment,s__Process) &
               (s__periodicPayment(s__AccountFn(V__Bond)
              ,V__Interest,V__Period)
             &
             s__destination(V__Payment,V__BondHolder)))))))))
)
)

FinancialOntology.kif 2219-2227
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2338-2347
( ! [V__Period,V__Total,V__BondHolder,V__Date,V__Bond,V__Interest,V__Principal] :
   (((s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Total,s__Number) &
         s__instance(V__Total,s__CurrencyMeasure) &
         s__instance(V__BondHolder,s__Agent) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Interest,s__Number) &
         s__instance(V__Principal,s__Number) &
         s__instance(V__Principal,s__CurrencyMeasure))
       =>
       (((s__instance(V__Bond,s__ZeroCouponBond) &
             s__maturityDate(s__AccountFn(V__Bond)
          ,V__Date)
         &
         s__possesses(V__BondHolder,V__Bond)
       &
       s__principalAmount(s__AccountFn(V__Bond)
    ,V__Principal)
   &
   s__agreementPeriod(s__AccountFn(V__Bond)
,V__Period)
&
s__interestEarned(s__AccountFn(V__Bond)
,V__Interest,V__Period)
&
(V__Total = s__AdditionFn(V__Principal,V__Interest)))
=>
(( ? [V__Payment] :
((s__instance(V__Payment,s__Payment) &
s__destination(V__Payment,V__BondHolder)
&
s__origin(V__Payment,s__AccountFn(V__Bond))
&
s__transactionAmount(V__Payment,V__Total))))))))
)
)

FinancialOntology.kif 2282-2296
( ! [V__P1,V__P2,V__C] :
   (((s__instance(V__P1,s__Organism) &
         s__instance(V__P2,s__Organism))
       =>
       (((s__instance(V__C,s__FamilyBusiness) &
             s__possesses(V__P1,V__C)
           &
           s__possesses(V__P2,V__C))
       =>
       (s__familyRelation(V__P1,V__P2)))))
)
)

Mid-level-ontology.kif 6617-6622
No TPTP formula. May not be expressible in strict first order. Merge.kif 11120-11127
( ! [V__Agent,V__Card] :
   ((s__instance(V__Agent,s__CognitiveAgent) =>
       (((s__instance(V__Card,s__CreditCard) &
             s__possesses(V__Agent,V__Card))
         =>
         (( ? [V__Account] :
             ((s__instance(V__Account,s__CreditCardAccount) &
                 s__cardAccount(V__Card,V__Account)
               &
               s__accountHolder(V__Account,V__Agent))))))))
)
)

FinancialOntology.kif 218-226
( ! [V__Agent,V__Card,V__Transaction] :
   ((s__instance(V__Agent,s__Agent) =>
       (((s__instance(V__Card,s__DebitCard) &
             s__possesses(V__Agent,V__Card)
           &
           s__instance(V__Transaction,s__FinancialTransaction) &
           s__instrument(V__Transaction,V__Card))
       =>
       (( ? [V__PIN, V__Enter] :
           ((s__instance(V__PIN,s__SymbolicString) &
               (s__pin(V__PIN,V__Card)
               &
               s__instance(V__Enter,s__EnteringAPin) &
               s__patient(V__Enter,V__PIN)
             &
             s__agent(V__Enter,V__Agent)))))))))
)
)

FinancialOntology.kif 3483-3494
( ! [V__Agent,V__Card] :
   ((s__instance(V__Agent,s__CognitiveAgent) =>
       (((s__instance(V__Card,s__DebitCard) &
             s__possesses(V__Agent,V__Card))
         =>
         (( ? [V__Account] :
             ((s__instance(V__Account,s__DepositAccount) &
                 s__cardAccount(V__Card,V__Account)
               &
               s__accountHolder(V__Account,V__Agent))))))))
)
)

FinancialOntology.kif 203-211
( ! [V__AGENT,V__DEGREE] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__DEGREE,s__AcademicDegree) &
             s__possesses(V__AGENT,V__DEGREE))
         =>
         (( ? [V__PROGRAM, V__STUDY] :
             ((s__instance(V__STUDY,s__Process) &
                 (s__instance(V__PROGRAM,s__EducationalProgram) &
                   s__realization(V__STUDY,V__PROGRAM)
                 &
                 s__experiencer(V__STUDY,V__AGENT)))))))))
)
)

Mid-level-ontology.kif 14760-14768
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23265-23272
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23130-23137
( ! [V__AGENT,V__FLEET,V__NUM] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__NUM,s__Integer))
       =>
       (((s__instance(V__FLEET,s__Fleet) &
             s__fleetSize(V__AGENT,V__NUM)
           &
           s__possesses(V__AGENT,V__FLEET))
       =>
       (s__memberCount(V__FLEET,V__NUM)))))
)
)

Mid-level-ontology.kif 3461-3466
( ! [V__INTERNAL,V__AREA] :
   ((s__instance(V__AREA,s__Agent) =>
       (((s__instance(V__INTERNAL,s__InternalShipRegister) &
             s__possesses(V__AREA,V__INTERNAL))
         =>
         (s__instance(V__AREA,s__Nation)))))
   )
)

Transportation.kif 1176-1180
( ! [V__OWNER,V__ITEM,V__LISTING] :
   (((s__instance(V__ITEM,s__Object) &
         s__instance(V__LISTING,s__WebListing) &
         s__instance(V__OWNER,s__Agent) &
         s__attribute(V__LISTING,s__ForSaleByOwner) &
         s__possesses(V__OWNER,V__ITEM))
     =>
     (s__instance(V__OWNER,s__Human)))
   )
)

UXExperimentalTerms.kif 472-479
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15088-15099
( ! [V__NATIONAL,V__AREA] :
   ((s__instance(V__AREA,s__Agent) =>
       (((s__instance(V__NATIONAL,s__NationalShipRegister) &
             s__possesses(V__AREA,V__NATIONAL))
         =>
         (s__instance(V__AREA,s__Nation)))))
   )
)

Transportation.kif 1126-1130
( ! [V__OFFSHORE,V__AREA] :
   ((s__instance(V__AREA,s__Agent) =>
       (((s__instance(V__OFFSHORE,s__OffshoreShipRegister) &
             s__possesses(V__AREA,V__OFFSHORE))
         =>
         (s__instance(V__AREA,s__Nation)))))
   )
)

Transportation.kif 1192-1196
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14828-14835

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


( ! [V__OBJ,V__PERSON] :
   (((s__instance(V__OBJ,s__Object) &
         s__instance(V__PERSON,s__Agent))
       =>
       (((s__instance(V__OBJ,s__PropertyFn(V__PERSON))
         =>
         s__possesses(V__PERSON,V__OBJ))
     &
     (s__possesses(V__PERSON,V__OBJ)
     =>
     s__instance(V__OBJ,s__PropertyFn(V__PERSON))))))
)
)

Merge.kif 4135-4137 An object is an instance of belongings of an agent if and only if the agent possesses the object
( ! [V__ACCT,V__SITE] :
   (((s__instance(V__ACCT,s__UserAccount) &
         s__instance(V__SITE,s__Agent) &
         s__instance(V__SITE,s__WebSite))
       =>
       ((s__accountAtSite(V__ACCT,V__SITE)
         =>
         (( ? [V__DATABASE, V__SITE_OWNER] :
             ((s__instance(V__DATABASE,s__Database) &
                 s__instance(V__SITE_OWNER,s__Agent) &
                 s__possesses(V__SITE,V__SITE_OWNER)
               &
               s__possesses(V__DATABASE,V__SITE_OWNER)
             &
             s__part(V__ACCT,V__DATABASE))))))))
)
)

UXExperimentalTerms.kif 784-792
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27657-27669
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18705-18726
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3632-3640
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3649-3657
No TPTP formula. May not be expressible in strict first order. Merge.kif 4112-4118
( ! [V__AREA] :
   (((s__instance(V__AREA,s__GeopoliticalArea) &
         s__instance(s__MerchantMarineFn(V__AREA)
      ,s__MerchantMarine))
     =>
     (s__possesses(V__AREA,s__MerchantMarineFn(V__AREA))))
)
)

Transportation.kif 978-982
( ! [V__AREA] :
   (((s__instance(V__AREA,s__GeopoliticalArea) &
         s__instance(s__ShipRegisterFn(V__AREA)
      ,s__ShipRegister))
     =>
     (s__possesses(V__AREA,s__ShipRegisterFn(V__AREA))))
)
)

Transportation.kif 1139-1143
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16817-16833
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2338-2347
No TPTP formula. May not be expressible in strict first order. Merge.kif 11129-11139
( ! [V__AGENT,V__DESTR] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__DESTR,s__PreciseDestruction) &
             s__agent(V__DESTR,V__AGENT))
         =>
         (( ? [V__WEAPON] :
             ((s__possesses(V__AGENT,V__WEAPON)
               &
               s__instrument(V__DESTR,V__WEAPON)
             &
             s__instance(V__WEAPON,s__HighPrecisionWeapon))))))))
)
)

MilitaryProcesses.kif 601-609
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16759-16777
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1288-1297
No TPTP formula. May not be expressible in strict first order. naics.kif 7960-7985
No TPTP formula. May not be expressible in strict first order. naics.kif 8743-8763
No TPTP formula. May not be expressible in strict first order. naics.kif 8472-8495
No TPTP formula. May not be expressible in strict first order. naics.kif 8714-8734
No TPTP formula. May not be expressible in strict first order. naics.kif 8041-8066
No TPTP formula. May not be expressible in strict first order. naics.kif 8535-8556
No TPTP formula. May not be expressible in strict first order. naics.kif 8351-8371
No TPTP formula. May not be expressible in strict first order. naics.kif 8260-8282
No TPTP formula. May not be expressible in strict first order. naics.kif 8783-8804
No TPTP formula. May not be expressible in strict first order. naics.kif 8087-8112

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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