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


KB Term:  Term intersection
English Word: 

Sigma KEE - TernaryPredicate
TernaryPredicate(ternary predicate)

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


(subclass TernaryPredicate Predicate) Merge.kif 3528-3528 Ternary predicate is a subclass of predicate
(subclass TernaryPredicate TernaryRelation) Merge.kif 3529-3529 Ternary predicate is a subclass of ternary relation
(subclass TernaryPredicate InheritableRelation) Merge.kif 3530-3530 Ternary predicate is a subclass of inheritable relation
(documentation TernaryPredicate EnglishLanguage "The Class of Predicates that require exactly three arguments.") Merge.kif 3532-3533 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 361-361 documentation is an instance of ternary predicate
(instance format TernaryPredicate) Merge.kif 372-372 format is an instance of ternary predicate
(instance termFormat TernaryPredicate) Merge.kif 379-379 term format is an instance of ternary predicate
(instance relatedExternalConcept TernaryPredicate) Merge.kif 618-618 related external concept is an instance of ternary predicate
(instance synonymousExternalConcept TernaryPredicate) Merge.kif 633-633 synonymous external concept is an instance of ternary predicate
(instance subsumingExternalConcept TernaryPredicate) Merge.kif 643-643 subsuming external concept is an instance of ternary predicate
(instance subsumedExternalConcept TernaryPredicate) Merge.kif 655-655 subsumed external concept is an instance of ternary predicate
(instance greaterThanByQuality TernaryPredicate) Merge.kif 736-736 greater than by quality is an instance of ternary predicate
(instance conditionalProbability TernaryPredicate) Merge.kif 2617-2617 conditional probability is an instance of ternary predicate
(instance prefers TernaryPredicate) Merge.kif 2719-2719 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 4001-4001 has purpose for agent is an instance of ternary predicate
(instance confersNorm TernaryPredicate) Merge.kif 4031-4031 confers norm is an instance of ternary predicate
(instance deprivesNorm TernaryPredicate) Merge.kif 4052-4052 deprives norm is an instance of ternary predicate
(instance between TernaryPredicate) Merge.kif 4198-4198 between is an instance of ternary predicate
(instance representsForAgent TernaryPredicate) Merge.kif 4515-4515 represents for agent is an instance of ternary predicate
(instance representsInLanguage TernaryPredicate) Merge.kif 4528-4528 represents in language is an instance of ternary predicate
(instance links TernaryPredicate) Merge.kif 5921-5921 links is an instance of ternary predicate
(instance amount TernaryPredicate) Merge.kif 7664-7664 amount is an instance of ternary predicate
(instance distance TernaryPredicate) Merge.kif 7784-7784 distance is an instance of ternary predicate
(instance altitude TernaryPredicate) Merge.kif 7806-7806 altitude is an instance of ternary predicate
(instance depth TernaryPredicate) Merge.kif 7836-7836 depth is an instance of ternary predicate
(instance temporallyBetween TernaryPredicate) Merge.kif 8291-8291 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 3535-3537 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 is open source software produced by Articulate Software and its partners