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


KB Term:  Term intersection
English Word: 

Sigma KEE - BinaryFunction
BinaryFunction(binary function)

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


(subclass BinaryFunction Function) Merge.kif 3444-3444 Binary function is a subclass of function
(subclass BinaryFunction TernaryRelation) Merge.kif 3445-3445 Binary function is a subclass of ternary relation
(subclass BinaryFunction InheritableRelation) Merge.kif 3446-3446 Binary function is a subclass of inheritable relation
(documentation BinaryFunction EnglishLanguage "The Class of Functions that require two arguments.") Merge.kif 3448-3449 Binary function is a subclass of inheritable relation

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


(instance AttrFn BinaryFunction) Merge.kif 1800-1800 Attr is an instance of binary function
(instance ListOrderFn BinaryFunction) Merge.kif 3019-3019 List order is an instance of binary function
(instance ListConcatenateFn BinaryFunction) Merge.kif 3114-3114 List concatenate is an instance of binary function
(subclass AssociativeFunction BinaryFunction) Merge.kif 3455-3455 Associative function is a subclass of binary function
(subclass CommutativeFunction BinaryFunction) Merge.kif 3476-3476 Commutative function is a subclass of binary function
(instance WhereFn BinaryFunction) Merge.kif 4267-4267 Where is an instance of binary function
(instance MultiplicationFn BinaryFunction) Merge.kif 4739-4739 Multiplication is an instance of binary function
(instance AdditionFn BinaryFunction) Merge.kif 4752-4752 Addition is an instance of binary function
(instance SubtractionFn BinaryFunction) Merge.kif 4768-4768 Subtraction is an instance of binary function
(instance DivisionFn BinaryFunction) Merge.kif 4784-4784 Division is an instance of binary function
(instance ExponentiationFn BinaryFunction) Merge.kif 4861-4861 Exponentiation is an instance of binary function
(instance LogFn BinaryFunction) Merge.kif 5019-5019 Log is an instance of binary function
(instance MaxFn BinaryFunction) Merge.kif 5027-5027 Max is an instance of binary function
(instance MinFn BinaryFunction) Merge.kif 5053-5053 Min is an instance of binary function
(instance RemainderFn BinaryFunction) Merge.kif 5138-5138 Remainder is an instance of binary function
(instance UnionFn BinaryFunction) Merge.kif 5469-5469 Union is an instance of binary function
(instance IntersectionFn BinaryFunction) Merge.kif 5495-5495 Intersection is an instance of binary function
(instance RelativeComplementFn BinaryFunction) Merge.kif 5506-5506 Relative complement is an instance of binary function
(instance KappaFn BinaryFunction) Merge.kif 5622-5622 Kappa is an instance of binary function
(instance MinimalWeightedPathFn BinaryFunction) Merge.kif 6049-6049 Minimal weighted path is an instance of binary function
(instance MaximalWeightedPathFn BinaryFunction) Merge.kif 6071-6071 Maximal weighted path is an instance of binary function
(instance GraphPathFn BinaryFunction) Merge.kif 6093-6093 Graph path is an instance of binary function
(instance MeasureFn BinaryFunction) Merge.kif 6387-6387 Measure is an instance of binary function
(instance IntervalFn BinaryFunction) Merge.kif 6622-6622 Interval is an instance of binary function
(instance PerFn BinaryFunction) Merge.kif 6669-6669 Per is an instance of binary function

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain distributes 1 BinaryFunction) Merge.kif 3760-3760 The number 1 argument of distributes is an instance of binary function
(domain distributes 2 BinaryFunction) Merge.kif 3761-3761 The number 2 argument of distributes is an instance of binary function
(domain identityElement 1 BinaryFunction) Merge.kif 5323-5323 The number 1 argument of identity element is an instance of binary function

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


(=>
    (instance ?FUNCTION BinaryFunction)
    (valence ?FUNCTION 2))		 Merge.kif 3451-3453 If X is an instance of binary function, then X has 2 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