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 3001-3003
No TPTP formula. May not be expressible in strict first order. Merge.kif 2998-2998 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 2999-2999 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 2996-2996 in list is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2994-2994 in list is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2995-2995 in list is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2997-2997 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 329-329 album track is a subrelation of in list
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30187-30187
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 30186-30186
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30185-30185

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3174-3178
No TPTP formula. May not be expressible in strict first order. Weather.kif 1998-2010
No TPTP formula. May not be expressible in strict first order. Weather.kif 1991-1996
No TPTP formula. May not be expressible in strict first order. Merge.kif 504-508
No TPTP formula. May not be expressible in strict first order. Merge.kif 498-502
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2698-2705
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2690-2696
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 2582-2587
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 15791-15799
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 959-969
No TPTP formula. May not be expressible in strict first order. Merge.kif 3005-3008

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


No TPTP formula. May not be expressible in strict first order. People.kif 285-306 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 411-442 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 323-353 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. People.kif 367-398 The male 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 277-284
No TPTP formula. May not be expressible in strict first order. Music.kif 930-940
No TPTP formula. May not be expressible in strict first order. Weather.kif 1998-2010
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 5099-5104
No TPTP formula. May not be expressible in strict first order. Merge.kif 463-467
No TPTP formula. May not be expressible in strict first order. Merge.kif 2843-2848
No TPTP formula. May not be expressible in strict first order. Merge.kif 2850-2859
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 4678-4683
No TPTP formula. May not be expressible in strict first order. Merge.kif 4685-4690
No TPTP formula. May not be expressible in strict first order. Merge.kif 4692-4700
No TPTP formula. May not be expressible in strict first order. Merge.kif 4751-4756
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 4765-4773
No TPTP formula. May not be expressible in strict first order. Weather.kif 1965-1973
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 510-518
No TPTP formula. May not be expressible in strict first order. Merge.kif 2833-2841
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