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


KB Term:  Term intersection
English Word: 

Sigma KEE - UnaryFunction
UnaryFunction(unary function)

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


(subclass UnaryFunction Function) Merge.kif 3406-3406 Unary function is a subclass of function
(subclass UnaryFunction BinaryRelation) Merge.kif 3407-3407 Unary function is a subclass of binary relation
(subclass UnaryFunction InheritableRelation) Merge.kif 3408-3408 Unary function is a subclass of inheritable relation
(documentation UnaryFunction EnglishLanguage "The Class of Functions that require a single argument.") Merge.kif 3410-3411 Unary function is a subclass of inheritable relation

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


(instance PowerSetFn UnaryFunction) Merge.kif 787-787 Power set is an instance of unary function
(instance FrontFn UnaryFunction) Merge.kif 869-869 Front is an instance of unary function
(instance BackFn UnaryFunction) Merge.kif 889-889 Back is an instance of unary function
(instance ExtensionFn UnaryFunction) Merge.kif 1785-1785 Extension is an instance of unary function
(instance ProbabilityFn UnaryFunction) Merge.kif 2616-2616 Probability is an instance of unary function
(instance ListLengthFn UnaryFunction) Merge.kif 3058-3058 List length is an instance of unary function
(instance LastFn UnaryFunction) Merge.kif 3251-3251 Last is an instance of unary function
(instance FirstFn UnaryFunction) Merge.kif 3271-3271 First is an instance of unary function
(instance ListSumFn UnaryFunction) Merge.kif 3285-3285 Sum of elements is an instance of unary function
(instance AverageFn UnaryFunction) Merge.kif 3316-3316 Average function is an instance of unary function
(subclass OneToOneFunction UnaryFunction) Merge.kif 3417-3417 One to one function is a subclass of unary function
(instance PropertyFn UnaryFunction) Merge.kif 4321-4321 Property is an instance of unary function
(instance AbsoluteValueFn UnaryFunction) Merge.kif 4807-4807 Absolute value is an instance of unary function
(instance CeilingFn UnaryFunction) Merge.kif 4828-4828 Ceiling is an instance of unary function
(instance CosineFn UnaryFunction) Merge.kif 4846-4846 Cosine is an instance of unary function
(instance DenominatorFn UnaryFunction) Merge.kif 4855-4855 Denominator is an instance of unary function
(instance FloorFn UnaryFunction) Merge.kif 4873-4873 Floor is an instance of unary function
(instance ImaginaryPartFn UnaryFunction) Merge.kif 4953-4953 Imaginary part is an instance of unary function
(instance IntegerSquareRootFn UnaryFunction) Merge.kif 4968-4968 Integer square root is an instance of unary function
(instance NumeratorFn UnaryFunction) Merge.kif 5081-5081 Numerator is an instance of unary function
(instance RationalNumberFn UnaryFunction) Merge.kif 5100-5100 Rational number is an instance of unary function
(instance RealNumberFn UnaryFunction) Merge.kif 5107-5107 Real number is an instance of unary function
(instance ReciprocalFn UnaryFunction) Merge.kif 5114-5114 互相 is an instance of unary function
(instance RoundFn UnaryFunction) Merge.kif 5214-5214 Round is an instance of unary function
(instance SignumFn UnaryFunction) Merge.kif 5234-5234 Signum is an instance of unary function

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?FUNCTION UnaryFunction)
    (valence ?FUNCTION 1))		 Merge.kif 3413-3415 If X is an instance of unary function, then X has 1 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