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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - QuintaryPredicate
QuintaryPredicate(predicate quinternaire)

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 3515-3516
(documentation QuintaryPredicate JapaneseLanguage "Predicates の Class は、正確に5つの 引数を必要とする。") japanese_format.kif 657-658
(subclass QuintaryPredicate InheritableRelation) Merge.kif 3513-3513 Predicate quinternaire est une sous-classe de InheritableRelation
(subclass QuintaryPredicate Predicate) Merge.kif 3511-3511 Predicate quinternaire est une sous-classe de predicat
(subclass QuintaryPredicate QuintaryRelation) Merge.kif 3512-3512 Predicate quinternaire est une sous-classe de relation quinternaire

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 componentDataID est une instance de predicate quinternaire
(instance playsRoleInEventOfType QuintaryPredicate) Mid-level-ontology.kif 23218-23218 playsRoleInEventOfType est une instance de predicate quinternaire
(instance shortage QuintaryPredicate) Mid-level-ontology.kif 30799-30799 shortage est une instance de predicate quinternaire
(termFormat ChineseLanguage QuintaryPredicate "五元谓语") chinese_format.kif 929-929
(termFormat EnglishLanguage QuintaryPredicate "quintary predicate") english_format.kif 1065-1065
(termFormat FrenchLanguage QuintaryPredicate "predicate quinternaire") french_format.kif 605-605
(termFormat Hindi QuintaryPredicate "pancha lakshana") terms-hindi.txt 136-136
(termFormat ItalianLanguage QuintaryPredicate "PredicatoQuinquenario") terms-it.txt 139-139
(termFormat JapaneseLanguage QuintaryPredicate "5進述語") japanese_format.kif 2290-2290
(termFormat PortugueseLanguage QuintaryPredicate "Predicado Quinquenario") portuguese_format.kif 557-557
(termFormat cz QuintaryPredicate "quintary predicate") terms-cz.txt 173-173
(termFormat ro QuintaryPredicate "predicat cvintar") relations-ro.kif 626-626
(termFormat tg QuintaryPredicate "limang panaguri") terms-tg.txt 140-140


    (instance ?REL QuintaryPredicate)
    (valence ?REL 5))
Merge.kif 3518-3520

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