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 4137-4140
s__domain(s__possesses__m,n__1,s__Agent)

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

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

s__instance(s__AsymmetricRelation,s__Class)

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

s__instance(s__BinaryPredicate,s__Class)

Merge.kif 4132-4132 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 172-172
s__relatedInternalConcept(s__ChangeOfPossession,s__possesses__m)

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

Mid-level-ontology.kif 23147-23147 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 46785-46785
s__termFormat(s__ChineseTraditionalLanguage,s__possesses__m,'"擁有"')

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

domainEnglishFormat.kif 46783-46783

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 2291-2296 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 2365-2380
( ! [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 4391-4408
No TPTP formula. May not be expressible in strict first order. Merge.kif 4146-4152
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 2240-2248
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2359-2368
( ! [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 2303-2317
( ! [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 6905-6910
No TPTP formula. May not be expressible in strict first order. Merge.kif 11164-11171
( ! [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 3504-3515
( ! [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 15789-15797
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24345-24352
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24211-24218
( ! [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 3463-3468
( ! [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 16156-16167
( ! [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 15857-15864

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 4169-4171 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__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_OWNER,V__SITE)
               &
               s__possesses(V__SITE_OWNER,V__DATABASE)
             &
             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 28750-28762
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19774-19795
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3653-3661
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3670-3678
No TPTP formula. May not be expressible in strict first order. Merge.kif 4146-4152
( ! [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 17885-17901
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2359-2368
No TPTP formula. May not be expressible in strict first order. Merge.kif 11173-11183
( ! [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 17827-17845
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 7953-7978
No TPTP formula. May not be expressible in strict first order. naics.kif 8736-8756
No TPTP formula. May not be expressible in strict first order. naics.kif 8465-8488
No TPTP formula. May not be expressible in strict first order. naics.kif 8707-8727
No TPTP formula. May not be expressible in strict first order. naics.kif 8034-8059
No TPTP formula. May not be expressible in strict first order. naics.kif 8528-8549
No TPTP formula. May not be expressible in strict first order. naics.kif 8344-8364
No TPTP formula. May not be expressible in strict first order. naics.kif 8253-8275
No TPTP formula. May not be expressible in strict first order. naics.kif 8776-8797
No TPTP formula. May not be expressible in strict first order. naics.kif 8080-8105

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