possesses - Sigma 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."')	Merge.kif 4057-4058
s__domain(s__possesses__m,n__1,s__Agent)	Merge.kif 4054-4054	The number 1 argument of possesses is an instance of agent
s__domain(s__possesses__m,n__2,s__Object)	Merge.kif 4055-4055	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 4053-4053	possesses is an instance of asymmetric relation
s__instance(s__possesses__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)	Merge.kif 4052-4052	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 10832-10832	Change of possession is internally related to possesses
s__subrelation(s__financialAsset__m,s__possesses__m)	Mid-level-ontology.kif 21787-21787	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 46700-46700
s__termFormat(s__ChineseTraditionalLanguage,s__possesses__m,'"擁有"')	domainEnglishFormat.kif 46699-46699
s__termFormat(s__EnglishLanguage,s__possesses__m,'"possesses"')	domainEnglishFormat.kif 46698-46698

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 2251-2256	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 2338-2353	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__SetOrClass) & s__instance(V__PHYS,s__SetOrClass)) => (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 814-835	If a set or 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 set or 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__SetOrClass)) => (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 522-537	If use of a set or class is free for a cognitive agent and an agent is an instance of the set or 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 4352-4369	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.	Transportation.kif 3166-3176	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 2200-2208	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 2319-2328	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__CurrencyMeasure) & s__instance(V__BondHolder,s__Agent) & s__instance(V__Date,s__Day) & s__instance(V__Interest,s__Interest) & 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 2263-2277	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 currency measure 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 currency measure is equal to (the currency measure 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 currency measure 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 6934-6939	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 10837-10844	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 3441-3452	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 14104-14112	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 23059-23066	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 22939-22946	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 4061-4066	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 1165-1169	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 469-476	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 14438-14449	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 1115-1119	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 1181-1185	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 14183-14190	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14162-14176	If an object is an instance of passport and an agent possesses the object, then the object confers norm there exist an entity, another entity and a third entity such that the entity is an instance of translocation and the agent is an agent of the entity and the entity originates at the other entity and the entity ends up at the third entity and the other entity is an instance of nation and the third entity is an instance of nation and the other entity is not equal to the third 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 4079-4081	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 780-788	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 27682-27694	If Collectible is an attribute of an object and the object 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 18261-18282	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 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 3590-3598	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 3607-3615	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
( ! [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 967-971	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 1128-1132	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 16349-16365	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 2319-2328	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 10846-10856	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 16294-16312	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 1275-1284	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 an object such that the object is a member of the collection and the agent is an agent of the object 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 object 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 8659-8679	If a collection is an instance of organization and couriers and messengers is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object 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 object 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 8388-8411	If a collection is an instance of organization and pipeline transportation is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object 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 object 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 8630-8650	If a collection is an instance of organization and postal service is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object 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 object 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 an object such that the object is a member of the collection and the agent is an agent of the object 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 object 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 8451-8472	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 an object such that the object is a member of the collection and the agent is an agent of the object 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 object 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 8267-8287	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 an object such that the object is a member of the collection and the agent is an agent of the object 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 object 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 8176-8198	If a collection is an instance of organization and truck transportation is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object 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 object 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 8699-8720	If a collection is an instance of organization and warehousing and storage is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object 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 object 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 an object such that the object is a member of the collection and the agent is an agent of the object 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 object 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11916-11921	If a process is an instance of pursuing and an agent is an agent of the process and an entity is a patient of the process, then the agent doesn't possess the entity holds during the process

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: