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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QuintaryPredicate
QuintaryPredicate(五元谓语)

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 3492-3493
(subclass QuintaryPredicate InheritableRelation) Merge.kif 3490-3490 五元谓语可继承的关系subclass
(subclass QuintaryPredicate Predicate) Merge.kif 3488-3488 五元谓语谓语subclass
(subclass QuintaryPredicate QuintaryRelation) Merge.kif 3489-3489 五元谓语五元关系subclass

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 896-896 组件数据ID五元谓语instance
(instance playsRoleInEventOfType QuintaryPredicate) Mid-level-ontology.kif 23219-23219 在类型的事件中发挥作用五元谓语instance
(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 3495-3497


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