TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2309-2309
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5536-5538
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 980-981
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5533-5533	The number 1 argument of cardinality is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5532-5532	Cardinality is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5534-5534	The range of cardinality is an instance of integer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 506-506
No TPTP formula. May not be expressible in strict first order.	english_format.kif 511-511
No TPTP formula. May not be expressible in strict first order.	french_format.kif 296-296
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 41-41
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2073-2073
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 248-248
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 75-75
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 659-659
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 83-83
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 317-317
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 324-324
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 98-98
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 507-507
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13221-13221
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13220-13220
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13219-13219
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 202-202
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 99-99

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1009-1013	An entity is an instance of personal account and the number of instances in the class described by a symbolic string is greater than 1 if and only if the entity is an instance of joint account
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9212-9219	If a geopolitical area is an instance of geopolitical area and equal an integer and the number of instances in the citizenry of the geopolitical area and equal another integer and the number of instances in the resident of the geopolitical area, then the other integer is greater than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	If a collection is an instance of collection and a real number is an instance of currency measure and an integer is an instance of real number and equal the real number and the value of the collection and equal the integer and the number of instances in the class described by a symbolic string, then equal the average price of the collection and the real number and the integer
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3282-3302	If a collection is an instance of collection and a real number is an instance of currency measure and an integer is an instance of real number and equal the real number and the value of the collection and equal the integer and the number of instances in the class described by a symbolic string, then equal the average selling price of the collection and the real number and the integer
No TPTP formula. May not be expressible in strict first order.	Government.kif 410-414	If a set or class is an instance of set or class and equal the number of instances in the set or class and a nonnegative integer, then the nonnegative integer is a cardinality of the set or class

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	A year is an instance of the year the yearEAR and equal the male life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	A year is an instance of the year an integer and equal the births per thousand of a geopolitical area and the year and a real number if and only if equal the population of the geopolitical area and 1000 and another real number and equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and the other real number and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	A year is an instance of the year an integer and equal the deaths per thousand of a geopolitical area and the year and a real number if and only if equal the population of the geopolitical area and 1000 and another real number and equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and the other real number and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	A year is an instance of the year an integer and equal the deaths per thousand live births of a geopolitical area and the year and a real number if and only if equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and 1000 and another real number and equal a third integer and the number of instances in the class described by another symbolic string and equal the third integer and the other real number and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	A year is an instance of the year an integer and equal the female life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	A year is an instance of the year an integer and equal the life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 156-187	A year is an instance of the year an integer and equal the migrants per thousand of a geopolitical area and the year and a real number if and only if equal (the integer and another integer) and 1 and an entity is an instance of the year the other integer and equal the population of the geopolitical area and another real number holds during the year and equal the other real number and 1000 and a third real number and equal a third integer and the number of instances in the class described by a symbolic string and equal a fourth integer and the number of instances in the class described by the symbolic string and equal (the third integer and the fourth integer) and a fourth real number and equal the fourth real number and the third real number and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 206-223	equal the male to female ratio of a geopolitical area and a real number if and only if equal an integer and the number of instances in the class described by a symbolic string and equal another integer and the number of instances in the class described by another symbolic string and equal the integer and the other integer and the real number
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 835-842	If There are an integer number of a monoploid chromosome set MonoploidChromosomeSet in Collection a collection. and the monoploid chromosome set is a proper sub-collection of the collection, then equal the integer and the number of instances in the class described by the integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2139-2152	If there can be an integer values to argument a positive integer of a relation and the relation is an instance of predicate, then there exist a class, an entity and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the entity and the positive integerth element of (@ARGS), then the entity is an instance of the class and equal the number of instances in the class and the integer
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 812-817	If a geopolitical area is an instance of american city and the geopolitical area is a part of california and equal the geopolitical area and los angeles california, then the number of instances in the resident of los angeles california is greater than the number of instances in the resident of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 59-65	If a geopolitical area is an instance of city and the geopolitical area is a part of france, then the number of instances in the resident of the geopolitical area is less than or equal to the number of instances in the resident of paris
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of financial transaction , then there exist a symbolic string and an entity such that equal the number of instances in the class described by the symbolic string and number of items purchased in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of web listing , then equal the number of instances in there exist an entity, another entity and a third entity such that the class described by the entity and the number of instances in the collection and number of bids in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of web listing , then there exist a symbolic string, an entity,, , another entity and the symbolic string such that equal the number of instances in the class described by the symbolic string and number of bids in the collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12286-12292	If a process is an instance of counting and a cognitive agent is an agent of the process and an entity is a patient of the process, then there exists another entity such that the cognitive agent knows equal the number of instances in the entity and the other entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	If an experimenting is an instance of experimenting and a time interval is an instance of time interval, then equal the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string and purchases per user in the experimenting during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	If an experimenting is an instance of experimenting and an entity is an instance of time interval, then equal the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string and purchases per user in the experimenting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9599-9603	If a time interval is an instance of month and duration of the time interval is an integer day duration(s), then equal the number of instances in decomposition of the time interval into days and the integer
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3721-3739	If a search results page is an instance of search results page and a list is an instance of search results and the list is a component of the search results page, then equal the number of instances in the class described by a symbolic string and length of the list and qualifying clicks on the search results page
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5369-5385	If a geometric figure is an instance of pyramid and a two dimensional figure is an instance of polygon and the two dimensional figure is the face of Figure the geometric figure and the size of the two dimensional figure is an one dimensional figure and a symbolic string is an instance of triangle and the symbolic string is the face of Figure the geometric figure and the size of the symbolic string is the one dimensional figure and the one dimensional figure is the intersection the two dimensional figure and the symbolic string, then equal the number of instances in the class described by the one dimensional figure and the number of instances in the class described by the symbolic string
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 897-901	If a geopolitical area is an instance of american state and equal the geopolitical area and california, then the number of instances in the resident of california is greater than the number of instances in the resident of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	If a collection is an instance of collection and a corpuscular object is an instance of hyperlink and for all a physical the physical is a member of another collection and the physical is an instance of accessing web page and the other collection is a component of the corpuscular object, then there exists a third collection such that the third collection is an instance of collection and for all a process if the process is an instance of requesting hyperlink and the corpuscular object is a patient of the process, then the process is a member of the third collection and equal the rate of clicking through the corpuscular object in the collection and the number of instances in the third collection and the number of instances in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	If a collection is an instance of collection and another collection is an instance of collection and the other collection is a proper sub-collection of the collection and for all a physical if the physical is a member of the collection, then the physical is an instance of accessing web page and for all a process, an agent,, , another process,, , the process and an object if the agent is an instance of human and the process is an instance of buying and the other process is an instance of accessing web page and the object is an instance of web page and the other process is a member of the collection and the other process ends up at the object and the agent is an agent of the process and the agent is an agent of the other process and the time of existence of the process takes place during the time of existence of the other process and the object is an instrument for the process, then the process is a member of the other collection , then there exist a time interval, an entity_IN_INTERVAL and another entity_IN_INTERVAL such that equal purchases made in the collection during the time interval and the number of instances in the class described by the entity_IN_INTERVAL and the number of instances in the class described by the other entity_IN_INTERVAL
No TPTP formula. May not be expressible in strict first order.	Media.kif 2212-2225	If there can be at most an integer values to argument a positive integer of a relation and the relation is an instance of predicate, then there exist a class, an entity and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the entity and the positive integerth element of (@ARGS), then the entity is an instance of the class and the number of instances in the class is less than or equal to the integer

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.	People.kif 456-469	A year is an instance of the year an integer and equal the children born per woman of a geopolitical area and the year and the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Military.kif 940-949	equal the available for military service male of a geopolitical area and the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5635-5638	equal the number of instances in the class described by a symbolic string and 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5910-5913	equal the number of instances in the class described by a symbolic string and 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5522-5525	equal the number of instances in the class described by a symbolic string and 3
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14335-14335	equal the number of instances in continent and 7
No TPTP formula. May not be expressible in strict first order.	Media.kif 2005-2005	equal the number of instances in Nativity magi and 3
No TPTP formula. May not be expressible in strict first order.	Military.kif 963-974	equal the fit for military service male of a geopolitical area and the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33681-33686	equal individuals of type an organism in a geographic area. and the number of instances in the class described by the organismI
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33658-33663	equal the population of a geopolitical area and the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Military.kif 1001-1014	equal the reaching military age annually male of a geopolitical area and a year and the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 1967-1967	The number of instances in Twelve apostles is greater than or equal to 11
No TPTP formula. May not be expressible in strict first order.	Media.kif 1968-1968	The number of instances in Twelve apostles is less than or equal to 12

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

KB Term:			Term intersection

English Word: