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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3012-3015
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 3009-3009 域 列表長度, 1 and List
No TPTP formula. May not be expressible in strict first order. Merge.kif 3008-3008 例 列表長度 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3007-3007 例 列表長度 and UnaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 3010-3010 範圍 列表長度 and NonnegativeInteger

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 34719-34719
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 34718-34718
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34717-34717
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 3214-3218
No TPTP formula. May not be expressible in strict first order. Merge.kif 3272-3279
No TPTP formula. May not be expressible in strict first order. Merge.kif 3247-3251
No TPTP formula. May not be expressible in strict first order. Merge.kif 3253-3263
No TPTP formula. May not be expressible in strict first order. Merge.kif 3078-3097
No TPTP formula. May not be expressible in strict first order. Weather.kif 1469-1480
No TPTP formula. May not be expressible in strict first order. Weather.kif 1436-1448

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


No TPTP formula. May not be expressible in strict first order. People.kif 357-390 例 年 and 年 年EAR 等於 GeopoliticalArea 和 年 的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例 列表長度 List and Integer ListITEM RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例 列表長度 List and Integer ListITEM RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order. People.kif 310-342 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例 列表長度 List and Integer ListITEM RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order. People.kif 272-293 RealNumber 是 List 的 average List PositiveInteger 等於 列表長度 List and 列表長度 List 等於 清單順序 List and 1 and 清單順序 List and 1 PositiveInteger 等於 PositiveInteger and 列表長度 List 等於 RealNumber and 部 清單順序 List and PositiveInteger and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Merge.kif 3272-3279
No TPTP formula. May not be expressible in strict first order. Merge.kif 3253-3263
No TPTP formula. May not be expressible in strict first order. Merge.kif 3078-3097
No TPTP formula. May not be expressible in strict first order. Weather.kif 1458-1467
No TPTP formula. May not be expressible in strict first order. Weather.kif 1436-1448
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 3043-3050
No TPTP formula. May not be expressible in strict first order. Merge.kif 3207-3212
No TPTP formula. May not be expressible in strict first order. Weather.kif 2205-2222
No TPTP formula. May not be expressible in strict first order. Weather.kif 2310-2327
No TPTP formula. May not be expressible in strict first order. Weather.kif 2275-2292
No TPTP formula. May not be expressible in strict first order. Weather.kif 2240-2257
No TPTP formula. May not be expressible in strict first order. Weather.kif 1886-1903

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3032-3035 @ROW Entity 等於 列表長度 名單 @ROW and entity and 接班人 列表長度 名單 @ROW
No TPTP formula. May not be expressible in strict first order. Merge.kif 3037-3041 @ROW Entity 等於 清單順序 名單 @ROW and Entity and 列表長度 名單 @ROW and Entity and Entity


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