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 3018-3021
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 3015-3015 列表長度, 1 and List
No TPTP formula. May not be expressible in strict first order. Merge.kif 3014-3014 列表長度 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3013-3013 列表長度 and UnaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 3016-3016 範圍 列表長度 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 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 3220-3224
No TPTP formula. May not be expressible in strict first order. Merge.kif 3278-3285
No TPTP formula. May not be expressible in strict first order. Merge.kif 3253-3257
No TPTP formula. May not be expressible in strict first order. Merge.kif 3259-3269
No TPTP formula. May not be expressible in strict first order. Merge.kif 3084-3103
No TPTP formula. May not be expressible in strict first order. Weather.kif 1470-1481
No TPTP formula. May not be expressible in strict first order. Weather.kif 1437-1449

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


No TPTP formula. May not be expressible in strict first order. People.kif 357-390 and EAR 等於 GeopoliticalAreamale 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 and Integer 等於 GeopoliticalAreafemale 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
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 Listaverage
No TPTP formula. May not be expressible in strict first order. People.kif 272-293 RealNumber Listaverage 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 3278-3285
No TPTP formula. May not be expressible in strict first order. Merge.kif 3259-3269
No TPTP formula. May not be expressible in strict first order. Merge.kif 3084-3103
No TPTP formula. May not be expressible in strict first order. Weather.kif 1459-1468
No TPTP formula. May not be expressible in strict first order. Weather.kif 1437-1449
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 3049-3056
No TPTP formula. May not be expressible in strict first order. Merge.kif 3213-3218
No TPTP formula. May not be expressible in strict first order. Weather.kif 2206-2223
No TPTP formula. May not be expressible in strict first order. Weather.kif 2311-2328
No TPTP formula. May not be expressible in strict first order. Weather.kif 2276-2293
No TPTP formula. May not be expressible in strict first order. Weather.kif 2241-2258
No TPTP formula. May not be expressible in strict first order. Weather.kif 1887-1904

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3038-3041 @ROW Entity 等於 列表長度 名單 @ROW and entity and 接班人 列表長度 名單 @ROW
No TPTP formula. May not be expressible in strict first order. Merge.kif 3043-3047 @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