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 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 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 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 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 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
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


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