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

Formal Language: 



KB Term:  Term intersection
English Word: 

  QuintaryPredicate

Sigma KEE - QuintaryPredicate
QuintaryPredicate(quintary predicate)

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


(documentation QuintaryPredicate ChineseLanguage "这是一个需要五个参数的 Predicate Class。") chinese_format.kif 2017-2018
(documentation QuintaryPredicate EnglishLanguage "The Class of Predicates that require five arguments.") Merge.kif 3438-3439
(subclass QuintaryPredicate InheritableRelation) Merge.kif 3436-3436 Quintary predicate is a subclass of inheritable relation
(subclass QuintaryPredicate Predicate) Merge.kif 3434-3434 Quintary predicate is a subclass of predicate
(subclass QuintaryPredicate QuintaryRelation) Merge.kif 3435-3435 Quintary predicate is a subclass of quintary relation

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


(format ChineseLanguage QuintaryPredicate "%1 %n 是 对于 %3 和 %4 跟 %5 的 quintary 谓语") domainEnglishFormat.kif 2091-2091
(format ChineseTraditionalLanguage QuintaryPredicate "%1 %n 是 對於 %3 和 %4 跟 %5 的 quintary 謂語") domainEnglishFormat.kif 2090-2090
(format EnglishLanguage QuintaryPredicate "%1 is %n quintary predicate %2 for %3 with %4 and %5") domainEnglishFormat.kif 2089-2089
(instance componentDataID QuintaryPredicate) QoSontology.kif 894-894 component data ID is an instance of quintary predicate
(instance playsRoleInEventOfType QuintaryPredicate) Mid-level-ontology.kif 22546-22546 plays role in event of type is an instance of quintary predicate
(termFormat ChineseLanguage QuintaryPredicate "五元谓语") chinese_format.kif 929-929
(termFormat EnglishLanguage QuintaryPredicate "quintary predicate") english_format.kif 1065-1065

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


(=>
    (instance ?REL QuintaryPredicate)
    (valence ?REL 5))
Merge.kif 3441-3443


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