inList |
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 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2004-2016 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1997-2002 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 503-507 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 497-501 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7492-7497 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1974-1979 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1965-1972 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2701-2708 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2693-2699 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1928-1932 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1715-1719 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1783-1787 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1749-1753 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1818-1822 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2623-2628 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1768-1774 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1859-1863 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16652-16660 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 692-708 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 961-971 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3047-3050 |
|
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
|
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
|
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
|
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
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 278-285 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7506-7521 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4771-4782 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4784-4798 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4856-4866 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4868-4882 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 931-941 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2004-2016 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 801-812 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1531-1546 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5275-5280 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 462-466 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2884-2889 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2891-2900 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 574-578 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4764-4769 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4849-4854 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1684-1691 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 509-517 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2874-2882 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 558-562 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |