UnaryFunction - Sigma Knowledge base Browser

appearance as argument number 1

(subclass UnaryFunction Function)	Merge.kif 3397-3397	Unary function is a subclass of function
(subclass UnaryFunction BinaryRelation)	Merge.kif 3398-3398	Unary function is a subclass of binary relation
(subclass UnaryFunction InheritableRelation)	Merge.kif 3399-3399	Unary function is a subclass of inheritable relation
(documentation UnaryFunction EnglishLanguage "The Class of Functions that require a single argument.")	Merge.kif 3401-3402	Unary function is a subclass of inheritable relation

appearance as argument number 2

(instance PressingKeyFn UnaryFunction)	ComputerInput.kif 1358-1358	Pressing key fn is an instance of unary function
(instance NetworkCommunicationFn UnaryFunction)	ComputingBrands.kif 1519-1519	Network communication function is an instance of unary function
(instance EmailLocalPartFn UnaryFunction)	ComputingBrands.kif 2049-2049	Email local part fn is an instance of unary function
(instance EmailDomainPartFn UnaryFunction)	ComputingBrands.kif 2055-2055	Email domain part fn is an instance of unary function
(instance FailureFn UnaryFunction)	ComputingBrands.kif 4415-4415	Failure fn is an instance of unary function
(instance FiscalYearFn UnaryFunction)	Economy.kif 4028-4028	Fiscal year is an instance of unary function
(instance OrganicObjectFn UnaryFunction)	Economy.kif 5583-5583	Organic object fn is an instance of unary function
(instance MarketOfItemFn UnaryFunction)	Economy.kif 6702-6702	Market is an instance of unary function
(instance MarketInRegionFn UnaryFunction)	Economy.kif 6719-6719	Market is an instance of unary function
(instance SupplyFn UnaryFunction)	Economy.kif 6753-6753	Supply is an instance of unary function
(instance DemandFn UnaryFunction)	Economy.kif 6782-6782	Demand is an instance of unary function
(instance AccountOfServiceFn UnaryFunction)	Facebook.kif 109-109	Account of service of is an instance of unary function
(instance CurrencyFn UnaryFunction)	FinancialOntology.kif 284-284	Currency is an instance of unary function
(instance AccountFn UnaryFunction)	FinancialOntology.kif 2332-2332	Account is an instance of unary function
(instance JuiceOfFn UnaryFunction)	Food.kif 2605-2605	Juice of fn is an instance of unary function
(instance PlantFn UnaryFunction)	Food.kif 3360-3360	Plant fn is an instance of unary function
(instance FarmOfProductFn UnaryFunction)	Food.kif 3673-3673	Farm of product fn is an instance of unary function
(instance GeographicCenterFn UnaryFunction)	Geography.kif 1675-1675	Geographic center is an instance of unary function
(instance GeographicNorthFn UnaryFunction)	Geography.kif 1697-1697	Geographic North is an instance of unary function
(instance GeographicSouthFn UnaryFunction)	Geography.kif 1743-1743	Geographic South is an instance of unary function
(instance GeographicEastFn UnaryFunction)	Geography.kif 1781-1781	Geographic east is an instance of unary function
(instance GeographicWestFn UnaryFunction)	Geography.kif 1812-1812	Geographic west is an instance of unary function
(instance PerimeterAreaFn UnaryFunction)	Geography.kif 2243-2243	Perimeter area is an instance of unary function
(instance MaritimeClaimsTerritorialSeaFn UnaryFunction)	Geography.kif 2255-2255	Maritime claims territorial sea is an instance of unary function
(instance InnerBoundaryFn UnaryFunction)	Geography.kif 2270-2270	Inner boundary 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 3404-3406

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: