TernaryPredicate - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TernaryPredicate Predicate)	Merge.kif 3537-3537	Ternary predicate is a subclass of predicate
(subclass TernaryPredicate TernaryRelation)	Merge.kif 3538-3538	Ternary predicate is a subclass of ternary relation
(subclass TernaryPredicate InheritableRelation)	Merge.kif 3539-3539	Ternary predicate is a subclass of inheritable relation
(documentation TernaryPredicate EnglishLanguage "The Class of Predicates that require exactly three arguments.")	Merge.kif 3541-3542	Ternary predicate is a subclass of inheritable relation

appearance as argument number 2

(instance domain TernaryPredicate)	Merge.kif 201-201	domain is an instance of ternary predicate
(instance domainSubclass TernaryPredicate)	Merge.kif 223-223	domain subclass is an instance of ternary predicate
(instance documentation TernaryPredicate)	Merge.kif 360-360	documentation is an instance of ternary predicate
(instance format TernaryPredicate)	Merge.kif 371-371	format is an instance of ternary predicate
(instance termFormat TernaryPredicate)	Merge.kif 378-378	term format is an instance of ternary predicate
(instance relatedExternalConcept TernaryPredicate)	Merge.kif 617-617	related external concept is an instance of ternary predicate
(instance synonymousExternalConcept TernaryPredicate)	Merge.kif 632-632	synonymous external concept is an instance of ternary predicate
(instance subsumingExternalConcept TernaryPredicate)	Merge.kif 642-642	subsuming external concept is an instance of ternary predicate
(instance subsumedExternalConcept TernaryPredicate)	Merge.kif 654-654	subsumed external concept is an instance of ternary predicate
(instance greaterThanByQuality TernaryPredicate)	Merge.kif 735-735	greater than by quality is an instance of ternary predicate
(instance conditionalProbability TernaryPredicate)	Merge.kif 2626-2626	conditional probability is an instance of ternary predicate
(instance prefers TernaryPredicate)	Merge.kif 2728-2728	prefers is an instance of ternary predicate
(instance capability TernaryPredicate)	Merge.kif 3938-3938	capability is an instance of ternary predicate
(instance hasPurposeForAgent TernaryPredicate)	Merge.kif 3999-3999	has purpose for agent is an instance of ternary predicate
(instance confersNorm TernaryPredicate)	Merge.kif 4029-4029	confers norm is an instance of ternary predicate
(instance deprivesNorm TernaryPredicate)	Merge.kif 4050-4050	deprives norm is an instance of ternary predicate
(instance between TernaryPredicate)	Merge.kif 4196-4196	between is an instance of ternary predicate
(instance representsForAgent TernaryPredicate)	Merge.kif 4512-4512	represents for agent is an instance of ternary predicate
(instance representsInLanguage TernaryPredicate)	Merge.kif 4525-4525	represents in language is an instance of ternary predicate
(instance links TernaryPredicate)	Merge.kif 5916-5916	links is an instance of ternary predicate
(instance amount TernaryPredicate)	Merge.kif 7657-7657	amount is an instance of ternary predicate
(instance distance TernaryPredicate)	Merge.kif 7777-7777	distance is an instance of ternary predicate
(instance altitude TernaryPredicate)	Merge.kif 7799-7799	altitude is an instance of ternary predicate
(instance depth TernaryPredicate)	Merge.kif 7829-7829	depth is an instance of ternary predicate
(instance temporallyBetween TernaryPredicate)	Merge.kif 8282-8282	temporally between is an instance of ternary predicate

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=>
(instance ?REL TernaryPredicate)
(valence ?REL 3))

Merge.kif 3544-3546

If X is an instance of ternary predicate, then X has 3 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-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: