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 3429-3429
(documentation UnaryFunction EnglishLanguage "The Class of Functions that require a single argument.") Merge.kif 3427-3428
(subclass UnaryFunction BinaryRelation) Merge.kif 3425-3425
(subclass UnaryFunction Function) Merge.kif 3424-3424
(subclass UnaryFunction InheritableRelation) Merge.kif 3426-3426

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


(format EnglishLanguage UnaryFunction "the unary function of %1") domainEnglishFormat.kif 647-647
(instance ABPFn UnaryFunction) UXExperimentalTerms.kif 3428-3428
(instance ASPFn UnaryFunction) UXExperimentalTerms.kif 3471-3471
(instance AbsoluteValueFn UnaryFunction) Merge.kif 4884-4884
(instance AccountFn UnaryFunction) FinancialOntology.kif 2246-2246
(instance AccountOfServiceFn UnaryFunction) Facebook.kif 100-100
(instance AddressFn UnaryFunction) QoSontology.kif 217-217
(instance AfternoonFn UnaryFunction) Merge.kif 8827-8827
(instance AgentOfOrganismFn UnaryFunction) WMD.kif 86-86
(instance AgreementOrganizationFn UnaryFunction) Geography.kif 2901-2901
(instance AgricultureFn UnaryFunction) Society.kif 1103-1103
(instance AuctionGMBFn UnaryFunction) UXExperimentalTerms.kif 3396-3396
(instance AvailableForMilitaryServiceMaleFn UnaryFunction) Military.kif 859-859
(instance BackFn UnaryFunction) Merge.kif 927-927
(instance BeginFn UnaryFunction) Merge.kif 8142-8142
(instance BeginNodeFn UnaryFunction) Merge.kif 6020-6020
(instance BeliefGroupMemberFn UnaryFunction) People.kif 672-672
(instance BidCountFn UnaryFunction) UXExperimentalTerms.kif 3116-3116
(instance BoughtItemsFn UnaryFunction) UXExperimentalTerms.kif 3083-3083
(instance CPUUtilizationFn UnaryFunction) QoSontology.kif 1314-1314
(instance CabinetFn UnaryFunction) Government.kif 1486-1486
(instance CardinalityFn UnaryFunction) Merge.kif 5579-5579
(instance CeilingFn UnaryFunction) Merge.kif 4906-4906
(instance CenterOfCircleFn UnaryFunction) Merge.kif 7792-7792
(instance CitizenryFn UnaryFunction) Mid-level-ontology.kif 7775-7775

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


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