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 3002-3004
No TPTP formula. May not be expressible in strict first order. Merge.kif 2999-2999 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 3000-3000 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 2997-2997 in list is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2995-2995 in list is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2996-2996 in list is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2998-2998 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 30121-30121
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 30120-30120
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30119-30119

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


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. 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. Merge.kif 2583-2588
No TPTP formula. May not be expressible in strict first order. Merge.kif 15776-15784
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 3006-3009

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. Media.kif 801-812
No TPTP formula. May not be expressible in strict first order. Weather.kif 1137-1152
No TPTP formula. May not be expressible in strict first order. Merge.kif 5092-5097
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 2844-2849
No TPTP formula. May not be expressible in strict first order. Merge.kif 2851-2860
No TPTP formula. May not be expressible in strict first order. Merge.kif 575-579
No TPTP formula. May not be expressible in strict first order. Merge.kif 4671-4676
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-4693
No TPTP formula. May not be expressible in strict first order. Merge.kif 4744-4749
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-4766
No TPTP formula. May not be expressible in strict first order. Weather.kif 1294-1301
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 2834-2842
No TPTP formula. May not be expressible in strict first order. Merge.kif 559-563
No TPTP formula. May not be expressible in strict first order. Music.kif 53-58
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1983-2001

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