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


KB Term:  Term intersection
English Word: 

  BinaryFunction

 Sigma KEE - BinaryFunction
BinaryFunction(binary function)

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


(subclass BinaryFunction Function) Merge.kif 3511-3511 Binary function is a subclass of function
(subclass BinaryFunction TernaryRelation) Merge.kif 3512-3512 Binary function is a subclass of ternary relation
(subclass BinaryFunction InheritableRelation) Merge.kif 3513-3513 Binary function is a subclass of inheritable relation
(documentation BinaryFunction EnglishLanguage "The Class of Functions that require two arguments.") Merge.kif 3515-3516 Binary function is a subclass of inheritable relation

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


(instance AttrFn BinaryFunction) Merge.kif 1865-1865 Attr is an instance of binary function
(instance ListOrderFn BinaryFunction) Merge.kif 3086-3086 List order is an instance of binary function
(instance ListConcatenateFn BinaryFunction) Merge.kif 3181-3181 List concatenate is an instance of binary function
(subclass AssociativeFunction BinaryFunction) Merge.kif 3522-3522 Associative function is a subclass of binary function
(subclass CommutativeFunction BinaryFunction) Merge.kif 3543-3543 Commutative function is a subclass of binary function
(instance WhereFn BinaryFunction) Merge.kif 4334-4334 Where is an instance of binary function
(instance MultiplicationFn BinaryFunction) Merge.kif 4806-4806 Multiplication is an instance of binary function
(instance AdditionFn BinaryFunction) Merge.kif 4819-4819 Addition is an instance of binary function
(instance SubtractionFn BinaryFunction) Merge.kif 4835-4835 Subtraction is an instance of binary function
(instance DivisionFn BinaryFunction) Merge.kif 4851-4851 Division is an instance of binary function
(instance ExponentiationFn BinaryFunction) Merge.kif 4928-4928 Exponentiation is an instance of binary function
(instance LogFn BinaryFunction) Merge.kif 5086-5086 Log is an instance of binary function
(instance MaxFn BinaryFunction) Merge.kif 5094-5094 Max is an instance of binary function
(instance MinFn BinaryFunction) Merge.kif 5120-5120 Min is an instance of binary function
(instance RemainderFn BinaryFunction) Merge.kif 5205-5205 Remainder is an instance of binary function
(instance UnionFn BinaryFunction) Merge.kif 5547-5547 Union is an instance of binary function
(instance IntersectionFn BinaryFunction) Merge.kif 5573-5573 Intersection is an instance of binary function
(instance RelativeComplementFn BinaryFunction) Merge.kif 5584-5584 Relative complement is an instance of binary function
(instance KappaFn BinaryFunction) Merge.kif 5700-5700 Kappa is an instance of binary function
(instance MinimalWeightedPathFn BinaryFunction) Merge.kif 6127-6127 Minimal weighted path is an instance of binary function
(instance MaximalWeightedPathFn BinaryFunction) Merge.kif 6149-6149 Maximal weighted path is an instance of binary function
(instance GraphPathFn BinaryFunction) Merge.kif 6171-6171 Graph path is an instance of binary function
(instance MeasureFn BinaryFunction) Merge.kif 6465-6465 Measure is an instance of binary function
(instance IntervalFn BinaryFunction) Merge.kif 6700-6700 Interval is an instance of binary function
(instance PerFn BinaryFunction) Merge.kif 6747-6747 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 3827-3827 The number 1 argument of distributes is an instance of binary function
(domain distributes 2 BinaryFunction) Merge.kif 3828-3828 The number 2 argument of distributes is an instance of binary function
(domain identityElement 1 BinaryFunction) Merge.kif 5401-5401 The number 1 argument of identity element is an instance of binary function

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


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