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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Damaging

Sigma KEE - KappaFn
KappaFn

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


s__documentation(s__KappaFn__m,s__ChineseLanguage,'这是一个组成类别的运算符,它拿两个参数:一个变数和一个 包含属于这个变数,起码一个不受限制例子的公式。应用 KappaFn 到一个变数和一个公式的结果是一个包含 满足这个公式东西的 SetOrClass。例如:我们用以下的方式表达小于100素数的 SetOrClass: (KappaFn ?NUMBER (and (instance ?NUMBER PrimeNumber) (lessThan ?NUMBER 100)))。注:请尽量避免 用这个函数,因为目前还没有编写公理来支持它。 ')

Merge.kif 5694-5700
s__documentation(s__KappaFn__m,s__EnglishLanguage,'A class-forming operator that takes two arguments: a variable and a formula containing at least one unbound occurrence of the variable. The result of applying KappaFn to a variable and a formula is the SetOrClass of things that satisfy the formula. For example, we can denote the SetOrClass of prime numbers that are less than 100 with the following expression: (KappaFn ?NUMBER (and (instance ?NUMBER PrimeNumber) (lessThan ?NUMBER 100))). Note that the use of this function is discouraged, since there is currently no axiomatic support for it.')

Merge.kif 5685-5693
s__domain(s__KappaFn__m,1,s__SymbolicString)

Merge.kif 5682-5682
s__domain(s__KappaFn__m,2,s__Formula)

Merge.kif 5683-5683
s__instance(s__KappaFn__m,s__BinaryFunction)

Merge.kif 5680-5680
s__instance(s__KappaFn__m,s__PartialValuedRelation)

Merge.kif 5681-5681
s__range(s__KappaFn__m,s__Class)

Merge.kif 5684-5684

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


s__format(s__ChineseLanguage,s__KappaFn__m,' %1 所描述的类别')

chinese_format.kif 508-508
s__format(s__EnglishLanguage,s__KappaFn__m,'the class described by %1')

english_format.kif 308-308
s__format(s__FrenchLanguage,s__KappaFn__m,'la classe d�crite par %1')

french_format.kif 297-297
s__format(s__ItalianLanguage,s__KappaFn__m,'la classe descritta da %1')

relations-it.txt 157-157
s__format(s__PortugueseLanguage,s__KappaFn__m,'a classe descrita por %1')

portuguese_format.kif 249-249
s__format(s__ar__m,s__KappaFn__m,'الصِنْف مَوْصُوف بـ %1')

arabic_format.kif 223-223
s__format(s__de__m,s__KappaFn__m,'die kategorie die %1 beschreibt')

relations-de.txt 662-662
s__format(s__hi__m,s__KappaFn__m,'%1 ke dvaaraa varNita varga')

relations-hindi.txt 196-196
s__format(s__tg__m,s__KappaFn__m,'ang klase ilarawan ng %1')

relations-tg.txt 315-315
s__termFormat(s__ChineseLanguage,s__KappaFn__m,'组成类别函数')

chinese_format.kif 509-509
s__termFormat(s__EnglishLanguage,s__KappaFn__m,'kappa')

domainEnglishFormat.kif 5772-5772
s__termFormat(s__ar__m,s__KappaFn__m,'«الصِنْف مَوْصُوف بـ»')

arabic_format.kif 673-673

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 952-956
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3444-3464
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3487-3507
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1706-1713

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


No TPTP formula. May not be expressible in strict first order. People.kif 104-117
No TPTP formula. May not be expressible in strict first order. People.kif 138-151
No TPTP formula. May not be expressible in strict first order. People.kif 253-277
No TPTP formula. May not be expressible in strict first order. People.kif 411-442
No TPTP formula. May not be expressible in strict first order. People.kif 323-353
No TPTP formula. May not be expressible in strict first order. People.kif 367-398
No TPTP formula. May not be expressible in strict first order. People.kif 221-238
No TPTP formula. May not be expressible in strict first order. People.kif 174-202
No TPTP formula. May not be expressible in strict first order. Transportation.kif 179-186
No TPTP formula. May not be expressible in strict first order. Transportation.kif 674-681
No TPTP formula. May not be expressible in strict first order. Transportation.kif 207-214
No TPTP formula. May not be expressible in strict first order. Transportation.kif 125-132
No TPTP formula. May not be expressible in strict first order. Transportation.kif 531-538
No TPTP formula. May not be expressible in strict first order. Transportation.kif 152-159
No TPTP formula. May not be expressible in strict first order. Transportation.kif 234-241
No TPTP formula. May not be expressible in strict first order. Transportation.kif 697-704
No TPTP formula. May not be expressible in strict first order. Transportation.kif 505-512
No TPTP formula. May not be expressible in strict first order. Transportation.kif 720-727
No TPTP formula. May not be expressible in strict first order. Transportation.kif 262-269
No TPTP formula. May not be expressible in strict first order. Transportation.kif 291-303
No TPTP formula. May not be expressible in strict first order. Transportation.kif 563-570
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1224-1234
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1168-1175
No TPTP formula. May not be expressible in strict first order. Transportation.kif 451-458
No TPTP formula. May not be expressible in strict first order. Transportation.kif 98-105

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Military.kif 867-876
No TPTP formula. May not be expressible in strict first order. People.kif 462-472
No TPTP formula. May not be expressible in strict first order. Military.kif 890-901
No TPTP formula. May not be expressible in strict first order. People.kif 49-54
No TPTP formula. May not be expressible in strict first order. Military.kif 928-941


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