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 3439-3439
(documentation UnaryFunction EnglishLanguage "The Class of Functions that require a single argument.") Merge.kif 3437-3438
(subclass UnaryFunction BinaryRelation) Merge.kif 3435-3435
(subclass UnaryFunction Function) Merge.kif 3434-3434
(subclass UnaryFunction InheritableRelation) Merge.kif 3436-3436

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 4902-4902
(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 8904-8904
(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 3395-3395
(instance AvailableForMilitaryServiceMaleFn UnaryFunction) Military.kif 859-859
(instance BackFn UnaryFunction) Merge.kif 929-929
(instance BeginFn UnaryFunction) Merge.kif 8174-8174
(instance BeginNodeFn UnaryFunction) Merge.kif 6041-6041
(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 1297-1297
(instance CabinetFn UnaryFunction) Government.kif 1486-1486
(instance CardinalityFn UnaryFunction) Merge.kif 5600-5600
(instance CeilingFn UnaryFunction) Merge.kif 4924-4924
(instance CenterOfCircleFn UnaryFunction) Merge.kif 7821-7821
(instance CitizenryFn UnaryFunction) Mid-level-ontology.kif 7779-7779

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


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