TreeView Knowledge Base Browser

appearance as argument number 1

s__documentation(s__possesses__m,s__ChineseLanguage,'"这是一个属于一个 Agent 和一个 Object 的 Relation，当这个 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. Note that this is distinct from having the right to use or be located at a particular object, for example, by Renting."')	Merge.kif 4103-4106
s__domain(s__possesses__m,n__1,s__Agent)	Merge.kif 4100-4100	The number 1 argument of possesses is an instance of agent
s__domain(s__possesses__m,n__2,s__Object)	Merge.kif 4101-4101	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 4099-4099	possesses is an instance of asymmetric relation
s__instance(s__possesses__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)	Merge.kif 4098-4098	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 11115-11115	Change of possession is internally related to possesses
s__subrelation(s__financialAsset__m,s__possesses__m)	Mid-level-ontology.kif 22611-22611	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 46785-46785
s__termFormat(s__ChineseTraditionalLanguage,s__possesses__m,'"擁有"')	domainEnglishFormat.kif 46784-46784
s__termFormat(s__EnglishLanguage,s__possesses__m,'"possesses"')	domainEnglishFormat.kif 46783-46783

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 2291-2296	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 2352-2367	If a cognitive agent is a customer of another cognitive agent and the cognitive agent employs a third cognitive agent and traveler accommodation is an attribute of the cognitive agent and porter is an attribute of the third cognitive agent and the other cognitive agent possesses an object and the object is an instance of travel container, then there exist another object and a process such that the other object is an instance of hotel unit and the process is an instance of carrying and the third cognitive agent is an agent of the process and the process ends up at the other object or the process originates at the other object
( ! [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__Class) & s__instance(V__PHYS,s__Class)) => (((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 820-841	If a class is free for customers renting a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of a cognitive agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at another cognitive agent and an agent is an instance of the class and the cognitive agent possesses the agent and the cognitive agent is a customer of the other cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent is price 0 united states dollar(s) for the cognitive agent
( ! [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__Class)) => (((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 526-541	If use of a class is free for a cognitive agent and an agent is an instance of the class and the cognitive agent is a customer of another cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent is price 0 united states dollar(s) for the cognitive agent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4398-4415	If a cognitive agent has account an user account and the user account has password a computer password and deviceAccount the user account and a computer and the cognitive agent doesn't know the user account has password the computer password and the cognitive agent knows the account the user account has recovery key an entity and the cognitive agent possesses the computer, then the statement there exists another entity such that the other entity is an instance of change password and the user account is a patient of the other entity and the cognitive agent is an agent of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4112-4118	If an entity possesses an object holds during a time position and another object is a part of the object, then the entity possesses the other object holds during the time position
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3195-3205	If an object is an instance of AOC number and a cognitive agent is an instance of Airline and the cognitive agent possesses the object, then Federal Aviation Administration allows the cognitive agent to perform task of the type there exists an entity such that the entity is an instance of Air Transportation Service and the cognitive agent provides a service during the entity
( ! [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 2240-2248	If a bond is an instance of bond and an interest is a coupon interest of the bond and the bondHolder possesses the bond, then there exist a time duration and a process such that the account of the bond is periodic payment the interest for the time duration and the process ends up at the bondHolder
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2359-2368	If a financial account is an instance of secured bond and a collateral is a secured by of the financial account and an agent possesses the financial account and a process is an instance of financial default and the financial account is a patient of the process, then the agent possesses the collateral holds during immediately after the time of existence of the process
( ! [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__Number) & 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__Interest,s__Number) & s__instance(V__Principal,s__Number) & 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 2303-2317	If a financial asset is an instance of zero coupon bond and a day is a maturity date of the account of the financial asset and the financial assetHolder possesses the financial asset and a number is a principal amount of the account of the financial asset and a time interval is an agreement period of the account of the financial asset and the account of the financial asset is interest earned an interest for the time interval and another number is equal to (the number and the interest), then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the financial assetHolder and the financial transaction originates at the account of the financial asset and the other number is a transaction amount of the financial transaction
( ! [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 6817-6822	If an object is an instance of family business and an organism possesses the object and another organism possesses the object, then the organism and the other organism are related
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11120-11127	If a process is an instance of change of possession and an entity is a patient of the process and another entity possesses the entity holds during the beginning of the time of existence of the process and a third entity possesses the entity holds during the end of the time of existence of the process, then the other entity is not equal to the third entity
( ! [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	If a bank card is an instance of credit card and a cognitive agent possesses the bank card, then there exists a financial account such that the financial account is an instance of credit card account and the financial account is a card account of the bank card and the cognitive agent holds account the financial account
( ! [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 3504-3515	If a bank card is an instance of debit card and an agent possesses the bank card and a process is an instance of financial transaction and the bank card is an instrument for the process, then there exist a symbolic string and another process such that the bank card is a pin of the symbolic string and the other process is an instance of entering a PIN and the symbolic string is a patient of the other process and the agent is an agent of the other process
( ! [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	If a bank card is an instance of debit card and a cognitive agent possesses the bank card, then there exists a financial account such that the financial account is an instance of deposit account and the financial account is a card account of the bank card and the cognitive agent holds account the financial account
( ! [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 15306-15314	If an object is an instance of academic degree and an agent possesses the object, then there exist a proposition and a process such that the proposition is an instance of educational program and the process expresses the content of the proposition and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23810-23817	If an entity is an instance of fax machine and the entity has number another entity and a third entity possesses the entity holds during a time position, then the fax number of the third entity is the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23676-23683	If an entity is an instance of telephone and another entity possesses the entity and the entity has number a third entity holds during a time position, then the third entity is the telephone number of the other entity holds during the time position
( ! [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 3462-3467	If a collection is an instance of Fleet and an agent has a fleet of an integer vehicles and the agent possesses the collection, then the integer is a member count of the collection
( ! [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 1176-1180	If an object is an instance of internal ship register and an agent possesses the object, then the agent is an instance of nation
( ! [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 472-479	If an object is an instance of object and another object is an instance of web listing and an agent is an instance of agent and FSBO is an attribute of the other object and the agent possesses the object, then the agent is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15634-15645	If an object is an instance of drivers license and an agent possesses the object, then the object confers norm there exist an entity and another entity such that the entity is an instance of driving and the agent is an agent of the entity and the other entity is a patient of the entity and the other entity is an instance of road vehicle for permission
( ! [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 1126-1130	If an object is an instance of national ship register and an agent possesses the object, then the agent is an instance of nation
( ! [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 1192-1196	If an object is an instance of offshore ship register and an agent possesses the object, then the agent is an instance of nation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15374-15381	If an object is an instance of pass certificate and an agent possesses the object, then there exists an entity such that the object confers norm the agent is located at the entity for permission

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 4135-4137	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 784-792	If an user account is an account at an agent, then there exist another agent and the agent_OWNER such that the other agent is an instance of database and the agent_OWNER is an instance of agent and the agent possesses the agent_OWNER and the other agent possesses the agent_OWNER and the user account is a part of the other agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28216-28228	If Collectible is an attribute of an object and the object has the purpose a formula, then there exists a cognitive agent such that the cognitive agent is an instance of human and the cognitive agent wants the object and the cognitive agent desires the formula2 and the formula2 entails the cognitive agent possesses the object and the formula is not equal to the formula2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19251-19272	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and another cognitive agent employs the cognitive agent and the other cognitive agent is an instance of restaurant and the other cognitive agent is a customer of a third cognitive agent and the third cognitive agent is located at an object and the object is an instance of table, then the other cognitive agent possesses another object and the other object is an instance of kitchen area and a third object is an instance of dining area and the object is located at the third object and the cognitive agent has the purpose an entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the other object and the entity ends up at the object and another entity is a patient of the entity and the other entity is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3653-3661	If an agent is a day phone of a symbolic string and a kind of day is an instance of day, then there exists a telephone such that the telephone is a phone number of the symbolic string and the agent possesses the telephone holds during the hour the symbolic string and the symbolic string is less than 18
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3670-3678	If an agent is an evening phone of a symbolic string and a kind of day is an instance of day, then there exists a telephone such that the telephone is a phone number of the symbolic string and the agent possesses the telephone holds during the hour the symbolic string and the symbolic string is greater than 18
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4112-4118	If an entity possesses an object holds during a time position and another object is a part of the object, then the entity possesses the other object holds during the time position
( ! [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 978-982	If a geopolitical area is an instance of geopolitical area and the merchant marine of the geopolitical area is an instance of merchant marine, then the geopolitical area possesses the merchant marine of the geopolitical area
( ! [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 1139-1143	If a geopolitical area is an instance of geopolitical area and the ship register of the geopolitical area is an instance of ship register, then the geopolitical area possesses the ship register of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17363-17379	If a transfer is an instance of bequeathing and an agent is an agent of the transfer and the transfer ends up at an entity and the object transferred in the transfer is the agentROP, then there exists a process such that the process is an instance of death and the agent experiences the process and the time of existence of the process happens earlier than the time of existence of the transfer and the agent possesses the agentROP holds during immediately before the time of existence of the process and the agent confers norm the entity possesses the agentROP for permission
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2359-2368	If a financial account is an instance of secured bond and a collateral is a secured by of the financial account and an agent possesses the financial account and a process is an instance of financial default and the financial account is a patient of the process, then the agent possesses the collateral holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11129-11139	If a process is an instance of change of possession and the process originates at an object and the process ends up at an entity and the object is an instance of agent and the entity is an instance of agent and another entity is a patient of the process, then the object possesses the other entity holds during the beginning of the time of existence of the process and the entity possesses the other entity holds during the end of the time of existence of the process
( ! [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	If a process is an instance of precise destruction and an agent is an agent of the process, then there exists an object such that the agent possesses the object and the object is an instrument for the process and the object is an instance of high precision weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17305-17323	If a process is an instance of inheriting and a cognitive agent is an agent of the process and the process originates at an agent and an entity is a patient of the process, then there exists another process such that the other process is an instance of death and the agent experiences the other process and the time of existence of the other process happens earlier than the time of existence of the process and the agent possesses the entity holds during immediately before the time of existence of the other process and the agent allows the cognitive agent to perform task of the type the cognitive agent possesses the entity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1288-1297	If a loan is an instance of loan and a collateral is a secured by of the loan and a cognitive agent lends the loan and a process is an instance of financial default and the loan is a patient of the process, then the cognitive agent possesses the collateral holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	naics.kif 7960-7985	If a collection is an instance of organization and air transportation industry is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and the cognitive agentLANE such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses a third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the cognitive agentLANE and the cognitive agentLANE is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	naics.kif 8743-8763	If a collection is an instance of organization and couriers and messengers is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of transportation and the cognitive agent possesses the entity and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 8472-8495	If a collection is an instance of organization and pipeline transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent possesses a third entity and the third entity is a patient of the entity and the third entity is an instance of substance and the collection possesses the other entity and the cognitive agentIPE is an instrument for the entity and the cognitive agentIPE is an instance of pipeline
No TPTP formula. May not be expressible in strict first order.	naics.kif 8714-8734	If a collection is an instance of organization and postal service is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of transportation and the cognitive agent possesses the entity and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 8041-8066	If a collection is an instance of organization and rail transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses a third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of rail vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8535-8556	If a collection is an instance of organization and scenic and sightseeing transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the entity is an instance of recreation or exercise and the cognitive agent is a patient of the entity and the collection possesses the other entity and the other entity is an instance of vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8351-8371	If a collection is an instance of organization and transit and ground passenger transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity and the collection possesses the other entity and the other entity is an instance of land vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8260-8282	If a collection is an instance of organization and truck transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent possesses a third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of land vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8783-8804	If a collection is an instance of organization and warehousing and storage is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist another entity and a third entity such that the third entity is an instance of time interval and the other entity is an instance of building and the cognitive agent possesses the entity and the other entity is located at the entity holds during the third entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 8087-8112	If a collection is an instance of organization and water transportation industry is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses a third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of water vehicle

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: