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 3437-3437 Binary function is a subclass of function
(subclass BinaryFunction TernaryRelation) Merge.kif 3438-3438 Binary function is a subclass of ternary relation
(subclass BinaryFunction InheritableRelation) Merge.kif 3439-3439 Binary function is a subclass of inheritable relation
(documentation BinaryFunction EnglishLanguage "The Class of Functions that require two arguments.") Merge.kif 3441-3442 Binary function is a subclass of inheritable relation

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


(instance RotationFn BinaryFunction) Cars.kif 2083-2083 Rotation fn is an instance of binary function
(instance GrossNationalProductFn BinaryFunction) Economy.kif 1026-1026 GNP is an instance of binary function
(instance FiscalYearStartingFn BinaryFunction) Economy.kif 4053-4053 Fiscal year starting is an instance of binary function
(instance MarketOfItemInRegionFn BinaryFunction) Economy.kif 6734-6734 Market is an instance of binary function
(instance equilibriumPriceFn BinaryFunction) Economy.kif 6867-6867 market-clearing price is an instance of binary function
(instance MealAttributeFn BinaryFunction) Food.kif 1897-1897 Meal attribute function is an instance of binary function
(instance DirectionalSubregionFn BinaryFunction) Geography.kif 1956-1956 Directional subregion is an instance of binary function
(instance BorderFn BinaryFunction) Geography.kif 2161-2161 Border is an instance of binary function
(instance MagneticDeclinationFn BinaryFunction) Geography.kif 5224-5224 Magnetic declination is an instance of binary function
(instance SeacoastFn BinaryFunction) Geography.kif 7731-7731 Seacoast is an instance of binary function
(instance ShorelineFn BinaryFunction) Geography.kif 7788-7788 Shoreline is an instance of binary function
(instance GeographicPartTypeFn BinaryFunction) Geography.kif 8567-8567 Geographic part type fn is an instance of binary function
(instance MemberRoleFn BinaryFunction) Government.kif 1743-1743 Member role is an instance of binary function
(instance AttrFn BinaryFunction) Merge.kif 1808-1808 Attr is an instance of binary function
(instance ListOrderFn BinaryFunction) Merge.kif 3012-3012 List order is an instance of binary function
(instance ListConcatenateFn BinaryFunction) Merge.kif 3107-3107 List concatenate is an instance of binary function
(subclass AssociativeFunction BinaryFunction) Merge.kif 3448-3448 Associative function is a subclass of binary function
(subclass CommutativeFunction BinaryFunction) Merge.kif 3469-3469 Commutative function is a subclass of binary function
(instance WhereFn BinaryFunction) Merge.kif 4271-4271 Where is an instance of binary function
(instance MultiplicationFn BinaryFunction) Merge.kif 4746-4746 Multiplication is an instance of binary function
(instance AdditionFn BinaryFunction) Merge.kif 4759-4759 Addition is an instance of binary function
(instance SubtractionFn BinaryFunction) Merge.kif 4775-4775 Subtraction is an instance of binary function
(instance DivisionFn BinaryFunction) Merge.kif 4791-4791 Division is an instance of binary function
(instance ExponentiationFn BinaryFunction) Merge.kif 4868-4868 Exponentiation is an instance of binary function
(instance LogFn BinaryFunction) Merge.kif 5026-5026 Log 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 5330-5330 The number 1 argument of identity element is an instance of binary function

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


(=>
    (instance ?FUNCTION BinaryFunction)
    (valence ?FUNCTION 2))		 Merge.kif 3444-3446 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 is open source software produced by Articulate Software and its partners