Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 3471-3471 Unary function is a subclass of function
(subclass UnaryFunction BinaryRelation) Merge.kif 3472-3472 Unary function is a subclass of binary relation
(subclass UnaryFunction InheritableRelation) Merge.kif 3473-3473 Unary function is a subclass of inheritable relation
(documentation UnaryFunction EnglishLanguage "The Class of Functions that require a single argument.") Merge.kif 3475-3476 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 1850-1850 Extension is an instance of unary function
(instance ProbabilityFn UnaryFunction) Merge.kif 2681-2681 Probability is an instance of unary function
(instance ListLengthFn UnaryFunction) Merge.kif 3123-3123 List length is an instance of unary function
(instance LastFn UnaryFunction) Merge.kif 3316-3316 Last is an instance of unary function
(instance FirstFn UnaryFunction) Merge.kif 3336-3336 First is an instance of unary function
(instance ListSumFn UnaryFunction) Merge.kif 3350-3350 Sum of elements is an instance of unary function
(instance AverageFn UnaryFunction) Merge.kif 3381-3381 Average function is an instance of unary function
(subclass OneToOneFunction UnaryFunction) Merge.kif 3482-3482 One to one function is a subclass of unary function
(instance PropertyFn UnaryFunction) Merge.kif 4386-4386 Property is an instance of unary function
(instance AbsoluteValueFn UnaryFunction) Merge.kif 4872-4872 Absolute value is an instance of unary function
(instance CeilingFn UnaryFunction) Merge.kif 4893-4893 Ceiling is an instance of unary function
(instance CosineFn UnaryFunction) Merge.kif 4911-4911 Cosine is an instance of unary function
(instance DenominatorFn UnaryFunction) Merge.kif 4920-4920 Denominator is an instance of unary function
(instance FloorFn UnaryFunction) Merge.kif 4938-4938 Floor is an instance of unary function
(instance ImaginaryPartFn UnaryFunction) Merge.kif 5018-5018 Imaginary part is an instance of unary function
(instance IntegerSquareRootFn UnaryFunction) Merge.kif 5033-5033 Integer square root is an instance of unary function
(instance NumeratorFn UnaryFunction) Merge.kif 5146-5146 Numerator is an instance of unary function
(instance RationalNumberFn UnaryFunction) Merge.kif 5165-5165 Rational number is an instance of unary function
(instance RealNumberFn UnaryFunction) Merge.kif 5172-5172 Real number is an instance of unary function
(instance ReciprocalFn UnaryFunction) Merge.kif 5179-5179 互相 is an instance of unary function
(instance RoundFn UnaryFunction) Merge.kif 5279-5279 Round is an instance of unary function
(instance SignumFn UnaryFunction) Merge.kif 5299-5299 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 3478-3480 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners