Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - QuintaryPredicate
QuintaryPredicate(quintary predicate)

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


(subclass QuintaryPredicate Predicate) Merge.kif 3624-3624 Quintary predicate is a subclass of predicate
(subclass QuintaryPredicate QuintaryRelation) Merge.kif 3625-3625 Quintary predicate is a subclass of quintary relation
(subclass QuintaryPredicate InheritableRelation) Merge.kif 3626-3626 Quintary predicate is a subclass of inheritable relation
(documentation QuintaryPredicate EnglishLanguage "The Class of Predicates that require five arguments.") Merge.kif 3628-3629 Quintary predicate is a subclass of inheritable relation

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


(instance playsRoleInEventOfType QuintaryPredicate) Mid-level-ontology.kif 25587-25587 plays role in event of type is an instance of quintary predicate
(instance shortage QuintaryPredicate) Mid-level-ontology.kif 33490-33490 shortage is an instance of quintary predicate
(instance componentDataID QuintaryPredicate) QoSontology.kif 992-992 component data ID is an instance of quintary predicate
(format EnglishLanguage QuintaryPredicate "%1 is %n quintary predicate %2 for %3 with %4 and %5") domainEnglishFormat.kif 2093-2093 component data ID is an instance of quintary predicate
(format ChineseTraditionalLanguage QuintaryPredicate "%1 %n 是 對於 %3 和 %4 跟 %5 的 quintary 謂語") domainEnglishFormat.kif 2094-2094 component data ID is an instance of quintary predicate
(format ChineseLanguage QuintaryPredicate "%1 %n 是 对于 %3 和 %4 跟 %5 的 quintary 谓语") domainEnglishFormat.kif 2095-2095 component data ID is an instance of quintary predicate
(termFormat EnglishLanguage QuintaryPredicate "quintary predicate") english_format.kif 1069-1069 component data ID is an instance of quintary predicate

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


(=>
    (instance ?REL QuintaryPredicate)
    (valence ?REL 5))		 Merge.kif 3631-3633 If X is an instance of quintary predicate, then X has 5 argument(s)


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners