Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - inList
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 3086-3088
No TPTP formula. May not be expressible in strict first order. Merge.kif 3083-3083 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 3084-3084 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 3081-3081 in list is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3082-3082 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 332-332 album track is a subrelation of in list
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30175-30175
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 30174-30174
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30173-30173

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3263-3267
No TPTP formula. May not be expressible in strict first order. Weather.kif 2005-2017
No TPTP formula. May not be expressible in strict first order. Weather.kif 1998-2003
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 7549-7554
No TPTP formula. May not be expressible in strict first order. Weather.kif 1975-1980
No TPTP formula. May not be expressible in strict first order. Weather.kif 1966-1973
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2697-2704
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2689-2695
No TPTP formula. May not be expressible in strict first order. Weather.kif 1929-1933
No TPTP formula. May not be expressible in strict first order. Weather.kif 1716-1720
No TPTP formula. May not be expressible in strict first order. Weather.kif 1784-1788
No TPTP formula. May not be expressible in strict first order. Weather.kif 1750-1754
No TPTP formula. May not be expressible in strict first order. Weather.kif 1819-1823
No TPTP formula. May not be expressible in strict first order. Merge.kif 2654-2659
No TPTP formula. May not be expressible in strict first order. Weather.kif 1769-1775
No TPTP formula. May not be expressible in strict first order. Weather.kif 1860-1864
No TPTP formula. May not be expressible in strict first order. Merge.kif 16771-16779
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 694-710
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 3090-3093

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 383-416 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 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 and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 429-462 A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to 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 and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 336-368 A year is an instance of the year an integer and the life expectancy at birth of a geopolitical area and the year is equal to 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 and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 298-319 A real number is an average of a list if and only if there exist another list and a positive integer 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 another positive integer and the positive integer is equal to length of the other list and the real number is equal to the positive integerth element of the other list and the positive integer
No TPTP formula. May not be expressible in strict first order. Music.kif 280-287
No TPTP formula. May not be expressible in strict first order. Merge.kif 7563-7578
No TPTP formula. May not be expressible in strict first order. Merge.kif 4832-4843
No TPTP formula. May not be expressible in strict first order. Merge.kif 4845-4859
No TPTP formula. May not be expressible in strict first order. Merge.kif 4917-4927
No TPTP formula. May not be expressible in strict first order. Merge.kif 4929-4943
No TPTP formula. May not be expressible in strict first order. Music.kif 935-945
No TPTP formula. May not be expressible in strict first order. Weather.kif 2005-2017
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 1532-1547
No TPTP formula. May not be expressible in strict first order. Merge.kif 5336-5341
No TPTP formula. May not be expressible in strict first order. Merge.kif 464-468
No TPTP formula. May not be expressible in strict first order. Merge.kif 2927-2932
No TPTP formula. May not be expressible in strict first order. Merge.kif 2934-2943
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 4825-4830
No TPTP formula. May not be expressible in strict first order. Merge.kif 4910-4915
No TPTP formula. May not be expressible in strict first order. Weather.kif 1685-1692
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 2917-2925
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


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