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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QuintaryPredicate
QuintaryPredicate(quintary predicate)5進述語, quintary_predicate, 五元谓语

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


(documentation QuintaryPredicate ChineseLanguage "这是一个需要五个参数的 Predicate Class。") Merge.kif 5317-5318
(documentation QuintaryPredicate EnglishLanguage "The Class of Predicates that require five arguments.") Merge.kif 5314-5315
(documentation QuintaryPredicate JapaneseLanguage "Predicates の Class は、正確に5つの 引数を必要とする。") Merge.kif 5320-5321
(subclass QuintaryPredicate InheritableRelation) Merge.kif 5312-5312 Quintary predicate is a subclass of inheritable relation
(subclass QuintaryPredicate Predicate) Merge.kif 5310-5310 Quintary predicate is a subclass of predicate
(subclass QuintaryPredicate QuintaryRelation) Merge.kif 5311-5311 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 884-884 component data ID is an instance of quintary predicate
(instance playsRoleInEventOfType QuintaryPredicate) Mid-level-ontology.kif 21174-21174 plays role in event of type is an instance of quintary predicate
(termFormat ChineseLanguage QuintaryPredicate "五元谓语") chinese_format.kif 929-929 "五元谓语" is the printable form of quintary predicate in ChineseLanguage
(termFormat EnglishLanguage QuintaryPredicate "quintary predicate") english_format.kif 1485-1485 "quintary predicate" is the printable form of quintary predicate in english language
(termFormat JapaneseLanguage QuintaryPredicate "5進述語") english_format.kif 1486-1486 "5進述語" is the printable form of quintary predicate in japanese language

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


(=>
    (instance ?REL QuintaryPredicate)
    (valence ?REL 5))
Merge.kif 5324-5326


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