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


KB Term:  Term intersection
English Word: 

  UnaryFunction

 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 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