possesses |
appearance as argument number 1 |
![]() |
(documentation possesses ChineseLanguage "这是一个属于一个 Agent 和一个 Object 的 Relation,当这个 Agent 拥有这个 Object 时,这段关系就成立了。 ") | chinese_format.kif 2133-2134 | |
(documentation possesses 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 4276-4279 | |
(documentation possesses JapaneseLanguage "Relationは、Agent が Object の所有権を持つ 場合に Agent と Object の間に保持される 。") | japanese_format.kif 788-789 | |
(domain possesses 1 AutonomousAgent) | Merge.kif 4273-4273 | possesses 的 1 数量 是 施事体 的 instance |
(domain possesses 2 Object) | Merge.kif 4274-4274 | possesses 的 2 数量 是 客体 的 instance |
(instance possesses AsymmetricRelation) | Merge.kif 4272-4272 | possesses 是 非对称关系 的 instance |
(instance possesses BinaryPredicate) | Merge.kif 4271-4271 | possesses 是 二元谓语 的 instance |
appearance as argument number 2 |
![]() |
(format ChineseLanguage possesses "%1 %n{doesn't} possesses %2") | chinese_format.kif 171-171 | |
(format EnglishLanguage possesses "%1 %n{doesn't} possess%p{es} %2") | english_format.kif 172-172 | |
(format FrenchLanguage possesses "%1 %n{ne} poss�de %n{pas} %2") | french_format.kif 105-105 | |
(format ItalianLanguage possesses "%1 %n{non} possiede%p{es} %2") | relations-it.txt 224-224 | |
(format JapaneseLanguage possesses "%1 は %2 を possess%p{es} %n{ない}") | japanese_format.kif 1934-1934 | |
(format PortugueseLanguage possesses "%1 %n{nao} possui %n %2") | portuguese_format.kif 57-57 | |
(format cz possesses "%1 %n{doesn't} posess%p{es} %2") | relations-cz.txt 135-135 | |
(format de possesses "%1 besitzt %2 %n{nicht}") | relations-de.txt 212-212 | |
(format hi possesses "%1 %2 kaa svaamii %n{nahiin} hai") | relations-hindi.txt 262-262 | |
(format ro possesses "%1 %n{nu} posess%t{deþine} %2") | relations-ro.kif 124-124 | |
(format sv possesses "%1 har %n{inte} %2") | relations-sv.txt 107-107 | |
(format tg possesses "%1 %n ay mayroon %2") | relations-tg.txt 416-416 | |
(relatedInternalConcept ChangeOfPossession possesses) | Merge.kif 11792-11792 | 改变所有权 和 possesses 是 内部相关 |
(subrelation financialAsset possesses) | Mid-level-ontology.kif 25499-25499 | financialAsset 是 possesses 的 subrelation |
(subrelation hasAccount possesses) | QoSontology.kif 2199-2199 | 有帐户 是 possesses 的 subrelation |
(termFormat ChineseLanguage possesses "") | chinese_format.kif 172-172 | 有帐户 是 possesses 的 subrelation |
(termFormat ChineseLanguage possesses "拥有") | domainEnglishFormat.kif 46804-46804 | 有帐户 是 possesses 的 subrelation |
(termFormat ChineseTraditionalLanguage possesses "擁有") | domainEnglishFormat.kif 46803-46803 | 有帐户 是 possesses 的 subrelation |
(termFormat EnglishLanguage possesses "possesses") | domainEnglishFormat.kif 46802-46802 | 有帐户 是 possesses 的 subrelation |
(termFormat de possesses "besitzt") | terms-de.txt 66-66 | 有帐户 是 possesses 的 subrelation |
antecedent |
![]() |
(<=> (and (instance ?Account FinancialAccount) (possesses ?Agent ?Asset) (equal ?Account (AccountFn ?Asset))) (accountHolder ?Account ?Agent)) |
FinancialOntology.kif 2338-2343 | 金融账户 是 金融账户 的 instance 和 有认知的主事 possesses 金融资产 和 equal 那个 金融账户 and 那个 金融资产 的帐号 若且唯若 那个 有认知的主事 持有 account 那个 金融账户 |
(=> (and (customer ?CUST ?AGENT) (employs ?AGENT ?X) (attribute ?AGENT TravelerAccommodation) (attribute ?X Porter) (possesses ?CUST ?LUGGAGE) (instance ?LUGGAGE TravelContainer)) (exists (?ROOM ?CARRY) (and (instance ?ROOM HotelUnit) (instance ?CARRY Carrying) (agent ?CARRY ?X) (or (destination ?CARRY ?ROOM) (origin ?CARRY ?ROOM))))) |
Hotel.kif 2403-2418 |
|
(=> (and (freeFunctionRoomAmenity ?FR ?PHYS) (instance ?RM ?FR) (element ?RM (PropertyFn ?AGENT)) (instance ?R Renting) (patient ?R ?RM) (destination ?R ?CUST) (instance ?X ?PHYS) (possesses ?AGENT ?X) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT)) |
Hotel.kif 847-868 |
|
(=> (and (freePropertyAmenity ?AGENT ?PHYS) (instance ?X ?PHYS) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT)) |
Hotel.kif 548-563 | |
(=> (and (hasAccount ?U ?AC) (password ?P ?AC) (deviceAccount ?AC ?D) (not (knows ?U (password ?P ?AC))) (knows ?U (recoveryKey ?S ?AC)) (possesses ?U ?D)) (modalAttribute (exists (?C) (and (instance ?C ChangingPassword) (patient ?C ?AC) (agent ?C ?U))) Possibility)) |
ComputingBrands.kif 4422-4439 |
|
(=> (and (holdsDuring ?T (possesses ?PERSON ?OBJ)) (part ?P ?OBJ)) (holdsDuring ?T (possesses ?PERSON ?P))) |
Merge.kif 4285-4291 | |
(=> (and (instance ?AOC AOCnumber) (instance ?AIRLINE Airline) (possesses ?AIRLINE ?AOC)) (confersRight (exists (?AIR) (and (instance ?AIR AirTransportationService) (serviceProvider ?AIR ?AIRLINE))) FederalAviationAdministration ?AIRLINE)) |
Transportation.kif 4094-4104 | |
(=> (and (instance ?Bond Bond) (couponInterest ?Bond ?Interest) (possesses ?BondHolder ?Bond)) (exists (?Period ?Payment) (and (periodicPayment (AccountFn ?Bond) ?Interest ?Period) (destination ?Payment ?BondHolder)))) |
FinancialOntology.kif 2287-2295 | |
(=> (and (instance ?Bond SecuredBond) (securedBy ?Bond ?Security) (possesses ?Agent ?Bond) (instance ?Default FinancialDefault) (patient ?Default ?Bond)) (holdsDuring (ImmediateFutureFn (WhenFn ?Default)) (possesses ?Agent ?Security))) |
FinancialOntology.kif 2414-2423 | |
(=> (and (instance ?Bond ZeroCouponBond) (maturityDate (AccountFn ?Bond) ?Date) (possesses ?BondHolder ?Bond) (principalAmount (AccountFn ?Bond) (MeasureFn ?Principal ?CUNIT)) (agreementPeriod (AccountFn ?Bond) ?Period) (interestEarned (AccountFn ?Bond) (MeasureFn ?Interest ?CUNIT) ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (exists (?Payment) (and (instance ?Payment Payment) (destination ?Payment ?BondHolder) (origin ?Payment (AccountFn ?Bond)) (transactionAmount ?Payment (MeasureFn ?Total ?CUNIT))))) |
FinancialOntology.kif 2350-2372 |
|
(=> (and (instance ?C FamilyBusiness) (possesses ?P1 ?C) (possesses ?P2 ?C)) (familyRelation ?P1 ?P2)) |
Mid-level-ontology.kif 8430-8435 | |
(=> (and (instance ?CHANGE ChangeOfPossession) (patient ?CHANGE ?OBJ) (holdsDuring (BeginFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (EndFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ))) (not (equal ?AGENT1 ?AGENT2))) |
Merge.kif 11797-11804 | |
(=> (and (instance ?Card CreditCard) (possesses ?Agent ?Card)) (exists (?Account) (and (instance ?Account CreditCardAccount) (cardAccount ?Card ?Account) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 220-228 | |
(=> (and (instance ?Card DebitCard) (possesses ?Agent ?Card) (instance ?Transaction FinancialTransaction) (instrument ?Transaction ?Card)) (exists (?PIN ?Enter) (and (pin ?PIN ?Card) (instance ?Enter EnteringAPin) (patient ?Enter ?PIN) (agent ?Enter ?Agent)))) |
FinancialOntology.kif 3561-3572 | |
(=> (and (instance ?Card DebitCard) (possesses ?Agent ?Card)) (exists (?Account) (and (instance ?Account DepositAccount) (cardAccount ?Card ?Account) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 205-213 | |
(=> (and (instance ?DEGREE AcademicDegree) (possesses ?AGENT ?DEGREE)) (exists (?PROGRAM ?STUDY) (and (instance ?PROGRAM EducationalProgram) (realization ?STUDY ?PROGRAM) (experiencer ?STUDY ?AGENT)))) |
Mid-level-ontology.kif 17901-17909 | |
(=> (and (instance ?DEVICE FaxMachine) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (possesses ?AGENT ?DEVICE)))) (holdsDuring ?TIME (faxNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 26820-26827 | |
(=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 26669-26676 | |
(=> (and (instance ?F Facility) (holdsDuring ?T (attribute ?F MilitarilySecure)) (instance ?MF MilitaryForce) (possesses ?MF ?F)) (not (exists (?A ?E) (and (instance ?A Attack) (during ?T (WhenFn ?A)) (destination ?A ?F) (agent ?A ?E) (enemy ?MF ?E))))) |
MilitaryProcesses.kif 2832-2846 | |
(=> (and (instance ?F Facility) (holdsDuring ?T (attribute ?F MilitarilySecure)) (instance ?MF MilitaryForce) (possesses ?MF ?F)) (not (exists (?E) (and (enemy ?MF ?E) (holdsDuring ?T (and (located ?E ?F) (not (attribute ?E PrisonerOfWar)))))))) |
MilitaryProcesses.kif 2848-2863 | |
(=> (and (instance ?FLEET Fleet) (fleetSize ?AGENT ?NUM) (possesses ?AGENT ?FLEET)) (memberCount ?FLEET ?NUM)) |
Mid-level-ontology.kif 3971-3976 | |
(=> (and (instance ?INTERNAL InternalShipRegister) (possesses ?AREA ?INTERNAL)) (instance ?AREA Nation)) |
Transportation.kif 1176-1180 | |
(=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (instance ?OWNER AutonomousAgent) (attribute ?LISTING ForSaleByOwner) (possesses ?OWNER ?ITEM)) (instance ?OWNER Human)) |
UXExperimentalTerms.kif 381-388 | |
(=> (and (instance ?L DriversLicense) (possesses ?A ?L)) (confersNorm ?L (exists (?D ?V) (and (instance ?D Driving) (agent ?D ?A) (patient ?D ?V) (instance ?V RoadVehicle))) Permission)) |
Mid-level-ontology.kif 18269-18280 | |
(=> (and (instance ?NATIONAL NationalShipRegister) (possesses ?AREA ?NATIONAL)) (instance ?AREA Nation)) |
Transportation.kif 1126-1130 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
![]() |
![]() |
![]() |