TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2745-2746
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8004-8006
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8001-8001	The number 1 argument of immediate future is an instance of time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7998-7998	Immediate future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8000-8000	Immediate future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7999-7999	Immediate future is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8002-8002	The range of immediate future is an instance of time interval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 463-463
No TPTP formula. May not be expressible in strict first order.	english_format.kif 472-472
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29281-29281
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 464-464
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29280-29280
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29279-29279

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3217-3231	If booting up is an attribute of an engineering component holds during a physical and host ready is an attribute of the engineering component holds during the physical2 and the physical2 is equal to immediately after the time of existence of the physical and another engineering component is an instance of ComputerDisplay and the other engineering component is connected to the engineering component, then the statement there exists an entity such that the entity is an instance of home screen and the entity is displayed on the other engineering component has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1932-1946	If a computer process is an instance of data compression and a digital data is processed by the computer process and the digital data requires a quantity an entity(s) holds during immediately before the time of existence of the computer process and the digital data requires another quantity the entity(s) holds during immediately after the time of existence of the computer process, then the other quantity is less than the quantity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6447-6461	If a process is an instance of deposition and an entity is a patient of the process and the measure of the entity is a quantity joule(s) holds during immediately before the time of existence of the process and the measure of the entity is another quantity joule(s) holds during immediately after the time of existence of the process, then the other quantity is less than the quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 774-786	If a process is an instance of motion and another process is an instance of tremor and an object is an instance of damper and another object is a patient of the other process and the object is a part of the other object and the process causes the other process and the amplitude the other process is a quantity holds during the time of existence of the process and the amplitude the other process is another quantity holds during immediately after the process, then the quantity is greater than the other quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1720-1740	If an object is an instance of lever and a process is an instance of pushing and a physical is an instance of motion and the process ends up at another object and one end of the object is the other object and one end of the object is a third object and the other object is not equal to the third object and the other object is located at the process1 holds during immediately before the time of existence of the physical and the other object is located at the process2 holds during immediately after the time of existence of the physical and the third object is located at the process3 holds during immediately before the time of existence of the physical and the third object is located at the process4 holds during immediately after the time of existence of the physical and the distance between the process1 and the process2 is a length measure and the distance between the process3 and the process4 is another length measure, then the other length measure is greater than the length measure
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3892-3906	If a process is an instance of logging in and an agent has account an user account and the user account is an account at a WebSite and a time interval is equal to immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and the WebSite is a patient of the entity holds during the time interval has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3908-3922	If a process is an instance of logging in and an agent has account an user account and deviceAccount the user account and a computer and a time interval is equal to immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and the computer is an instrument for the entity holds during the time interval has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1974-1986	If an entity is an instance of self connected object and a process is an instance of compressing and the entity is a patient of the process and the measure of the entity is a quantity another entity(s) holds during immediately before the time of existence of the process and the other entity is an instance of volume measure and the measure of the entity is another quantity the other entity(s) holds during immediately after the time of existence of the process, then the quantity is greater than the other quantity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6499-6513	If a process is an instance of sublimation and an entity is a patient of the process and the measure of the entity is a quantity joule(s) holds during immediately before the time of existence of the process and the measure of the entity is another quantity joule(s) holds during immediately after the time of existence of the process, then the other quantity is greater than the quantity

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 725-740	If a proposition agreement revision date a kind of time position for another proposition , then there exists another time position such that the other time position is an instance of a kind of time position and the other proposition is not a sub-proposition of the proposition holds during immediately before the other time position and the other proposition is a sub-proposition of the proposition holds during immediately after the other time position or the other proposition is a sub-proposition of the proposition holds during immediately before the other time position and the other proposition is not a sub-proposition of the proposition holds during immediately after the other time position
No TPTP formula. May not be expressible in strict first order.	Government.kif 701-706	If a time point is an agreement effective date of an agreement and the agreement obligates a cognitive agent to perform task of the type a formula and a time position is an instance of the time point, then the cognitive agent is obliged to perform tasks of type the formula holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Government.kif 708-713	If a time point is an agreement effective date of an agreement and the agreement allows a cognitive agent to perform task of the type a formula and a time position is an instance of the time point, then the cognitive agent has the right to perform the formula holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1427-1440	If a process is an instance of appointing and an entity is a patient of the process, then there exist another entity and a third entity such that the entity doesn't hold the position of the other entity in the third entity holds during the beginning of the time of existence of the process and the entity holds the position of the other entity in the third entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4402-4411	If a process is an instance of activating a deactivated account and an entity is an instance of user account and the entity is a patient of the process, then account deactivated is an attribute of the entity holds during immediately before the time of existence of the process and account active is an attribute of the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1257-1268	If a process is an instance of braking and an entity is a patient of the process, then a quantity is equal to the accelleration another entity of the entity in a third entity in the direction a fourth entity holds during immediately before the time of existence of the process and another quantity is equal to the accelleration the other entity of the entity in the third entity in the direction the fourth entity holds during immediately after the time of existence of the process and the quantity is greater than the other quantity
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.	Mid-level-ontology.kif 27974-27981	If a process is an instance of covering and an entity is a patient of the process and an object is an instrument for the process, then the object covers the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4043-4055	If a process is an instance of change account information and an agent is an agent of the process and the agent has account an user account and the account the user account has information a proposition, then there exists an entity such that the entity is not equal to the proposition and the account the user account has information the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3999-4012	If a process is an instance of change password and an agent is an agent of the process and the agent has account an user account and the user account has password a computer password, then there exists an entity such that the entity is an instance of computer password and the entity is not equal to the computer password and the user account has password the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4021-4034	If a process is an instance of change user name and an agent is an agent of the process and the agent has account an user account and the user name of the user account is an user name, then there exists an entity such that the entity is an instance of user name and the entity is not equal to the user name and the user name of the user account is the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4063-4073	If a process is an instance of creating an account and an agent is an agent of the process, then there exist an entity, another entity and a third entity such that the agent has account the entity and the entity has password the other entity and the user name of the entity is the third entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 391-401	If a process is an instance of closing an account and an entity is a patient of the process, then the entity is an instance of financial account holds during immediately before the time of existence of the process and the entity is not an instance of financial account holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4486-4496	If a process is an instance of deleting an account and an entity is an instance of account and an agent has account the entity holds during immediately before the time of existence of the process and the entity is a patient of the process and the agent is an agent of the process, then not the agent has account the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28276-28284	If a process is an instance of damaging and an entity is an instance of device and the entity is a patient of the process, then DeviceDamaged is an attribute of the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4418-4427	If a process is an instance of de-activating an account and an entity is an instance of user account and the entity is a patient of the process, then account deactivated is an attribute of the entity holds during immediately after the time of existence of the process and account active is an attribute of the entity holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9655-9670	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exists an entity such that the entity is a result of the process and the entity is an instance of organic object and dead is an attribute of the entity holds during after the time of existence of the process and if another entity is a part of the entity holds during immediately after the time of existence of the process, then the other entity is a part of the agent holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 428-436	If a financial transaction is an instance of deposit and a financial account is an instance of financial account and the financial transaction ends up at the currency of the financial account and a number is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another number and a third number is equal to (the other number and the number), then the financial account current account balance immediately after after the financial transaction for the third number
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 133-140	If a process is an instance of evacuation and an agent is an agent of the process and the agent is an instance of military organization and another agent experiences the process, then evacuee is an attribute of the other agent holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	engineering.kif 938-951	If an object is an instance of faucet and a process is an instance of liquid motion and an entity is a patient of the process and the process is located at the object, then there doesn't exist another entity such that the other entity is an instance of tube and the other entity は the entity を contains %n{ない} holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4371-4381	If a process is an instance of forgetting and an agent experiences the process, then there exists an entity such that the agent doesn't know the entity holds during immediately after the time of existence of the process and the agent knows the entity holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5402-5409	If a process is an instance of irrigating and an entity is a patient of the process and the entity is an instance of land area, then dry is an attribute of the entity holds during immediately before the time of existence of the process and damp is an attribute of the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2756-2763	If a process is an instance of cancelling an order and an entity is a patient of the process, then active agreement is not an attribute of the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1369-1384	If a loan is an instance of callable loan and a cognitive agent lends the loan and the loan is the borrower of another cognitive agent and a currency measure is a total balance of the loan and a process is an instance of call and the cognitive agent is an agent of the process and the loan is a patient of the process, then the other cognitive agent is obliged to perform tasks of type the class described by a symbolic string
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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 2726-2726	Andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the day 1
No TPTP formula. May not be expressible in strict first order.	Government.kif 2706-2706	Agency for the french speaking community is a conventional long name of "Agency for the French-Speaking Community" holds during immediately after the year 1996

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

KB Term:			Term intersection

English Word: