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 4248-4251 | |
(documentation possesses JapaneseLanguage "Relationは、Agent が Object の所有権を持つ 場合に Agent と Object の間に保持される 。") | japanese_format.kif 788-789 | |
(domain possesses 1 AutonomousAgent) | Merge.kif 4245-4245 | possesses 的 1 数量 是 施事体 的 instance |
(domain possesses 2 Object) | Merge.kif 4246-4246 | possesses 的 2 数量 是 客体 的 instance |
(instance possesses AsymmetricRelation) | Merge.kif 4244-4244 | possesses 是 非对称关系 的 instance |
(instance possesses BinaryPredicate) | Merge.kif 4243-4243 | 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 11642-11642 | 改变所有权 和 possesses 是 内部相关 |
(subrelation financialAsset possesses) | Mid-level-ontology.kif 23853-23853 | financialAsset 是 possesses 的 subrelation |
(subrelation hasAccount possesses) | QoSontology.kif 2068-2068 | 有帐户 是 possesses 的 subrelation |
(termFormat ChineseLanguage possesses "") | chinese_format.kif 172-172 | |
(termFormat ChineseLanguage possesses "拥有") | domainEnglishFormat.kif 46802-46802 | |
(termFormat ChineseTraditionalLanguage possesses "擁有") | domainEnglishFormat.kif 46801-46801 | |
(termFormat EnglishLanguage possesses "possesses") | domainEnglishFormat.kif 46800-46800 | |
(termFormat de possesses "besitzt") | terms-de.txt 66-66 |
antecedent |
(<=> (and (instance ?Account FinancialAccount) (possesses ?Agent ?Asset) (equal ?Account (AccountFn ?Asset))) (accountHolder ?Account ?Agent)) |
FinancialOntology.kif 2321-2326 | 金融账户 是 金融账户 的 instance 和 有认知的主事 possesses 金融资产 和 那个 金融账户 equal 那个 金融资产 的帐号 若且唯若 那个 有认知的主事 持有 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 2392-2407 |
|
(=> (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 841-862 |
|
(=> (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 546-561 | |
(=> (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 4427-4444 |
|
(=> (and (holdsDuring ?T (possesses ?PERSON ?OBJ)) (part ?P ?OBJ)) (holdsDuring ?T (possesses ?PERSON ?P))) |
Merge.kif 4257-4263 | |
(=> (and (instance ?AOC AOCnumber) (instance ?AIRLINE Airline) (possesses ?AIRLINE ?AOC)) (confersRight (exists (?AIR) (and (instance ?AIR AirTransportationService) (serviceProvider ?AIR ?AIRLINE))) FederalAviationAdministration ?AIRLINE)) |
Transportation.kif 3188-3198 | |
(=> (and (instance ?Bond Bond) (couponInterest ?Bond ?Interest) (possesses ?BondHolder ?Bond)) (exists (?Period ?Payment) (and (periodicPayment (AccountFn ?Bond) ?Interest ?Period) (destination ?Payment ?BondHolder)))) |
FinancialOntology.kif 2270-2278 | |
(=> (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 2397-2406 | |
(=> (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 2333-2355 |
|
(=> (and (instance ?C FamilyBusiness) (possesses ?P1 ?C) (possesses ?P2 ?C)) (familyRelation ?P1 ?P2)) |
Mid-level-ontology.kif 7269-7274 | |
(=> (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 11647-11654 | |
(=> (and (instance ?Card CreditCard) (possesses ?Agent ?Card)) (exists (?Account) (and (instance ?Account CreditCardAccount) (cardAccount ?Card ?Account) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 218-226 | |
(=> (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 3543-3554 | |
(=> (and (instance ?Card DebitCard) (possesses ?Agent ?Card)) (exists (?Account) (and (instance ?Account DepositAccount) (cardAccount ?Card ?Account) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 203-211 | |
(=> (and (instance ?DEGREE AcademicDegree) (possesses ?AGENT ?DEGREE)) (exists (?PROGRAM ?STUDY) (and (instance ?PROGRAM EducationalProgram) (realization ?STUDY ?PROGRAM) (experiencer ?STUDY ?AGENT)))) |
Mid-level-ontology.kif 16514-16522 | |
(=> (and (instance ?DEVICE FaxMachine) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (possesses ?AGENT ?DEVICE)))) (holdsDuring ?TIME (faxNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 25158-25165 | |
(=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 25007-25014 | |
(=> (and (instance ?FLEET Fleet) (fleetSize ?AGENT ?NUM) (possesses ?AGENT ?FLEET)) (memberCount ?FLEET ?NUM)) |
Mid-level-ontology.kif 3528-3533 | |
(=> (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 16882-16893 | |
(=> (and (instance ?NATIONAL NationalShipRegister) (possesses ?AREA ?NATIONAL)) (instance ?AREA Nation)) |
Transportation.kif 1126-1130 | |
(=> (and (instance ?OFFSHORE OffshoreShipRegister) (possesses ?AREA ?OFFSHORE)) (instance ?AREA Nation)) |
Transportation.kif 1192-1196 | |
(=> (and (instance ?P PassCertificate) (possesses ?A ?P)) (exists (?L) (confersNorm ?P (located ?A ?L) Permission))) |
Mid-level-ontology.kif 16582-16589 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |