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

KB Term:  Term intersection
English Word: 

Sigma KEE - possesses
possesses

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


s__instance(s__possesses,s__BinaryPredicate)

 Merge.kif 4358-4358 possesses is an instance of binary predicate
s__domain(s__possesses,n__1,s__AutonomousAgent)

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

 Merge.kif 4360-4360 The number 2 argument of possesses is an instance of object
s__documentation(s__possesses, s__EnglishLanguage, "Relation that holds between an AutonomousAgent and an Object when the AutonomousAgent 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 4362-4365 The number 2 argument of possesses is an instance of object

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


s__relatedInternalConcept(s__ChangeOfPossession,s__possesses)

 Merge.kif 11918-11918 Change of possession is internally related to possesses
s__subrelation(s__financialAsset,s__possesses)

 Mid-level-ontology.kif 26138-26138 financial asset is a subrelation of possesses
s__subrelation(s__hasAccount,s__possesses)

 QoSontology.kif 2192-2192 has account is a subrelation of possesses
s__termFormat(s__EnglishLanguage, s__possesses, "possesses") domainEnglishFormat.kif 46795-46795 has account is a subrelation of possesses
s__termFormat(s__ChineseTraditionalLanguage, s__possesses, "擁有") domainEnglishFormat.kif 46796-46796 has account is a subrelation of possesses
s__termFormat(s__ChineseLanguage, s__possesses, "拥有") domainEnglishFormat.kif 46797-46797 has account is a subrelation of possesses
s__format(s__EnglishLanguage, s__possesses, "%1 %n{doesnt} possess%p{es} %2") english_format.kif 172-172 has account is a subrelation of possesses

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


! [V__OBJ : $i,V__PERSON : $i] : ((s__possesses(V__PERSON, V__OBJ) => s__modalAttribute(s__uses(V__OBJ, V__PERSON), s__Permission))) Merge.kif 4367-4369 If X possesses Y, then the statement X uses Y has the modal force of permission
! [V__OBJ : $i,V__P : $i,V__PERSON : $i,V__T : $i] : (((s__holdsDuring(V__T, s__possesses(V__PERSON, V__OBJ)) & s__part(V__P, V__OBJ)) => s__holdsDuring(V__T, s__possesses(V__PERSON, V__P)))) Merge.kif 4371-4377 If X possesses Y holds during Z and W is a part of Y, then X possesses W holds during Z
! [V__AGENT1 : $i,V__AGENT2 : $i,V__OBJ : $i,V__TIME : $i] : (((s__instance(V__TIME, s__TimePosition) & s__holdsDuring(V__TIME, s__possesses(V__AGENT1, V__OBJ)) & s__holdsDuring(V__TIME, s__possesses(V__AGENT2, V__OBJ))) => V__AGENT1 = V__AGENT2)) Merge.kif 4379-4384 If X is an instance of time position, Y possesses Z holds during X, and W possesses Z holds during X, then equal Y and W
! [V__PERSON,V__OBJ] :
(((s__instance(V__PERSON,s__AutonomousAgent) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__possesses(V__PERSON,V__OBJ)
     =>
     s__element(V__OBJ,s__PropertyFn(V__PERSON))))
)

 Merge.kif 4399-4402 If X possesses Y, then Y is an element of belongings of X
! [V__AGENT1 : $i,V__AGENT2 : $i,V__CHANGE : $i,V__OBJ : $i] : (((s__instance(V__CHANGE, s__ChangeOfPossession) & s__patient(V__CHANGE, V__OBJ) & s__holdsDuring(s__BeginFn(s__WhenFn(V__CHANGE)), s__possesses(V__AGENT1, V__OBJ)) & s__holdsDuring(s__EndFn(s__WhenFn(V__CHANGE)), s__possesses(V__AGENT2, V__OBJ))) => ~(V__AGENT1 = V__AGENT2))) Merge.kif 11923-11930 If X is an instance of change of possession, Y is a patient of X, Z possesses Y holds during the beginning of the time of existence of X, and W possesses Y holds during the end of the time of existence of X, then equal Z and W
! [V__AGENT,V__NUM,V__FLEET] :
(((s__instance(V__AGENT,s__AutonomousAgent) &
       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 4155-4160 If X is an instance of Fleet, Y has a fleet of Z vehicles, and Y possesses X, then Z is a member count of X
! [V__PERSON,V__UNIT] :
((s__instance(V__PERSON,s__Human) =>
     ((s__instance(V__UNIT,s__SingleFamilyResidence) &
         s__home(V__PERSON,V__UNIT)
       &
       s__possesses(V__PERSON,V__UNIT)
     &
     ~(s__instance(V__UNIT,s__Building)))
   =>
   s__instance(V__UNIT,s__CondominiumUnit)))
)

 Mid-level-ontology.kif 8237-8243 If X is an instance of single family residence, the home of Y is X, Y possesses X, and X is not an instance of building, then X is an instance of condominium unit
! [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 8566-8571 If X is an instance of family business, Y possesses X, and Z possesses X, then Y and Z are related
! [V__AGENT,V__DEGREE] :
((s__instance(V__AGENT,s__AutonomousAgent) =>
     ((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 18128-18136 If X is an instance of academic degree and Y possesses X, then there exist Z, W such that Z is an instance of educational program, W expresses the content of Z, and Y experiences W
! [V__AGENT : $i,V__CUST : $i,V__TICKET : $i] : (((s__issuedBy(V__TICKET, V__AGENT) & s__instance(V__TICKET, s__Ticket) & s__possesses(V__CUST, V__TICKET)) => s__confersNorm(V__AGENT, s__Permission, ( ? [V__T:$i] : (s__holdsDuring(V__T, ( ? [V__P:$i] : ((s__instance(V__P, s__Process) & s__agent(V__P, V__AGENT) & s__experiencer(V__P, V__CUST)))))))))) Mid-level-ontology.kif 18156-18168 If X is an issued by of Y, Y is an instance of ticket, and Z possesses Y, then X confers norm permission for there exists W such that there exists V such that V is an instance of process, X is an agent of V, and Z experiences V holds during W
! [V__A : $i,V__P : $i] : (((s__instance(V__P, s__Passport) & s__possesses(V__A, V__P)) => s__confersNorm(( ? [V__T:$i, V__N1:$i, V__N2:$i] : ((s__instance(V__T, s__Translocation) & s__agent(V__T, V__A) & s__origin(V__T, V__N1) & s__destination(V__T, V__N2) & s__instance(V__N1, s__Nation) & s__instance(V__N2, s__Nation) & ~(V__N1 = V__N2)))), s__Permission, V__P))) Mid-level-ontology.kif 18175-18189 If X is an instance of passport and Y possesses X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of translocation (3) Y is an agent of Z (4) Z originates at W (5) Z ends up at V (6) W is an instance of nation (7) V is an instance of nation (8) equal W (9) V confers norm permission for X
! [V__A : $i,V__P : $i] : (((s__instance(V__P, s__PassCertificate) & s__possesses(V__A, V__P)) => ( ? [V__L:$i] : (s__confersNorm(s__located(V__A, V__L), s__Permission, V__P))))) Mid-level-ontology.kif 18196-18203 If X is an instance of pass certificate and Y possesses X, then there exists Z such that Y is located at Z confers norm permission for X
! [V__A : $i,V__L : $i] : (((s__instance(V__L, s__DriversLicense) & s__possesses(V__A, V__L)) => s__confersNorm(V__L, s__Permission, ( ? [V__D:$i, V__V:$i] : ((s__instance(V__D, s__Driving) & s__agent(V__D, V__A) & s__patient(V__D, V__V) & s__instance(V__V, s__RoadVehicle))))))) Mid-level-ontology.kif 18500-18511 If X is an instance of drivers license and Y possesses X, then X confers norm permission for there exist Z, W such that Z is an instance of driving, Y is an agent of Z, W is a patient of Z, and W is an instance of road vehicle
! [V__AGENT : $i,V__DEVICE : $i,V__NUMBER : $i,V__TIME : $i] : (((s__instance(V__DEVICE, s__Telephone) & s__holdsDuring(V__TIME, (s__possesses(V__AGENT, V__DEVICE) & s__deviceTelecomNumber(V__NUMBER, V__DEVICE)))) => s__holdsDuring(V__TIME, s__telephoneNumber(V__NUMBER, V__AGENT)))) Mid-level-ontology.kif 27289-27296 If X is an instance of telephone and Y possesses X and X has number Z holds during W, then Z is the telephone number of Y holds during W
! [V__AGENT : $i,V__DEVICE : $i,V__NUMBER : $i,V__TIME : $i] : (((s__instance(V__DEVICE, s__FaxMachine) & s__holdsDuring(V__TIME, (s__deviceTelecomNumber(V__NUMBER, V__DEVICE) & s__possesses(V__AGENT, V__DEVICE)))) => s__holdsDuring(V__TIME, s__faxNumber(V__NUMBER, V__AGENT)))) Mid-level-ontology.kif 27478-27485 If X is an instance of fax machine and X has number Y and Z possesses X holds during W, then the fax number of Z is Y holds during W
! [V__AC : $i,V__D : $i,V__P : $i,V__S : $i,V__U : $i] : (((s__hasAccount(V__U, V__AC) & s__password(V__P, V__AC) & s__deviceAccount(V__AC, V__D) & ~(s__knows(V__U, s__password(V__P, V__AC))) & s__knows(V__U, s__recoveryKey(V__S, V__AC)) & s__possesses(V__U, V__D)) => s__modalAttribute(( ? [V__C:$i] : ((s__instance(V__C, s__ChangingPassword) & s__patient(V__C, V__AC) & s__agent(V__C, V__U)))), s__Possibility))) ComputingBrands.kif 4333-4350 If All of the following hold: (1) X has account Y (2) Y has password Z (3) device account Y and W (4) X doesn't know Y has password Z (5) X knows the account Y has recovery key V (6) X possesses W, then the statement there exists U such that U is an instance of change password, Y is a patient of U, and X is an agent of U has the modal force of possibility
! [V__DR : $i,V__E1 : $i,V__GRP1 : $i,V__REST : $i] : (((s__instance(V__REST, s__Restaurant) & s__instance(V__DR, s__DiningRoom) & s__attribute(V__DR, s__PrivateAttribute) & s__possesses(V__REST, V__DR) & s__customer(V__GRP1, V__REST) & s__instance(V__E1, s__Eating) & s__agent(V__E1, V__GRP1) & s__instance(V__GRP1, s__GroupOfPeople)) => s__modalAttribute(~(( ? [V__GRP2:$i, V__E2:$i] : ((s__customer(V__GRP2, V__REST) & ~(V__GRP1 = V__GRP2) & s__instance(V__E2, s__Eating) & s__agent(V__E2, V__GRP2) & s__holdsDuring(s__WhenFn(V__E1), s__eventLocated(V__E2, V__DR)))))), s__Likely))) Dining.kif 1230-1249 If All of the following hold: (1) X is an instance of restaurant (2) Y is an instance of dining room (3) private attribute is an attribute of Y (4) X possesses Y (5) X is a customer of Z (6) W is an instance of eating (7) Z is an agent of W (8) Z is an instance of group of people, then All of the following hold: (1) the statement there don't exist V (2) U such that X is a customer of V (3) equal Z (4) V (5) U is an instance of eating (6) V is an agent of U (7) U is located at Y holds during the time of existence of W has the modal force of likely
! [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 205-213 If X is an instance of debit card and Y possesses X, then there exists Z such that Z is an instance of deposit account, Z is a card account of X, and Y holds account Z
! [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 220-228 If X is an instance of credit card and Y possesses X, then there exists Z such that Z is an instance of credit card account, Z is a card account of X, and Y holds account Z
! [V__Agent : $i,V__Event : $i,V__N1 : $int,V__N2 : $int,V__N3 : $real,V__NewNumber : $real,V__Number : $real,V__Stocks : $i] : (((s__possesses(V__Agent, V__Stocks) & s__measure(V__Stocks, s__MeasureFn(V__Number, s__ShareUnit)) & s__splitFor(V__Event, V__N1, V__N2)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__Event)), (V__N3 = $product(V__Number ,V__N2) & V__NewNumber = s__DivisionFn(V__N3, V__N1) & s__measure(V__Stocks, s__MeasureFn(V__NewNumber, s__ShareUnit)))))) FinancialOntology.kif 2270-2280 If X possesses Y, the measure of Y is Z share unit(s), and W is split for V for U, then equal T and Z and U and equal S and T and V and the measure of Y is S share unit(s) holds during immediately after the time of existence of W
! [V__Interest,V__BondHolder,V__Bond] :
(((s__instance(V__Interest,s__Interest) &
       s__instance(V__BondHolder,s__AutonomousAgent))
     =>
     ((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 2311-2319 If X is an instance of bond, Y is a coupon interest of X, and Z possesses X, then there exist W, V such that the account of X is periodic payment Y for W, and V ends up at Z
! [V__Agent,V__Asset,V__Account] :
(((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 2362-2367 X is an instance of financial account, Y possesses Z, equal X, the account of Z if, and only if Y holds account X
! [V__Date,V__BondHolder,V__Principal,V__CUNIT,V__Period,V__Interest,V__Total,V__Bond] :
(((s__instance(V__Date,s__Day) &
       s__instance(V__BondHolder,s__AutonomousAgent) &
       s__instance(V__Principal,s__RealNumber) &
       s__instance(V__CUNIT,s__UnitOfMeasure) &
       s__instance(V__Period,s__TimeInterval) &
       s__instance(V__Interest,s__RealNumber) &
       s__instance(V__Total,s__RealNumber))
     =>
     ((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)
,s__MeasureFn(V__Principal,V__CUNIT))
&
s__agreementPeriod(s__AccountFn(V__Bond)
,V__Period)
&
s__interestEarned(s__AccountFn(V__Bond)
,s__MeasureFn(V__Interest,V__CUNIT)
,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,s__MeasureFn(V__Total,V__CUNIT)))))))
)

 FinancialOntology.kif 2374-2396 If All of the following hold: (1) X is an instance of zero coupon bond (2) Y is a maturity date of the account of X (3) Z possesses X (4) W V(s) is a principal amount of the account of X (5) U is an agreement period of the account of X (6) the account of X is interest earned T V(s) for U (7) equal S and (W and T), then there exists R such that R is an instance of payment and R ends up at Z and R originates at the account of X and S V(s) is a transaction amount of R
! [V__Agent : $i,V__Bond : $i,V__Default : $i,V__Security : $i] : (((s__instance(V__Bond, s__SecuredBond) & s__securedBy(V__Bond, V__Security) & s__possesses(V__Agent, V__Bond) & s__instance(V__Default, s__FinancialDefault) & s__patient(V__Default, V__Bond)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__Default)), s__possesses(V__Agent, V__Security)))) FinancialOntology.kif 2438-2447 If X is an instance of secured bond, Y is a secured by of X, Z possesses X, W is an instance of financial default, and X is a patient of W, then Z possesses Y holds during immediately after the time of existence of W
! [V__Agent,V__Level,V__Investment] :
(((s__instance(V__Agent,s__AutonomousAgent) &
       s__instance(V__Agent,s__Investor) &
       s__instance(V__Level,s__RiskAttribute))
     =>
     ((s__riskTolerance(V__Agent,V__Level)
       &
       s__instance(V__Investment,s__Investment) &
       s__possesses(V__Agent,V__Investment))
   =>
   s__riskLevel(V__Investment,V__Level)))
)

 FinancialOntology.kif 3548-3553 If X is a risk tolerance of Y, Z is an instance of investment, and Y possesses Z, then the risk level of Z is X

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


! [V__AGENT : $i,V__OBJ : $i] : (((s__wants(V__AGENT, V__OBJ) & s__instance(V__OBJ, s__Object)) => s__desires(V__AGENT, s__possesses(V__AGENT, V__OBJ)))) Merge.kif 2886-2891 If X wants Y and Y is an instance of object, then X desires X possesses Y
! [V__OBJ : $i,V__P : $i,V__PERSON : $i,V__T : $i] : (((s__holdsDuring(V__T, s__possesses(V__PERSON, V__OBJ)) & s__part(V__P, V__OBJ)) => s__holdsDuring(V__T, s__possesses(V__PERSON, V__P)))) Merge.kif 4371-4377 If X possesses Y holds during Z and W is a part of Y, then X possesses W holds during Z
! [V__OBJ,V__PERSON] :
(((s__instance(V__OBJ,s__Object) &
       s__instance(V__PERSON,s__AutonomousAgent))
     =>
     (s__element(V__OBJ,s__PropertyFn(V__PERSON))
   =>
   s__possesses(V__PERSON,V__OBJ)))
)

 Merge.kif 4394-4397 If X is an element of belongings of Y, then Y possesses X
! [V__AGENT1 : $i,V__AGENT2 : $i,V__CHANGE : $i,V__OBJ : $i] : (((s__instance(V__CHANGE, s__ChangeOfPossession) & s__origin(V__CHANGE, V__AGENT1) & s__destination(V__CHANGE, V__AGENT2) & s__instance(V__AGENT1, s__AutonomousAgent) & s__instance(V__AGENT2, s__AutonomousAgent) & s__patient(V__CHANGE, V__OBJ)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__CHANGE)), s__possesses(V__AGENT1, V__OBJ)) & s__holdsDuring(s__EndFn(s__WhenFn(V__CHANGE)), s__possesses(V__AGENT2, V__OBJ))))) Merge.kif 11932-11942 If All of the following hold: (1) X is an instance of change of possession (2) X originates at Y (3) X ends up at Z (4) Y is an instance of agent (5) Z is an instance of agent (6) W is a patient of X, then Y possesses W holds during the beginning of the time of existence of X and Z possesses W holds during the end of the time of existence of X
! [V__AGENT : $i,V__OBJ : $i,V__PURSUE : $i] : (((s__instance(V__PURSUE, s__Pursuing) & s__agent(V__PURSUE, V__AGENT) & s__patient(V__PURSUE, V__OBJ)) => s__holdsDuring(V__PURSUE, ~(s__possesses(V__AGENT, V__OBJ))))) Merge.kif 13182-13187 If X is an instance of pursuing, Y is an agent of X, and Z is a patient of X, then Y doesn't possess Z holds during X
! [V__SLAVE : $i,V__TIME : $i] : ((s__holdsDuring(V__TIME, s__attribute(V__SLAVE, s__HumanSlave)) => ( ? [V__PERSON:$i] : ((s__instance(V__PERSON, s__Human) & ~(V__PERSON = V__SLAVE) & s__holdsDuring(V__TIME, s__possesses(V__PERSON, V__SLAVE))))))) Mid-level-ontology.kif 156-163 If human slave is an attribute of X holds during Y, then there exists Z such that Z is an instance of human, equal Z, X, and Z possesses X holds during Y
! [V__P] :
((s__instance(V__P,s__PrivateOrganization) =>
     ~((? [V__G] :
         ((s__instance(V__G,s__Government) &
             s__possesses(V__G,V__P))))))
)

 Mid-level-ontology.kif 7862-7868 If X is an instance of Private organization, then there doesn't exist Y such that Y is an instance of government and Y possesses X
! [V__PERSON,V__UNIT] :
((s__instance(V__PERSON,s__Human) =>
     ((s__instance(V__UNIT,s__ApartmentUnit) &
         s__home(V__PERSON,V__UNIT))
     =>
     ~(s__possesses(V__PERSON,V__UNIT))))
)

 Mid-level-ontology.kif 8187-8191 If X is an instance of apartment unit and the home of Y is X, then Y doesn't possess X
! [V__L,V__U] :
(((s__instance(V__L,s__AutonomousAgent) &
       s__instance(V__U,s__PermanentResidence))
     =>
     (s__landlord(V__L,V__U)
     =>
     (? [V__R,V__P] :
       ((s__instance(V__P,s__AutonomousAgent) &
           (s__possesses(V__L,V__U)
           &
           s__tenant(V__P,V__U)
         &
         s__agent(V__R,V__P)
       &
       s__instance(V__R,s__Renting) &
       s__patient(V__R,V__U)))))))
)

 Mid-level-ontology.kif 8207-8215 If X is a landlord of Y, then there exist Z, W such that Y possesses X, X is a tenant of W, W is an agent of Z, Z is an instance of renting, and X is a patient of Z
! [V__P,V__U] :
(((s__instance(V__P,s__AutonomousAgent) &
       s__instance(V__U,s__PermanentResidence))
     =>
     (s__tenant(V__P,V__U)
     =>
     (? [V__L,V__R] :
       ((s__instance(V__L,s__AutonomousAgent) &
           (s__instance(V__R,s__Renting) &
             s__landlord(V__L,V__U)
           &
           s__agent(V__R,V__P)
         &
         s__possesses(V__L,V__U)
       &
       s__patient(V__R,V__U)))))))
)

 Mid-level-ontology.kif 8223-8231 If X is a tenant of Y, then there exist Z, W such that W is an instance of renting, X is a landlord of Z, Y is an agent of W, Z possesses X, and X is a patient of W
! [V__D] :
((s__instance(V__D,s__Dormitory) =>
     (? [V__S] :
       ((s__instance(V__S,s__School) &
           s__possesses(V__S,V__D)))))
)

 Mid-level-ontology.kif 8300-8305 If X is an instance of dormitory, then there exists Y such that Y is an instance of school and Y possesses X
! [V__C] :
((s__instance(V__C,s__Partnership) =>
     (? [V__H1,V__H2] :
       ((s__instance(V__H1,s__Human) &
           s__instance(V__H2,s__Human) &
           ~((V__H1 = V__H2))
           &
           s__possesses(V__H1,V__C)
         &
         s__possesses(V__H2,V__C)))))
)

 Mid-level-ontology.kif 8513-8521 If X is an instance of partnership, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of human (3) Z is an instance of human (4) equal Y (5) Z (6) Y possesses X (7) Z possesses X
! [V__R] :
((s__instance(V__R,s__Restaurant) =>
     (? [V__D] :
       ((s__possesses(V__R,V__D)
         &
         s__instance(V__D,s__DiningArea)))))
)

 Mid-level-ontology.kif 8594-8599 If X is an instance of restaurant, then there exists Y such that X possesses Y and Y is an instance of dining area
! [V__C] :
((s__instance(V__C,s__Proprietorship) =>
     (? [V__H] :
       ((s__instance(V__H,s__Human) &
           s__possesses(V__H,V__C)
         &
         ~((? [V__H2] :
             ((s__instance(V__H2,s__AutonomousAgent) &
                 (~((V__H = V__H2))
                   &
                   s__possesses(V__H2,V__C))))))))))
)

 Mid-level-ontology.kif 8605-8615 If X is an instance of proprietorship, then there exists Y such that Y is an instance of human, Y possesses X, there doesn't exist Z such that equal Y, Z, and Z possesses X
! [V__AGENT : $i,V__OBJECT : $i] : ((s__dislikes(V__AGENT, V__OBJECT) => s__desires(V__AGENT, ~(s__possesses(V__AGENT, V__OBJECT))))) Mid-level-ontology.kif 8752-8754 If X dislikes Y, then X desires X doesn't possess Y
! [V__AGENT : $i,V__OBJECT : $i,V__TIME : $i] : ((s__holdsDuring(V__TIME, s__lacks(V__AGENT, V__OBJECT)) => s__holdsDuring(V__TIME, ~(s__possesses(V__AGENT, V__OBJECT))))) Mid-level-ontology.kif 8775-8780 If X lacks Y holds during Z, then X doesn't possess Y holds during Z
! [V__C] :
((s__instance(V__C,s__MedicalClinic) =>
     ~((? [V__B] :
         ((s__possesses(V__C,V__B)
           &
           s__instance(V__B,s__TemporaryResidence))))))
)

 Mid-level-ontology.kif 8979-8985 If X is an instance of clinic, then there doesn't exist Y such that X possesses Y and Y is an instance of temporary residence
! [V__P] :
((s__instance(V__P,s__PublicPark) =>
     (? [V__G] :
       ((s__instance(V__G,s__Government) &
           s__possesses(V__G,V__P)))))
)

 Mid-level-ontology.kif 9449-9454 If X is an instance of public park, then there exists Y such that Y is an instance of government and Y possesses X
! [V__G] :
((s__instance(V__G,s__PublicGarden) =>
     (? [V__GOV] :
       ((s__instance(V__GOV,s__Government) &
           s__possesses(V__GOV,V__G)))))
)

 Mid-level-ontology.kif 9520-9525 If X is an instance of public garden, then there exists Y such that Y is an instance of government and Y possesses X
! [V__L] :
((s__instance(V__L,s__Library) =>
     (? [V__B,V__T] :
       ((s__possesses(V__L,V__B)
         &
         s__instance(V__B,s__LibraryBuilding) &
         s__instance(V__T,s__Text) &
         s__located(V__T,V__B)))))
)

 Mid-level-ontology.kif 9827-9834 If X is an instance of library, then there exist Y, Z such that X possesses Y, Y is an instance of library building, Z is an instance of text, and Z is located at Y
! [V__M] :
((s__instance(V__M,s__ArtMuseum) =>
     (? [V__B,V__A] :
       ((s__possesses(V__M,V__B)
         &
         s__instance(V__B,s__Building) &
         s__instance(V__A,s__ArtWork) &
         s__located(V__A,V__B)))))
)

 Mid-level-ontology.kif 9859-9866 If X is an instance of art museum, then there exist Y, Z such that X possesses Y, Y is an instance of building, Z is an instance of art work, and Z is located at Y
! [V__H : $i,V__P : $i,V__T : $i] : (((s__instance(V__T, s__Trespassing) & s__agent(V__T, V__H) & s__patient(V__T, V__P)) => (~(s__possesses(V__H, V__P)) & s__modalAttribute(s__located(V__H, V__P), s__Illegal)))) Mid-level-ontology.kif 20196-20206 If X is an instance of trespassing, Y is an agent of X, and Z is a patient of X, then Y doesn't possess Z and the statement Y is located at Z has the modal force of illegal
! [V__HEIR : $i,V__INHERIT : $i,V__PERSON : $i,V__PROPERTY : $i] : (((s__instance(V__INHERIT, s__Inheriting) & s__agent(V__INHERIT, V__HEIR) & s__instance(V__HEIR, s__Human) & s__origin(V__INHERIT, V__PERSON) & s__instance(V__PERSON, s__Human) & s__patient(V__INHERIT, V__PROPERTY) & s__instance(V__PROPERTY, s__Object)) => ( ? [V__DEATH:$i] : ((s__instance(V__DEATH, s__Death) & s__experiencer(V__DEATH, V__PERSON) & s__earlier(s__WhenFn(V__DEATH), s__WhenFn(V__INHERIT)) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__DEATH)), s__possesses(V__PERSON, V__PROPERTY)) & s__confersRight(V__PERSON, V__HEIR, s__possesses(V__HEIR, V__PROPERTY))))))) Mid-level-ontology.kif 20540-20561 If All of the following hold: (1) X is an instance of inheriting (2) Y is an agent of X (3) Y is an instance of human (4) X originates at Z (5) Z is an instance of human (6) W is a patient of X (7) W is an instance of object, then there exists V such that V is an instance of death, Z experiences V, the time of existence of V happens earlier than the time of existence of X, Z possesses W holds during immediately before the time of existence of V, and Y allows Y possesses W to perform task of the type Z
! [V__B : $i,V__H : $i,V__P : $i,V__PROP : $i] : (((s__instance(V__B, s__Bequeathing) & s__agent(V__B, V__P) & s__destination(V__B, V__H) & s__objectTransferred(V__B, V__PROP)) => ( ? [V__D:$i] : ((s__instance(V__D, s__Death) & s__experiencer(V__D, V__P) & s__earlier(s__WhenFn(V__D), s__WhenFn(V__B)) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__D)), s__possesses(V__P, V__PROP)) & s__confersNorm(s__possesses(V__H, V__PROP), s__Permission, V__P)))))) Mid-level-ontology.kif 20601-20617 If X is an instance of bequeathing, Y is an agent of X, X ends up at Z, and the object transferred in X is W, then there exists V such that V is an instance of death, Y experiences V, the time of existence of V happens earlier than the time of existence of X, Y possesses W holds during immediately before the time of existence of V, and Z possesses W confers norm permission for Y
! [V__ORG : $i] : ((s__attribute(V__ORG, s__Greedy) => ( ? [V__OBJ:$i] : ((s__instance(V__ORG, s__Organism) & s__instance(V__OBJ, s__Physical) & s__desires(V__ORG, s__possesses(V__ORG, V__OBJ)) & ~(s__modalAttribute(s__possesses(V__ORG, V__OBJ), s__Necessity))))))) Mid-level-ontology.kif 21732-21740 If greedy is an attribute of X, then there exists Y such that X is an instance of organism, Y is an instance of physical, X desires X possesses Y, and the statement X doesn't possess Y doesn't have the modal force of necessity

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners