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. Merge.kif 3290-3292
No TPTP formula. May not be expressible in strict first order. Merge.kif 3287-3289
No TPTP formula. May not be expressible in strict first order. Merge.kif 3285-3285 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 3286-3286 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 3283-3283 in list is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3281-3281 in list is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3282-3282 in list is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3284-3284 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 92-92
No TPTP formula. May not be expressible in strict first order. french_format.kif 87-87
No TPTP formula. May not be expressible in strict first order. relations-it.txt 147-147
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 39-39
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 37-37
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 103-103
No TPTP formula. May not be expressible in strict first order. relations-de.txt 157-157
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 186-186
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 298-298
No TPTP formula. May not be expressible in strict first order. Music.kif 351-351 album track is a subrelation of in list
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 132-132 "在列表内" is the printable form of in list in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5449-5449 "in list" is the printable form of in list in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 487-487 "«عُضْو في»" is the printable form of in list in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 299-299 "sa mula" is the printable form of in list in tg

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2699-2706
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2691-2697
No TPTP formula. May not be expressible in strict first order. Merge.kif 2836-2841
No TPTP formula. May not be expressible in strict first order. Merge.kif 17099-17107
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 692-700
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 962-972
No TPTP formula. May not be expressible in strict first order. Merge.kif 3294-3297

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 a number 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 a number 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 a number 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 290-297
No TPTP formula. May not be expressible in strict first order. Music.kif 952-962
No TPTP formula. May not be expressible in strict first order. Music.kif 307-314
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 5430-5435
No TPTP formula. May not be expressible in strict first order. Merge.kif 514-518
No TPTP formula. May not be expressible in strict first order. Merge.kif 3123-3128
No TPTP formula. May not be expressible in strict first order. Merge.kif 3130-3139
No TPTP formula. May not be expressible in strict first order. Merge.kif 614-618
No TPTP formula. May not be expressible in strict first order. Merge.kif 4983-4988
No TPTP formula. May not be expressible in strict first order. Merge.kif 4990-4995
No TPTP formula. May not be expressible in strict first order. Merge.kif 4997-5005
No TPTP formula. May not be expressible in strict first order. Merge.kif 5062-5067
No TPTP formula. May not be expressible in strict first order. Merge.kif 5069-5074
No TPTP formula. May not be expressible in strict first order. Merge.kif 5076-5084
No TPTP formula. May not be expressible in strict first order. Merge.kif 552-556
No TPTP formula. May not be expressible in strict first order. Merge.kif 558-566
No TPTP formula. May not be expressible in strict first order. Merge.kif 3113-3121
No TPTP formula. May not be expressible in strict first order. Merge.kif 597-601
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 1979-1997

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners