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."')

Merge.kif 4057-4058
s__domain(s__possesses__m,n__1,s__Agent)

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

Merge.kif 4055-4055 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 4053-4053 possesses is an instance of asymmetric relation
s__instance(s__possesses__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 4052-4052 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 10832-10832 Change of possession is internally related to possesses
s__subrelation(s__financialAsset__m,s__possesses__m)

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

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

domainEnglishFormat.kif 46698-46698

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 2251-2256 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 2338-2353
( ! [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__SetOrClass) &
       s__instance(V__PHYS,s__SetOrClass))
     =>
     (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 814-835
( ! [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__SetOrClass))
     =>
     (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 522-537
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4352-4369
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3166-3176
( ! [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 2200-2208
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2319-2328
( ! [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__CurrencyMeasure) &
       s__instance(V__BondHolder,s__Agent) &
       s__instance(V__Date,s__Day) &
       s__instance(V__Interest,s__Interest) &
       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 2263-2277
( ! [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 6934-6939
No TPTP formula. May not be expressible in strict first order. Merge.kif 10837-10844
( ! [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 3441-3452
( ! [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 14104-14112
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23059-23066
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22939-22946
( ! [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 4061-4066
( ! [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 1165-1169
( ! [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 469-476
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14438-14449
( ! [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 1115-1119
( ! [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 1181-1185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14183-14190
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14162-14176

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 4079-4081 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 780-788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27682-27694
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18261-18282
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3590-3598
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3607-3615
( ! [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 967-971
( ! [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 1128-1132
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16349-16365
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2319-2328
No TPTP formula. May not be expressible in strict first order. Merge.kif 10846-10856
( ! [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 16294-16312
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1275-1284
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 8659-8679
No TPTP formula. May not be expressible in strict first order. naics.kif 8388-8411
No TPTP formula. May not be expressible in strict first order. naics.kif 8630-8650
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 8451-8472
No TPTP formula. May not be expressible in strict first order. naics.kif 8267-8287
No TPTP formula. May not be expressible in strict first order. naics.kif 8176-8198
No TPTP formula. May not be expressible in strict first order. naics.kif 8699-8720
No TPTP formula. May not be expressible in strict first order. naics.kif 8087-8112
No TPTP formula. May not be expressible in strict first order. Merge.kif 11916-11921

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners