inList - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1973-1975
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3043-3045
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3040-3040	The number 1 argument of in list is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3041-3041	The number 2 argument of in list is an instance of list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3038-3038	in list is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3039-3039	in list is an instance of partial valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 131-131
No TPTP formula. May not be expressible in strict first order.	english_format.kif 132-132
No TPTP formula. May not be expressible in strict first order.	Music.kif 330-330	album track is a subrelation of in list
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30180-30180
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 132-132
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30179-30179
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30178-30178

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3221-3225	If a real number is equal to the average of the numbers in a list and an entity is a member of the list, then the entity is an instance of number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2004-2016	If a list is equal to Mean3SecondWindSpeedListFn ending at a time interval in region a geographic area and a function quantity is a member of the list, then there exist the time intervalLIST and another time interval such that the time intervalLIST is equal to ConsecutiveTimeIntervalList for at the time interval at 3 second duration(s) is contained in TimeIntervalListFn and the other time interval is a member of the time intervalLIST and the function quantity is equal to Mean3SecondWindSpeedFn for the other time interval in region the geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1997-2002	If a list is equal to Mean3SecondWindSpeedListFn ending at a time interval in region a geographic area and an entity is a member of the list, then the entity is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 503-507	If @ROW are all the attributes of another kind of attribute and an entity is a member of (@ROW), then the entity is an instance of another kind of attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 497-501	If @ROW are all the attributes of another kind of attribute and an entity is a member of (@ROW), then the entity is an instance of attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7492-7497	If an entity is a member of a list and the list is equal to AmountsFn a kind of substance, a corpuscular object and an UnitOfMass, then the entity is an instance of rational number
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.	Weather.kif 1965-1972	If an entity is a member of a consecutive time interval list and the consecutive time interval list is equal to ConsecutiveTimeIntervalList for at a time interval at a time duration is contained in TimeIntervalListFn, then the beginning of the time interval is equal to the beginning of the first of the consecutive time interval list
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2701-2708	If an entity is a member of a list and the list is an instance of search results, then there exists a corpuscular object such that the corpuscular object is an instance of search results page and the list is a component of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2693-2699	If an entity is a member of a list and the list is an instance of search results, then the entity is an instance of web listing or the entity is an instance of WebPage
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1928-1932	If a list is an instance of consecutive time interval list and an entity is a member of the list, then another entity is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1715-1719	If a list is an instance of measuring list and an entity is a member of the list, then the entity is an instance of measuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1783-1787	If a list is an instance of measuring result list and an entity is a member of the list, then the entity is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1749-1753	If a list is an instance of measuring surface wind speed list and an entity is a member of the list, then the entity is an instance of surface wind speed measuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1818-1822	If a list is an instance of number list and an entity is a member of the list, then the entity is an instance of number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2623-2628	If an entity is an instance of intentional relation and the entity a cognitive agent and @ROW and a third entity is a member of (@ROW), then the cognitive agent is interested in the third entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1768-1774	If The eventLocated for a measuring list is a geographic area and a process is a member of the measuring list, then the process is an instance of measuring and the process is located at 2
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.	Merge.kif 16652-16660	If an object is a positional attribute to another object and @ROW is the opposite of and the positional attribute is a member of (@ROW) and another positional attribute is a member of (@ROW) and the positional attribute is not equal to the other positional attribute, then the object is not the other positional attribute to the other object
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 692-708	If the list of processes @ROW and a physical is a member of (@ROW) and another physical is a member of (@ROW) and another entity element of (@ROW) is equal to the physical and a third entity element of (@ROW) is equal to the other physical and a positive integer is less than another positive integer, then the time of existence of the physical happens earlier than the time of existence of the other physical
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 961-971	If %2 is the list of items viewed by 1 and a process is a member of a list, then the process is an instance of AccessingWebPage and an agent is an agent of the process and there exists an entity such that the entity is an instance of WebPage and the process ends up at WebPage
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3047-3050	If an entity is a member of a list, then there exists a positive integer such that the positive integerth element of the list is equal to the entity

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 372-405	A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to 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 289-310	A real number is an average of a list if and only if there exists another list such that length of the other list is equal to length of the list and 1th element of the other list is equal to 1th element of the list and for all a positive integer if the positive integer is a member of the other list, then there exist another real number, the other real numberMINUSONE,, , another positive integer and a third positive integer such that the other real number is greater than 1 and the other real number is less than or equal to length of the other list and the positive integerth element of the other list is equal to the other real number and the other positive integer is a member of the list and the other real number is equal to the other positive integerth element of the list and the third positive integer is a member of the other list and the other real numberMINUSONE is equal to (the other real number and 1) and the other real numberMINUSONE is equal to the third positive integerth element of the other list and the positive integer is equal to (the other positive integer and the third positive integer) and a fourth positive integer is equal to length of the other list and the real number is equal to the fourth positive integerth element of the other list and the fourth positive integer
No TPTP formula. May not be expressible in strict first order.	People.kif 418-449	The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to 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 327-357	The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to 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.	Music.kif 278-285	If a cognitive agent is a performer on an album, then there exist a content bearing object and a process such that the content bearing object is an instance of recording and the content bearing object is a member of the album and the content bearing object is a record of the process and the cognitive agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7506-7521	If amount a kind of substance, a corpuscular object and a real number an UnitOfMass(s) and a kind of substanceI is an instance of the kind of substance and the measure of the kind of substanceI is the real number2 the UnitOfMass(s) and the kind of substanceI is a part of the corpuscular object, then there exists a list such that the real number2 the UnitOfMass(s) is a member of the list and the list is equal to AmountsFn the kind of substance, the corpuscular object and the UnitOfMass and the real number is equal to the sum of the list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4771-4782	If the greatest common divisor of @ROW is equal to an integer and the integer is not equal to 0, then for all another integer if the other integer is a member of (@ROW), then the other integer mod the integer is equal to 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4784-4798	If the greatest common divisor of @ROW is equal to an integer and the integer is not equal to 0, then there doesn't exist another integer such that the other integer is greater than the integer and for all a third integer if the third integer is a member of (@ROW), then the third integer mod the other integer is equal to 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4856-4866	If the least common multiple of @ROW is equal to an integer and the integer is not equal to 0, then for all another integer if the other integer is a member of (@ROW), then the integer mod the other integer is equal to 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4868-4882	If the least common multiple of @ROW is equal to an integer and the integer is not equal to 0, then there doesn't exist another integer such that the other integer is less than the integer and for all a third integer if the third integer is a member of (@ROW), then the other integer mod the third integer is equal to 0
No TPTP formula. May not be expressible in strict first order.	Music.kif 931-941	If a kind of DataStorageDevice is equal to the set of copies on a kind of DataStorageDeviceS of an album and an entity is an instance of the kind of DataStorageDevice, then for all an object if the object is a member of the album, then there exists a content bearing object such that the content bearing object is a copy of the object and the content bearing object is stored on the kind of DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2004-2016	If a list is equal to Mean3SecondWindSpeedListFn ending at a time interval in region a geographic area and a function quantity is a member of the list, then there exist the time intervalLIST and another time interval such that the time intervalLIST is equal to ConsecutiveTimeIntervalList for at the time interval at 3 second duration(s) is contained in TimeIntervalListFn and the other time interval is a member of the time intervalLIST and the function quantity is equal to Mean3SecondWindSpeedFn for the other time interval in region the geographic area
No TPTP formula. May not be expressible in strict first order.	Media.kif 801-812	If an object is an instance of DigitalDataStorageDevice and a symbolic string is a part of the object and the symbolic string is an instance of digital data, then there exist a CodeMap and a list such that the symbolic string in the CodeMap denotes an entity and the list expresses the CodeMap and if the entity is a member of the list, then the entity is an instance of binary number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1531-1546	If a water wave is an instance of water wave and The waveHeight of the water wave a length measure., then there exist a list, a water area and an unit of measure such that the length measure is a member of the list and the water area is an instance of water area and the water wave is located at 2 and the unit of measure is an instance of length measure and significantWaveHeight in the water area during the time of existence of the water wave is a real number the unit of measure(s). and the real number is equal to 4.0 and The StandardDeviationFn of the list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5275-5280	If a real number is an average of a list, then for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 462-466	If @ROW is the opposite of , then if another entity is a member of (@ROW), then the other entity is an instance of attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2884-2889	If a class is disjointly decomposed into @ROW, then for all a third class if the third class is a member of (@ROW), then the third class is a subclass of the class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2891-2900	If a class is disjointly decomposed into @ROW, then for all a third class and a fourth class if the third class is a member of (@ROW) and the fourth class is a member of (@ROW) and the third class is not equal to the fourth class, then the third class is disjoint from the fourth class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 574-578	If @ROW is disjointly decomposed into @ROW, then if another entity is a member of (@ROW), then the other entity is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4764-4769	If the greatest common divisor of @ROW is equal to an integer, then if another entity is a member of (@ROW), then the other entity is an instance of number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4849-4854	If the least common multiple of @ROW is equal to an integer, then if another entity is a member of (@ROW), then the other entity is an instance of number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1684-1691	If a real number is equal to The maximum value of the a list, then there doesn't exist another real number such that the other real number is a member of the list and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 509-517	If @ROW are all the attributes of another kind of attribute, then for all an entity if the entity is an instance of another kind of attribute, then there exists another entity such that the other entity is a member of (@ROW) and the entity is equal to the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2874-2882	If a class is covered by @ROW, then for all an entity if the entity is an instance of the class, then there exists a third class such that the third class is a member of (@ROW) and the entity is an instance of the third class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 558-562	If @ROW is covered by @ROW, then if another entity is a member of (@ROW), then the other entity is an instance of class

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: