Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 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 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners