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
-------------------------


(documentation QuintaryPredicate ChineseLanguage "这是一个需要五个参数的 Predicate Class。") chinese_format.kif 2017-2018
(documentation QuintaryPredicate EnglishLanguage "The Class of Predicates that require five arguments.") Merge.kif 3510-3511
(documentation QuintaryPredicate JapaneseLanguage "Predicates の Class は、正確に5つの 引数を必要とする。") japanese_format.kif 657-658
(subclass QuintaryPredicate InheritableRelation) Merge.kif 3508-3508 Quintary predicate is a subclass of inheritable relation
(subclass QuintaryPredicate Predicate) Merge.kif 3506-3506 Quintary predicate is a subclass of predicate
(subclass QuintaryPredicate QuintaryRelation) Merge.kif 3507-3507 Quintary predicate is a subclass of quintary relation

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


(format ChineseLanguage QuintaryPredicate "%1 %n 是 对于 %3 和 %4 跟 %5 的 quintary 谓语") domainEnglishFormat.kif 2095-2095
(format ChineseTraditionalLanguage QuintaryPredicate "%1 %n 是 對於 %3 和 %4 跟 %5 的 quintary 謂語") domainEnglishFormat.kif 2094-2094
(format EnglishLanguage QuintaryPredicate "%1 is %n quintary predicate %2 for %3 with %4 and %5") domainEnglishFormat.kif 2093-2093
(instance componentDataID QuintaryPredicate) QoSontology.kif 1002-1002 component data ID is an instance of quintary predicate
(instance playsRoleInEventOfType QuintaryPredicate) Mid-level-ontology.kif 24383-24383 plays role in event of type is an instance of quintary predicate
(instance shortage QuintaryPredicate) Mid-level-ontology.kif 31996-31996 shortage is an instance of quintary predicate
(termFormat ChineseLanguage QuintaryPredicate "五元谓语") chinese_format.kif 929-929 shortage is an instance of quintary predicate
(termFormat EnglishLanguage QuintaryPredicate "quintary predicate") english_format.kif 1065-1065 shortage is an instance of quintary predicate
(termFormat FrenchLanguage QuintaryPredicate "predicate quinternaire") french_format.kif 605-605 shortage is an instance of quintary predicate
(termFormat Hindi QuintaryPredicate "pancha lakshana") terms-hindi.txt 136-136 shortage is an instance of quintary predicate
(termFormat ItalianLanguage QuintaryPredicate "PredicatoQuinquenario") terms-it.txt 139-139 shortage is an instance of quintary predicate
(termFormat JapaneseLanguage QuintaryPredicate "5進述語") japanese_format.kif 2290-2290 shortage is an instance of quintary predicate
(termFormat PortugueseLanguage QuintaryPredicate "Predicado Quinquenario") portuguese_format.kif 557-557 shortage is an instance of quintary predicate
(termFormat cz QuintaryPredicate "quintary predicate") terms-cz.txt 173-173 shortage is an instance of quintary predicate
(termFormat de QuintaryPredicate "fuenfstellige Praedikat") terms-de.txt 432-432 shortage is an instance of quintary predicate
(termFormat ro QuintaryPredicate "predicat cvintar") relations-ro.kif 626-626 shortage is an instance of quintary predicate
(termFormat tg QuintaryPredicate "limang panaguri") terms-tg.txt 140-140 shortage is an instance of quintary predicate

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


(=>
    (instance ?REL QuintaryPredicate)
    (valence ?REL 5))
Merge.kif 3513-3515


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