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 3107-3109
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 605-607
No TPTP formula. May not be expressible in strict first order. Merge.kif 3104-3104 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 3105-3105 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 3102-3102 in list is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3103-3103 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. 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. japanese_format.kif 1914-1914
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. 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-ro.kif 106-106
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 86-86
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 332-332 album track is a subrelation of in list
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30204-30204 album track is a subrelation of in list
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 132-132 album track is a subrelation of in list
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30203-30203 album track is a subrelation of in list
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30202-30202 album track is a subrelation of in list
No TPTP formula. May not be expressible in strict first order. terms-de.txt 47-47 album track is a subrelation of in list
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 299-299 album track is a subrelation of in list

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3284-3288
No TPTP formula. May not be expressible in strict first order. Weather.kif 2521-2533
No TPTP formula. May not be expressible in strict first order. Weather.kif 2514-2519
No TPTP formula. May not be expressible in strict first order. Merge.kif 496-500
No TPTP formula. May not be expressible in strict first order. Merge.kif 490-494
No TPTP formula. May not be expressible in strict first order. Weather.kif 2491-2496
No TPTP formula. May not be expressible in strict first order. Weather.kif 2482-2489
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2491-2498
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2483-2489
No TPTP formula. May not be expressible in strict first order. Weather.kif 2445-2449
No TPTP formula. May not be expressible in strict first order. Weather.kif 2232-2236
No TPTP formula. May not be expressible in strict first order. Weather.kif 2300-2304
No TPTP formula. May not be expressible in strict first order. Weather.kif 2266-2270
No TPTP formula. May not be expressible in strict first order. Weather.kif 2335-2339
No TPTP formula. May not be expressible in strict first order. Merge.kif 2673-2678
No TPTP formula. May not be expressible in strict first order. Weather.kif 2285-2291
No TPTP formula. May not be expressible in strict first order. Weather.kif 2376-2380
No TPTP formula. May not be expressible in strict first order. Merge.kif 17081-17089
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 803-819
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 771-781
No TPTP formula. May not be expressible in strict first order. Merge.kif 3111-3114

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


No TPTP formula. May not be expressible in strict first order. People.kif 357-390 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 exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other 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 403-436 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 exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other 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 310-342 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 exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other 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 272-293 A real number is an average of a list if and only if there exist another list and a positive integer 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 another positive integer and the positive integer is equal to length of the other list and the real number is equal to the positive integerth element of the other list and the positive integer
No TPTP formula. May not be expressible in strict first order. Music.kif 280-287
No TPTP formula. May not be expressible in strict first order. Merge.kif 7632-7647
No TPTP formula. May not be expressible in strict first order. Merge.kif 4874-4885
No TPTP formula. May not be expressible in strict first order. Merge.kif 4887-4901
No TPTP formula. May not be expressible in strict first order. Merge.kif 4959-4969
No TPTP formula. May not be expressible in strict first order. Merge.kif 4971-4985
No TPTP formula. May not be expressible in strict first order. Music.kif 938-948
No TPTP formula. May not be expressible in strict first order. Weather.kif 2521-2533
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2738-2748
No TPTP formula. May not be expressible in strict first order. Cars.kif 2970-2996
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 2048-2063
No TPTP formula. May not be expressible in strict first order. Economy.kif 2101-2109
No TPTP formula. May not be expressible in strict first order. Merge.kif 5382-5387
No TPTP formula. May not be expressible in strict first order. Merge.kif 457-461
No TPTP formula. May not be expressible in strict first order. Merge.kif 2948-2953
No TPTP formula. May not be expressible in strict first order. Merge.kif 2955-2964
No TPTP formula. May not be expressible in strict first order. Merge.kif 567-571
No TPTP formula. May not be expressible in strict first order. Merge.kif 4867-4872
No TPTP formula. May not be expressible in strict first order. Merge.kif 4952-4957
No TPTP formula. May not be expressible in strict first order. Weather.kif 2201-2208

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