TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2079-2082
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3871-3877
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 726-730
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3866-3866	The number 1 argument of time is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3867-3867	The number 2 argument of time is an instance of time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3864-3864	time is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3862-3862	time is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3863-3863	time is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3865-3865	time is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3869-3869	time is internally related to holds during
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3868-3868	time is internally related to located

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 191-191
No TPTP formula. May not be expressible in strict first order.	english_format.kif 192-192
No TPTP formula. May not be expressible in strict first order.	french_format.kif 115-115
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 299-299
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1944-1944
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 67-67
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 116-116
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 244-244
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 335-335
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 134-134
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 120-120
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 491-491
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8568-8568	date is a subrelation of time
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 192-192
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58117-58117
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58116-58116
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 77-77

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2754-2766	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement the attribute call option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of buying and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 100 share unit(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2768-2780	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement the attribute put option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of selling and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 100 share unit(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23512-23525	If a confining is an instance of imprisoning and an animal is a detainee of the confining and the animal is an instance of human and the confining exists during a time interval and the time interval is an instance of time interval, then there exist a placing under arrest and another time interval such that the other time interval is an instance of time interval and the placing under arrest exists during the other time interval and the other time interval happens earlier than the time interval and the placing under arrest is an instance of placing under arrest and the animal is placed under arrest during the placing under arrest
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1449-1466	If a process is an instance of refinancing and the process exists during a day and a loan is an instance of loan and a collateral is a secured by of the loan and the loan is the borrower of a cognitive agent and the loan current account balance the day for a currency measure and the loan is a patient of the process, then there exist another loan and a financial transaction such that the other loan is an instance of loan and the other loan is the borrower of the cognitive agent and the collateral is a secured by of the loan and the financial transaction ends up at the currency of the loan and the financial transaction exists during the day and the financial transaction originates at the currency of the other loan and the currency measure is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	Justice.kif 61-69	If a process is an instance of seeing and an object is a patient of the process and an agent is an agent of the process and the object is an instance of object and the process exists during a time position and the object is located at another object holds during the time position, then the object is observed at time in place the agent for the time position with the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12826-12832	If a physical is a patient of a process and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process, then the process is an instance of creation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23259-23266	If an object plays role in event a case role for a process and the process is an instance of another kind of process and another kind of process is a subclass of process and the process exists during a time position and the process is located at another object, then the object plays role in event of type the case role for the other kind of process with the time position and the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23288-23295	If an object plays role in event a case role for a process and the process is an instance of another kind of process and another kind of process is a subclass of process and the process exists during a time position and the process is located at another object, then the object plays role in event of type the case role for the other kind of process with the time position and the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23311-23316	If an object plays role in event a case role for a process and the process exists during a time position and the process is located at another object, then the object located at time the time position for the other object
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	If the price of a kind of physical set by a cognitive agent according to a pricing scheme is a function quantity and the function quantity is equal to the per of a currency measure and the measure of a real number is an unit of measure and the unit of measure is an instance of unit of duration and an entity is an immediate instance of a kind of physical and a process is an instance of renting and the entity is a patient of the process and an agent is an agent of the process and the process exists during the real numberINT, then for all another time interval if there exists another real number such that the real numberINT takes place during the other time interval and the other time interval is an instance of time interval and duration of the other time interval is the other real number the unit of measure(s) and the other real number is less than or equal to the 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 cognitive agent and the agent is an agent of the financial transaction and the currency measure is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3312-3321	If tax deferred income for a human resulting from an organizational process is a currency measure and the organizational process exists during a time position, then there doesn't exist a process such that the process is an instance of tax and the organizational process causes the process and the process exists during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8228-8232	If a physical exists during a time point and the time point is an instance of time point, then the time point is between or at the beginning of the time of existence of the physical and the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7996-7999	If a physical exists during a time position, then the time position is a part of the time of existence of the physical

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 706-713	If a kind of time position is an agreement adoption date of a proposition, then there exist a process and another time position such that the process is an instance of committing and the other time position is an instance of a kind of time position and the proposition is a patient of the process and the process exists during the other time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7982-7989	If an entity a physical and another physical holds during a time position and the physical is an instance of physical and the other physical is an instance of physical, then the physical exists during the time position and the other physical exists during the time position
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2438-2445	If a process is an instance of closing graphical window and a physical is a patient of the process, then the physical is an instance of interface window and the physical exists during the beginning of the time of existence of another physical and the physical doesn't exist during the end of the time of existence of the other physical
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 137-146	If an entity is an instance of check and a process is an instance of processingA check and the entity is a patient of the process, then there exists another process such that the other process is an instance of depositingA check and the entity is a patient of the other process and the other process exists during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2754-2766	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement the attribute call option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of buying and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 100 share unit(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2768-2780	If a process is an instance of exercise an option and an agreement is a patient of the process and the agreement the attribute put option and the process exists during a time position and a financial instrument is an underlier of the agreement, then there exists another process such that the other process is an instance of selling and the financial instrument is a patient of the other process and the other process exists during the time position and the measure of the financial instrument is 100 share unit(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23512-23525	If a confining is an instance of imprisoning and an animal is a detainee of the confining and the animal is an instance of human and the confining exists during a time interval and the time interval is an instance of time interval, then there exist a placing under arrest and another time interval such that the other time interval is an instance of time interval and the placing under arrest exists during the other time interval and the other time interval happens earlier than the time interval and the placing under arrest is an instance of placing under arrest and the animal is placed under arrest during the placing under arrest
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1428-1443	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.	Mid-level-ontology.kif 22259-22272	If an attribute is an instance of occupational role and a kind of process is a typical action of a the attr of cognitive agent and the attribute, then there exist another process, a time position,, , an agent and the agentT such that the other process is an instance of cognitive agent and the attribute is an attribute of the other process holds during the time position and the agent is an instance of a kind of process and the agent is an agent of the other process and the agent exists during the agentT and the agentT is a part of the time position
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1449-1466	If a process is an instance of refinancing and the process exists during a day and a loan is an instance of loan and a collateral is a secured by of the loan and the loan is the borrower of a cognitive agent and the loan current account balance the day for a currency measure and the loan is a patient of the process, then there exist another loan and a financial transaction such that the other loan is an instance of loan and the other loan is the borrower of the cognitive agent and the collateral is a secured by of the loan and the financial transaction ends up at the currency of the loan and the financial transaction exists during the day and the financial transaction originates at the currency of the other loan and the currency measure is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 955-964	If a time position is monitor component data a symbolic string for a real number and another time position component dataID a kind of computer component for another computer component with an unit of measure and the symbolic string, then there exists a measuring performance such that the measuring performance is an instance of measuring performance and the unit of measure is an unit measuring performance of the other computer component and the measuring performance exists during the time position and the measuring performance is performance result the other computer component for the real number
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2669-2685	If an agreement the attribute option and a cognitive agent holds the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, then the cognitive agent has the right to perform the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2623-2639	If an agreement the attribute option and a cognitive agent holds the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is an underlier of the agreement and the financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval, then the cognitive agent has the right to perform the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2687-2703	If an agreement the attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, then the 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 2641-2659	If an agreement the attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is an underlier of the agreement and the financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval, then the 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 3312-3321	If tax deferred income for a human resulting from an organizational process is a currency measure and the organizational process exists during a time position, then there doesn't exist a process such that the process is an instance of tax and the organizational process causes the process and the process exists during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8132-8144	If a physical is an instance of object, then there exist a time point and another time point such that the time point is an instance of time point and the other time point is an instance of time point and the time point happens before the other time point and for all a third time point if the time point happens before or at the third time point and the third time point happens before or at the other time point, then the physical exists during the third time point
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2373-2380	If a process is an instance of opening new graphical window, then there exists a physical such that the physical is a patient of the process and the physical is an instance of interface window and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 839-844	If a physical is an instance of physical, then there exist an object and a time position such that the physical is located at the object and the physical exists during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12817-12824	If a process is an instance of creation, then there exists a physical such that the physical is a patient of the process and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12304-12311	If a process is an instance of destruction, then there exists a physical such that the physical is a patient of the process and the physical exists during the beginning of the time of existence of the process and the physical doesn't exist during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3097-3110	If a process is an instance of spread option, then there exist an entity, another entity,, , another process,, , a third process and a time position such that the entity is an instance of option and the other entity is an instance of option and the other process is an instance of buying and the third process is an instance of selling and the other process is a subprocess of the process and the third process is a subprocess of the process and the entity is a patient of the other process and the other entity is a patient of the third process and the other process exists during the time position and the third process exists during the time position
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 979-984	If a computer program is a monitor application data of a time position, then there exists a computer process such that the computer program is a program running of the computer process and the computer process exists during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23279-23286	If an object plays role in event of type a case role for a kind of process with a time position and another object, then there exists another process such that the other process is an instance of a kind of process and the other process exists during the time position and the other process is located at the other object and the object plays role in event the case role for the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8146-8152	If a physical is a result of a process, then for all a time point if the time point happens before the beginning of the time of existence of the process, then the physical doesn't exist during the time point

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: