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 2997-2999
No TPTP formula. May not be expressible in strict first order. Merge.kif 2994-2994 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 2995-2995 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 2992-2992 in list is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2990-2990 in list is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2991-2991 in list is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2993-2993 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 30112-30112
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 30111-30111
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30110-30110

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


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 2696-2703
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2688-2694
No TPTP formula. May not be expressible in strict first order. Merge.kif 2578-2583
No TPTP formula. May not be expressible in strict first order. Merge.kif 15742-15750
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 957-967
No TPTP formula. May not be expressible in strict first order. Merge.kif 3001-3004

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. Weather.kif 1131-1145
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. Merge.kif 5085-5090
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 2839-2844
No TPTP formula. May not be expressible in strict first order. Merge.kif 2846-2855
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 4664-4669
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-4686
No TPTP formula. May not be expressible in strict first order. Merge.kif 4737-4742
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-4759
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 2829-2837
No TPTP formula. May not be expressible in strict first order. Merge.kif 558-562
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
No TPTP formula. May not be expressible in strict first order. Music.kif 1141-1146

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