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


KB Term:  Term intersection
English Word: 

  TernaryPredicate

 Sigma KEE - TernaryPredicate
TernaryPredicate(ternary predicate)

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


(subclass TernaryPredicate Predicate) Merge.kif 3602-3602 Ternary predicate is a subclass of predicate
(subclass TernaryPredicate TernaryRelation) Merge.kif 3603-3603 Ternary predicate is a subclass of ternary relation
(subclass TernaryPredicate InheritableRelation) Merge.kif 3604-3604 Ternary predicate is a subclass of inheritable relation
(documentation TernaryPredicate EnglishLanguage "The Class of Predicates that require exactly three arguments.") Merge.kif 3606-3607 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 2691-2691 conditional probability is an instance of ternary predicate
(instance prefers TernaryPredicate) Merge.kif 2793-2793 prefers is an instance of ternary predicate
(instance capability TernaryPredicate) Merge.kif 4003-4003 capability is an instance of ternary predicate
(instance hasPurposeForAgent TernaryPredicate) Merge.kif 4064-4064 has purpose for agent is an instance of ternary predicate
(instance confersNorm TernaryPredicate) Merge.kif 4094-4094 confers norm is an instance of ternary predicate
(instance deprivesNorm TernaryPredicate) Merge.kif 4115-4115 deprives norm is an instance of ternary predicate
(instance between TernaryPredicate) Merge.kif 4261-4261 between is an instance of ternary predicate
(instance representsForAgent TernaryPredicate) Merge.kif 4577-4577 represents for agent is an instance of ternary predicate
(instance representsInLanguage TernaryPredicate) Merge.kif 4590-4590 represents in language is an instance of ternary predicate
(instance links TernaryPredicate) Merge.kif 5992-5992 links is an instance of ternary predicate
(instance amount TernaryPredicate) Merge.kif 7733-7733 amount is an instance of ternary predicate
(instance distance TernaryPredicate) Merge.kif 7855-7855 distance is an instance of ternary predicate
(instance altitude TernaryPredicate) Merge.kif 7877-7877 altitude is an instance of ternary predicate
(instance depth TernaryPredicate) Merge.kif 7907-7907 depth is an instance of ternary predicate
(instance temporallyBetween TernaryPredicate) Merge.kif 8360-8360 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 3609-3611 If X is an instance of ternary predicate, then X has 3 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