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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnaryFunction

Sigma KEE - UnaryFunction
UnaryFunction

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


(documentation UnaryFunction ChineseLanguage "这是个需要单一一个参数的 Function Class。") Merge.kif 3452-3452
(documentation UnaryFunction EnglishLanguage "The Class of Functions that require a single argument.") Merge.kif 3450-3451
(subclass UnaryFunction BinaryRelation) Merge.kif 3448-3448
(subclass UnaryFunction Function) Merge.kif 3447-3447
(subclass UnaryFunction InheritableRelation) Merge.kif 3449-3449

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


(format EnglishLanguage UnaryFunction "the unary function of %1") domainEnglishFormat.kif 647-647
(instance ABPFn UnaryFunction) UXExperimentalTerms.kif 3427-3427
(instance ASPFn UnaryFunction) UXExperimentalTerms.kif 3470-3470
(instance AbsoluteValueFn UnaryFunction) Merge.kif 4915-4915
(instance AccountFn UnaryFunction) FinancialOntology.kif 2246-2246
(instance AddressFn UnaryFunction) QoSontology.kif 217-217
(instance AfternoonFn UnaryFunction) Merge.kif 8927-8927
(instance AgentOfOrganismFn UnaryFunction) WMD.kif 86-86
(instance AgreementOrganizationFn UnaryFunction) Geography.kif 2901-2901
(instance AuctionGMBFn UnaryFunction) UXExperimentalTerms.kif 3395-3395
(instance AvailableForMilitaryServiceMaleFn UnaryFunction) Military.kif 859-859
(instance BackFn UnaryFunction) Merge.kif 941-941
(instance BeginFn UnaryFunction) Merge.kif 8191-8191
(instance BeginNodeFn UnaryFunction) Merge.kif 6054-6054
(instance BeliefGroupMemberFn UnaryFunction) People.kif 672-672
(instance BidCountFn UnaryFunction) UXExperimentalTerms.kif 3115-3115
(instance BoughtItemsFn UnaryFunction) UXExperimentalTerms.kif 3082-3082
(instance CPUUtilizationFn UnaryFunction) QoSontology.kif 1313-1313
(instance CabinetFn UnaryFunction) Government.kif 1486-1486
(instance CardinalityFn UnaryFunction) Merge.kif 5613-5613
(instance CeilingFn UnaryFunction) Merge.kif 4937-4937
(instance CenterOfCircleFn UnaryFunction) Merge.kif 7834-7834
(instance CitizenryFn UnaryFunction) Mid-level-ontology.kif 7779-7779
(instance ComplementFn UnaryFunction) Merge.kif 5575-5575
(instance ConstitutionFn UnaryFunction) Government.kif 667-667

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners