TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2688-2690
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7817-7820
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7814-7814	The number 1 argument of duration is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7815-7815	The number 2 argument of duration is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7812-7812	duration is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7813-7813	duration is an instance of total valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 413-413
No TPTP formula. May not be expressible in strict first order.	english_format.kif 419-419
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20679-20679
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 414-414
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20678-20678
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20677-20677

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5626-5633	If an entity is an attribute of another entity holds during a time interval and the other entity is an instance of chronic disease and duration of the time interval is a real number, then the real number is greater than 3 month duration(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 155-166	If a process is an instance of drawingA check and an entity is a patient of the process and another process is an instance of processingA check and the entity is a patient of the other process and the time of existence of the process is equal to the processTime and the time of existence of the other process is equal to the other processTime and the processTime meets a third time interval and the third time interval meets the other processTime and duration of the third time interval is a real number month duration(s), then the real number is less than 6
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1496-1501	If an agreement is an instance of bank term loan and a time interval is an agreement period of the agreement and duration of the time interval is a real number year duration(s), then the real number is greater than or equal to 1
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9372-9376	If a time interval is an instance of month and duration of the time interval is an integer day duration(s), then the number of instances in decomposition of the time interval into days is equal to the integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 611-617	If a time interval is an instance of Passover and duration of the time interval is a real number day duration(s), then the real number is equal to 7 or the real number is equal to 8
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2016-2029	If a process is an instance of speaking at a faster rate and another process is an instance of speaking at a slower rate and an unit of measure is an instance of UnitOfDuration and an agent is an agent of the process and the agent is an agent of the other process and the process contains information a proposition and the other process contains information the proposition and duration of the time of existence of the process is a real number the unit of measure(s) and duration of the time of existence of the other process is another real number the unit of measure(s), then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2104-2113	If a physical is an instance of speaking a short utterance and another physical is an instance of speaking a long utterance and an unit of measure is an instance of UnitOfDuration and duration of the time of existence of the physical is a real number the unit of measure(s) and duration of the time of existence of the other physical is another real number the unit of measure(s), then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13559-13565	If a time point is an instance of time point and another time point is an instance of time point and a time interval is equal to interval between the time point and the other time point and duration of the time interval is a time duration, then the time interval is equal to a time that starts at the time point and lasts for the time duration
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4016-4020	If a time interval is a statement period of a bank statement and duration of the time interval is a time duration, then the time duration is equal to month duration

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1974-1979	If a time interval is a member of a consecutive time interval list and the consecutive time interval list is equal to ConsecutiveTimeIntervalList for at another time interval at a time duration is contained in TimeIntervalListFn, then duration of the time interval is the time duration
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15942-15954	If a process is an instance of insomnia and a cognitive agent experiences the process, then there exists another process such that the other process is an instance of sleeping and the cognitive agent experiences the other process and duration of the time of existence of the other process is a time duration and the cognitive agent desires duration of the time of existence of the other process is the time duration2 and the time duration2 is greater than the time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8982-8987	If a time interval is an instance of the month February and an entity is an instance of the entityEAR and the entity is an instance of leap year, then duration of the time interval is 29 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8975-8980	If a time interval is an instance of the month February and an entity is an instance of the entityEAR and the entity is not an instance of leap year, then duration of the time interval is 28 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7436-7440	If a time point is an instance of time point and the age of a physical is a time duration holds during the time point, then duration of interval between the beginning of the time of existence of the physical and the time point is the time duration
No TPTP formula. May not be expressible in strict first order.	Media.kif 538-547	If a time interval is an instance of year and another time interval is an instance of EasterSunday and a third time interval is an instance of AscensionThursday and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the other time interval starts a fourth time interval and the third time interval finishes the fourth time interval, then duration of the fourth time interval is 40 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 473-482	If a time interval is an instance of year and another time interval is an instance of EasterSunday and a third time interval is an instance of PalmSunday and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the third time interval starts a fourth time interval and the other time interval finishes the fourth time interval, then duration of the fourth time interval is 8 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 559-568	If a time interval is an instance of year and another time interval is an instance of EasterSunday and a third time interval is an instance of Pentecost and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the other time interval starts a fourth time interval and the third time interval finishes the fourth time interval, then duration of the fourth time interval is 50 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1859-1863	If The Measuring for list a measuring list occurs at a time duration interval. and a physical is a member of the measuring list, then duration of the time of existence of the physical is the time duration
No TPTP formula. May not be expressible in strict first order.	Music.kif 118-124	If a recording is a time duration long and the recording is an instance of audio recording and a process is an instance of listening and the recording is a patient of the process, then duration of the time of existence of the process is the time duration
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-491	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 UnitOfDuration 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 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 another 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.	QoSontology.kif 1764-1768	If a time duration is a response time of an user request and the user request is a computer response of a computer response, then duration of the time of existence of the computer response is the time duration
No TPTP formula. May not be expressible in strict first order.	Dining.kif 997-1012	If an agent believes another agent is quick and the agent believes a third agent is slow and a process is an instance of a class and another process is an instance of the class and the class is a subclass of process and the other agent is an agent of the process and the third agent is an agent of the other process, then an unit of measure is an instance of UnitOfDuration and duration of the time of existence of the process is a real number the unit of measure(s) and duration of the time of existence of the other process is another real number the unit of measure(s) and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2947-2951	If day order is an attribute of an agreement, then a time interval is an agreement period of the agreement and duration of the time interval is 1 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9292-9302	If decomposition of a time interval into the time intervalTYPEs is equal to another kind of time interval, then for all a third time interval and a fourth time interval if the third time interval is an instance of the time intervalTYPE and the fourth time interval is an instance of another kind of time interval, then there exists a time duration such that duration of the third time interval is the time duration and duration of the fourth time interval is the time duration
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3752-3754	If a time interval is equal to the fiscal year starting of an agent and a kind of year, then duration of the time interval is 1 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2018-2022	If a list is equal to Mean3SecondWindSpeedListFn ending at a time interval in region a geographic area, then duration of the time interval is 2 minute duration(s)
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1275-1289	If there exist a time interval and another time interval such that a time duration is a dependency delay of a computer program and shutdown block is a dependency type of the computer program and another computer program has a dependency on the computer program and a computer process is an instance of computer process and the computer program is a program running of the computer process and another computer process is an instance of computer process and the other computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and a third time interval finishes the time interval and the time of existence of the other computer process is equal to the other time interval and the beginning of the third time interval is equal to the end of the other time interval, then duration of the third time interval is the time duration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1259-1273	If there exist a time interval and another time interval such that a time duration is a dependency delay of a computer program and startup block is a dependency type of the computer program and another computer program has a dependency on the computer program and a computer process is an instance of computer process and the computer program is a program running of the computer process and another computer process is an instance of computer process and the other computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the other time interval starts a third time interval and the time of existence of the computer process is equal to the time interval and the end of the third time interval is equal to the beginning of the time interval, then duration of the third time interval is the time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7829-7839	If a kind of process occurs every a time duration, then for all a time interval if duration of the time interval is the time duration, then there exists a time position such that the time position is a part of the time interval and there exists an entity such that the entity is an instance of a kind of process holds during the time position
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1686-1693	If the rate of inflation in a nation is a real number, then there exists an inflation such that the inflation is an instance of inflation and duration of the time of existence of the inflation is year duration and the nation experiences the inflation and the real number is an inflation rate of the inflation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8680-8682	If a time interval is an instance of Decade, then duration of the time interval is 1 DecadeDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8684-8686	If a time interval is an instance of Decade, then duration of the time interval is 10 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9145-9147	If a time interval is an instance of day, then duration of the time interval is 1 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1629-1641	If a process is an instance of flash flooding, then there exist another process and a real number such that the other process is an instance of water motion and the other process causes the process and the time of existence of the other process meets the time of existence of the process and duration of the time of existence of the other process is the real number hour duration(s) and the real number is less than 6.0

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: