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 3065-3067
No TPTP formula. May not be expressible in strict first order. Merge.kif 3062-3062 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 3063-3063 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 3060-3060 in list is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3061-3061 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 331-331 album track is a subrelation of in list
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. chinese_format.kif 132-132
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30178-30178
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30177-30177

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3242-3246
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 505-509
No TPTP formula. May not be expressible in strict first order. Merge.kif 499-503
No TPTP formula. May not be expressible in strict first order. Merge.kif 7513-7518
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 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 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 2633-2638
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 16727-16735
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 3069-3072

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 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 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 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 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 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 298-319 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. Music.kif 279-286
No TPTP formula. May not be expressible in strict first order. Merge.kif 7527-7542
No TPTP formula. May not be expressible in strict first order. Merge.kif 4792-4803
No TPTP formula. May not be expressible in strict first order. Merge.kif 4805-4819
No TPTP formula. May not be expressible in strict first order. Merge.kif 4877-4887
No TPTP formula. May not be expressible in strict first order. Merge.kif 4889-4903
No TPTP formula. May not be expressible in strict first order. Music.kif 934-944
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 5296-5301
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 2906-2911
No TPTP formula. May not be expressible in strict first order. Merge.kif 2913-2922
No TPTP formula. May not be expressible in strict first order. Merge.kif 576-580
No TPTP formula. May not be expressible in strict first order. Merge.kif 4785-4790
No TPTP formula. May not be expressible in strict first order. Merge.kif 4870-4875
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 511-519
No TPTP formula. May not be expressible in strict first order. Merge.kif 2896-2904
No TPTP formula. May not be expressible in strict first order. Merge.kif 560-564

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