Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ListLengthFn

 Sigma KEE - ListLengthFn
ListLengthFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1967-1969
No TPTP formula. May not be expressible in strict first order. Merge.kif 3017-3020
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 599-601
No TPTP formula. May not be expressible in strict first order. Merge.kif 3014-3014 Le nombre 1 argument de ListLengthFn est une instance de liste
No TPTP formula. May not be expressible in strict first order. Merge.kif 3013-3013 ListLengthFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order. Merge.kif 3012-3012 ListLengthFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 3015-3015 Le domaine de ListLengthFn est une instance de nombre entier non n�gatif

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 265-265
No TPTP formula. May not be expressible in strict first order. english_format.kif 270-270
No TPTP formula. May not be expressible in strict first order. french_format.kif 151-151
No TPTP formula. May not be expressible in strict first order. relations-it.txt 168-168
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1979-1979
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 103-103
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 160-160
No TPTP formula. May not be expressible in strict first order. relations-de.txt 341-341
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 57-57
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 170-170
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 157-157
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 335-335
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34691-34691
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 266-266
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34690-34690
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34689-34689
No TPTP formula. May not be expressible in strict first order. terms-de.txt 109-109
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 336-336

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3219-3223
No TPTP formula. May not be expressible in strict first order. Merge.kif 3277-3284
No TPTP formula. May not be expressible in strict first order. Merge.kif 3252-3256
No TPTP formula. May not be expressible in strict first order. Merge.kif 3258-3268
No TPTP formula. May not be expressible in strict first order. Merge.kif 3083-3102
No TPTP formula. May not be expressible in strict first order. Weather.kif 1482-1493
No TPTP formula. May not be expressible in strict first order. Weather.kif 1449-1461

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


No TPTP formula. May not be expressible in strict first order. People.kif 357-390 Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 310-342 Ann�e est une instance de l' ann�e nombre entier LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 272-293 average liste and nombre r�el liste nombre entier positif longueur de liste est longueur de liste 1th liste est liste nombre entier positif nombre entier positif est longueur de liste nombre r�el est nombre entier positifth liste + nombre entier positif
No TPTP formula. May not be expressible in strict first order. Merge.kif 3277-3284
No TPTP formula. May not be expressible in strict first order. Merge.kif 3258-3268
No TPTP formula. May not be expressible in strict first order. Merge.kif 3083-3102
No TPTP formula. May not be expressible in strict first order. Weather.kif 1471-1480
No TPTP formula. May not be expressible in strict first order. Weather.kif 1449-1461
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3721-3739
No TPTP formula. May not be expressible in strict first order. Merge.kif 3048-3055
No TPTP formula. May not be expressible in strict first order. Merge.kif 3212-3217
No TPTP formula. May not be expressible in strict first order. Weather.kif 2219-2236
No TPTP formula. May not be expressible in strict first order. Weather.kif 2324-2341
No TPTP formula. May not be expressible in strict first order. Weather.kif 2289-2306
No TPTP formula. May not be expressible in strict first order. Weather.kif 2254-2271
No TPTP formula. May not be expressible in strict first order. Weather.kif 1900-1917

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3037-3040 @ROW Entit� longueur de (@ROW + entit�) est longueur de (@ROW)+1)
No TPTP formula. May not be expressible in strict first order. Merge.kif 3042-3046 @ROW Entit� longueur de (@ROW + entit�)th entit�) est entit�


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