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

Formal Language: 



KB Term:  Term intersection
English Word: 

  inList

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 3037-3039
No TPTP formula. May not be expressible in strict first order. Merge.kif 3034-3034 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 3035-3035 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 3032-3032 in list is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3033-3033 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 3215-3219
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 7486-7491
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 2617-2622
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 16639-16647
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 3041-3044

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 7500-7515
No TPTP formula. May not be expressible in strict first order. Merge.kif 4765-4776
No TPTP formula. May not be expressible in strict first order. Merge.kif 4778-4792
No TPTP formula. May not be expressible in strict first order. Merge.kif 4850-4860
No TPTP formula. May not be expressible in strict first order. Merge.kif 4862-4876
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 5269-5274
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 2878-2883
No TPTP formula. May not be expressible in strict first order. Merge.kif 2885-2894
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 4758-4763
No TPTP formula. May not be expressible in strict first order. Merge.kif 4843-4848
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 2868-2876
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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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