TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2133-2134
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4166-4169
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4163-4163	The number 1 argument of possesses is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4164-4164	The number 2 argument of possesses is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4162-4162	possesses is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4161-4161	possesses is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 171-171
No TPTP formula. May not be expressible in strict first order.	english_format.kif 172-172
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11488-11488	Change of possession is internally related to possesses
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23402-23402	financialAsset is a subrelation of possesses
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2073-2073	has account is a subrelation of possesses
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 172-172
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46785-46785
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46784-46784
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46783-46783

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2329-2334	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2392-2407	If an agent is a customer of a cognitive agent and the agent employs another cognitive agent and traveler accommodation is an attribute of the agent and porter is an attribute of the other cognitive agent and the 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 other 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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	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 an agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at a cognitive agent and another agent is an instance of the class and the agent possesses the other agent and the agent is a customer of the cognitive agent and the other agent is an instance of process and the cognitive agent is an agent of the other agent or the cognitive agent experiences the other agent or the agent possesses the other agent and the other agent is an instance of object and the other agent uses the cognitive agent, then the other agent is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	If use of a class is free for an agent and another agent is an instance of the class and the agent is a customer of a cognitive agent and the other agent is an instance of process and the cognitive agent is an agent of the other agent or the cognitive agent experiences the other agent or the agent possesses the other agent and the other agent is an instance of object and the other agent uses the cognitive agent, then the other agent is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4390-4407	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 4175-4181	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 3187-3197	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2278-2286	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 2405-2414	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.	FinancialOntology.kif 2341-2363	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 real number an unit of measure(s) 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 another real number the unit of measure(s) for the time interval and a third real number is equal to (the real number and the other real number), 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 third real number the unit of measure(s) is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6967-6972	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 11493-11500	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3547-3558	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16009-16017	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 24607-24614	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 24473-24480	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3489-3494	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 16376-16387	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 16077-16084	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

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 784-792	If an user account is an account at a WebSite, then there exist an object and the WebSite_OWNER such that the object is an instance of database and the WebSite_OWNER is an instance of agent and the WebSite_OWNER possesses the WebSite and the WebSite_OWNER possesses the object and the user account is a part of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29011-29023	If Collectible is an attribute of an object and the object has the purpose a formula, then there exist a cognitive agent and the formula2 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 20005-20027	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and an agent employs the cognitive agent and the agent is an instance of restaurant and the agent is a customer of another cognitive agent and the other cognitive agent is located at an object and the object is an instance of table, then there exist another object, an entity,, , another entity and a third object such that the agent possesses the third object and the third object is an instance of kitchen area and the other object is an instance of dining area and the object is located at the other object and the cognitive agent has the purpose the entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the third object and the entity ends up at the object and the other 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 3695-3703	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 3712-3720	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 4175-4181	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 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
No TPTP formula. May not be expressible in strict first order.	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 18114-18130	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 2405-2414	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 11502-11512	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
No TPTP formula. May not be expressible in strict first order.	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 18056-18074	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 1333-1342	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 7953-7978	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 8736-8756	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 8465-8488	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 8707-8727	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 8034-8059	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 8528-8549	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 8344-8364	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 8253-8275	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 8776-8797	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 8080-8105	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12669-12674	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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: