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 4249-4252 | |
(documentation possesses JapaneseLanguage "Relationは、Agent が Object の所有権を持つ 場合に Agent と Object の間に保持される 。") | japanese_format.kif 788-789 | |
(domain possesses 1 AutonomousAgent) | Merge.kif 4246-4246 | Die Zahl 1 Argument von besitzt ist ein fall von AutonomousAgent %n{nicht} |
(domain possesses 2 Object) | Merge.kif 4247-4247 | Die Zahl 2 Argument von besitzt ist ein fall von Object %n{nicht} |
(instance possesses AsymmetricRelation) | Merge.kif 4245-4245 | besitzt ist ein fall von AsymmetricRelation %n{nicht} |
(instance possesses BinaryPredicate) | Merge.kif 4244-4244 | besitzt ist ein fall von BinaryPredicate %n{nicht} |
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 11688-11688 | ChangeOfPossession ist innerlich verwandt mit besitzt %n{nicht} |
(subrelation financialAsset possesses) | Mid-level-ontology.kif 23910-23910 | financialAsset ist eine teilrelation von besitzt |
(subrelation hasAccount possesses) | QoSontology.kif 2068-2068 | hasAccount ist eine teilrelation von besitzt |
(termFormat ChineseLanguage possesses "") | chinese_format.kif 172-172 | |
(termFormat ChineseLanguage possesses "拥有") | domainEnglishFormat.kif 46804-46804 | |
(termFormat ChineseTraditionalLanguage possesses "擁有") | domainEnglishFormat.kif 46803-46803 | |
(termFormat EnglishLanguage possesses "possesses") | domainEnglishFormat.kif 46802-46802 | |
(termFormat de possesses "besitzt") | terms-de.txt 66-66 |
antecedent |
consequent |
(=> (accountAtSite ?ACCT ?SITE) (exists (?DATABASE ?SITE_OWNER) (and (instance ?DATABASE Database) (instance ?SITE_OWNER AutonomousAgent) (possesses ?SITE_OWNER ?SITE) (possesses ?SITE_OWNER ?DATABASE) (part ?ACCT ?DATABASE)))) |
UXExperimentalTerms.kif 632-640 |
|
(=> (and (attribute ?C Collectible) (hasPurpose ?C ?P)) (exists (?H ?P2) (and (instance ?H Human) (wants ?H ?C) (desires ?H ?P2) (entails ?P2 (possesses ?H ?C)) (not (equal ?P ?P2))))) |
Mid-level-ontology.kif 29558-29570 |
|
(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (exists (?DINING ?C ?FOOD ?KITCHEN) (and (possesses ?REST ?KITCHEN) (instance ?KITCHEN KitchenArea) (instance ?DINING DiningArea) (located ?TABLE ?DINING) (hasPurpose ?X (and (instance ?C Carrying) (agent ?C ?X) (origin ?C ?KITCHEN) (destination ?C ?TABLE) (patient ?C ?FOOD) (instance ?FOOD (FoodForFn Human))))))) |
Mid-level-ontology.kif 20628-20650 |
|
(=> (and (holdsDuring ?T (possesses ?PERSON ?OBJ)) (part ?P ?OBJ)) (holdsDuring ?T (possesses ?PERSON ?P))) |
Merge.kif 4258-4264 |
|
(=> (and (instance ?AREA GeopoliticalArea) (instance (MerchantMarineFn ?AREA) MerchantMarine)) (possesses ?AREA (MerchantMarineFn ?AREA))) |
Transportation.kif 978-982 |
|
(=> (and (instance ?AREA GeopoliticalArea) (instance (ShipRegisterFn ?AREA) ShipRegister)) (possesses ?AREA (ShipRegisterFn ?AREA))) |
Transportation.kif 1139-1143 |
|
(=> (and (instance ?B Bequeathing) (agent ?B ?P) (destination ?B ?H) (objectTransferred ?B ?PROP)) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (earlier (WhenFn ?D) (WhenFn ?B)) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (possesses ?P ?PROP)) (confersNorm ?P (possesses ?H ?PROP) Permission)))) |
Mid-level-ontology.kif 18706-18722 |
|
(=> (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 ?CHANGE ChangeOfPossession) (origin ?CHANGE ?AGENT1) (destination ?CHANGE ?AGENT2) (instance ?AGENT1 AutonomousAgent) (instance ?AGENT2 AutonomousAgent) (patient ?CHANGE ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (EndFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ)))) |
Merge.kif 11702-11712 |
|
(=> (and (instance ?DESTR PreciseDestruction) (agent ?DESTR ?AGENT)) (exists (?WEAPON) (and (possesses ?AGENT ?WEAPON) (instrument ?DESTR ?WEAPON) (instance ?WEAPON HighPrecisionWeapon)))) |
MilitaryProcesses.kif 601-609 |
|
(=> (and (instance ?INHERIT Inheriting) (agent ?INHERIT ?HEIR) (origin ?INHERIT ?PERSON) (patient ?INHERIT ?PROPERTY)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (earlier (WhenFn ?DEATH) (WhenFn ?INHERIT)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (possesses ?PERSON ?PROPERTY)) (confersRight (possesses ?HEIR ?PROPERTY) ?PERSON ?HEIR)))) |
Mid-level-ontology.kif 18648-18666 |
|
(=> (and (instance ?Loan Loan) (securedBy ?Loan ?Security) (lender ?Loan ?Bank) (instance ?Default FinancialDefault) (patient ?Default ?Loan)) (holdsDuring (ImmediateFutureFn (WhenFn ?Default)) (possesses ?Bank ?Security))) |
FinancialOntology.kif 1334-1343 |
|
(=> (and (instance ?ORG Organization) (attribute ?ORG AirTransportationIndustry)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?FLY ?PLANE ?OBJ) (and (instance ?FLY Transportation) (or (patient ?FLY ?P) (and (possesses ?P ?OBJ) (patient ?FLY ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?PLANE) (instance ?PLANE Aircraft))) ?MEM ?P)))))) |
naics.kif 7953-7978 |
|
(=> (and (instance ?ORG Organization) (attribute ?ORG CouriersAndMessengers)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P ?OBJ) (and (instance ?EV Selling) (instance ?OBJ Object) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?TRANS) (and (instance ?TRANS Transportation) (possesses ?P ?OBJ) (patient ?TRANS ?OBJ))) ?MEM ?P)))))) |
naics.kif 8736-8756 |
|
(=> (and (instance ?ORG Organization) (attribute ?ORG PipelineTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V ?OBJ ?PIPE) (and (instance ?T Transportation) (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Substance) (possesses ?ORG ?V) (instrument ?T ?PIPE) (instance ?PIPE Pipeline))) ?MEM ?P)))))) |
naics.kif 8465-8488 |
|
(=> (and (instance ?ORG Organization) (attribute ?ORG PostalService)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P ?OBJ) (and (instance ?EV Selling) (instance ?OBJ Object) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?TRANS) (and (instance ?TRANS Transportation) (possesses ?P ?OBJ) (patient ?TRANS ?OBJ))) ?MEM ?P)))))) |
naics.kif 8707-8727 |
|
(=> (and (instance ?ORG Organization) (attribute ?ORG RailTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?MOVE ?RR ?OBJ) (and (instance ?MOVE Transportation) (or (patient ?MOVE ?P) (and (possesses ?P ?OBJ) (patient ?MOVE ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?RR) (instance ?RR RailVehicle))) ?MEM ?P)))))) |
naics.kif 8034-8059 |
|
(=> (and (instance ?ORG Organization) (attribute ?ORG ScenicAndSightseeingTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?TRANS ?VEH) (and (instance ?TRANS Transportation) (instance ?TRANS RecreationOrExercise) (patient ?TRANS ?P) (possesses ?ORG ?VEH) (instance ?VEH Vehicle))) ?MEM ?P)))))) |
naics.kif 8528-8549 |
|
(=> (and (instance ?ORG Organization) (attribute ?ORG TransitAndGroundPassengerTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V) (and (instance ?T Transportation) (patient ?T ?P) (possesses ?ORG ?V) (instance ?V LandVehicle))) ?MEM ?P)))))) |
naics.kif 8344-8364 |
|
(=> (and (instance ?ORG Organization) (attribute ?ORG TruckTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V ?OBJ) (and (instance ?T Transportation) (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Object) (possesses ?ORG ?V) (instance ?V LandVehicle))) ?MEM ?P)))))) |
naics.kif 8253-8275 |
|
(=> (and (instance ?ORG Organization) (attribute ?ORG WarehousingAndStorage)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P ?OBJ) (and (instance ?EV Selling) (instance ?OBJ Object) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?B ?T) (and (instance ?T TimeInterval) (instance ?B Building) (possesses ?P ?OBJ) (holdsDuring ?T (located ?B ?OBJ)))) ?MEM ?P)))))) |
naics.kif 8776-8797 |
|
(=> (and (instance ?ORG Organization) (attribute ?ORG WaterTransportationIndustry)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V ?OBJ) (and (instance ?T Transportation) (or (patient ?T ?P) (and (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?V) (instance ?V WaterVehicle))) ?MEM ?P)))))) |
naics.kif 8080-8105 |
|
(=> (and (instance ?PURSUE Pursuing) (agent ?PURSUE ?AGENT) (patient ?PURSUE ?OBJ)) (holdsDuring ?PURSUE (not (possesses ?AGENT ?OBJ)))) |
Merge.kif 12938-12943 |
|
(=> (and (instance ?S Saving) (patient ?S ?O) (agent ?S ?A)) (exists (?Q1 ?Q2 ?U) (and (instance ?U UnitOfCurrency) (holdsDuring (BeginFn (WhenFn ?S)) (monetaryValue ?O (MeasureFn ?Q1 ?U))) (holdsDuring (EndFn (WhenFn ?S)) (monetaryValue ?O (MeasureFn ?Q2 ?U))) (possesses ?A ?O) (lessThan ?Q1 ?Q2)))) |
Mid-level-ontology.kif 23885-23902 |
|
(=> (and (instance ?SHIP Ship) (instance ?AREA GeopoliticalArea) (member ?SHIP (MerchantMarineFn ?AREA))) (exists (?REGISTRATION) (and (instance ?REGISTRATION ShipRegistration) (possesses ?SHIP ?REGISTRATION) (subsumesContentInstance (ShipRegisterFn ?AREA) ?REGISTRATION)))) |
Transportation.kif 1157-1166 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |