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


KB Term:  Term intersection
English Word: 

  QuintaryPredicate

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