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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QuintaryPredicate
QuintaryPredicate(quintary predicate)

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


s__documentation(s__QuintaryPredicate,s__ChineseLanguage,'"这是一个需要五个参数的 Predicate Class。"')

chinese_format.kif 2017-2018
s__documentation(s__QuintaryPredicate,s__EnglishLanguage,'"The Class of Predicates that require five arguments."')

Merge.kif 3437-3438
s__subclass(s__QuintaryPredicate,s__InheritableRelation)

s__instance(s__InheritableRelation,s__SetOrClass)

s__instance(s__QuintaryPredicate,s__SetOrClass)

Merge.kif 3435-3435 Quintary predicate is a subclass of inheritable relation
s__instance(s__Predicate,s__SetOrClass)

s__subclass(s__QuintaryPredicate,s__Predicate)

s__instance(s__QuintaryPredicate,s__SetOrClass)

Merge.kif 3433-3433 Quintary predicate is a subclass of predicate
s__subclass(s__QuintaryPredicate,s__QuintaryRelation)

s__instance(s__QuintaryPredicate,s__SetOrClass)

s__instance(s__QuintaryRelation,s__SetOrClass)

Merge.kif 3434-3434 Quintary predicate is a subclass of quintary relation

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


s__format(s__ChineseLanguage,s__QuintaryPredicate,'"%1 %n 是 对于 %3 和 %4 跟 %5 的 quintary 谓语"')

domainEnglishFormat.kif 2091-2091
s__format(s__ChineseTraditionalLanguage,s__QuintaryPredicate,'"%1 %n 是 對於 %3 和 %4 跟 %5 的 quintary 謂語"')

domainEnglishFormat.kif 2090-2090
s__format(s__EnglishLanguage,s__QuintaryPredicate,'"%1 is %n quintary predicate %2 for %3 with %4 and %5"')

domainEnglishFormat.kif 2089-2089
s__instance(s__componentDataID__m,s__QuintaryPredicate)

s__instance(s__QuintaryPredicate,s__SetOrClass)

QoSontology.kif 894-894 component data ID is an instance of quintary predicate
s__instance(s__playsRoleInEventOfType__m,s__QuintaryPredicate)

s__instance(s__QuintaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 22359-22359 plays role in event of type is an instance of quintary predicate
s__termFormat(s__ChineseLanguage,s__QuintaryPredicate,'"五元谓语"')

chinese_format.kif 929-929
s__termFormat(s__EnglishLanguage,s__QuintaryPredicate,'"quintary predicate"')

english_format.kif 1070-1070

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


( ! [V__REL] :
   ((s__instance(V__REL,s__QuintaryPredicate) =>
       (s__valence(V__REL,n__5)))
   )
)

Merge.kif 3440-3442


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