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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BinaryFunction

Sigma KEE - BinaryFunction
BinaryFunction

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


(documentation BinaryFunction ChineseLanguage "这是个需要两个参数的 Function Class。") Merge.kif 3493-3493
(documentation BinaryFunction EnglishLanguage "The Class of Functions that require two arguments.") Merge.kif 3491-3492
(subclass BinaryFunction Function) Merge.kif 3488-3488
(subclass BinaryFunction InheritableRelation) Merge.kif 3490-3490
(subclass BinaryFunction TernaryRelation) Merge.kif 3489-3489

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


(format EnglishLanguage BinaryFunction "the binary function of %1 and %2") domainEnglishFormat.kif 79-79
(instance AbortedFn BinaryFunction) MilitaryProcesses.kif 2377-2377
(instance AbortedLaunchFn BinaryFunction) MilitaryProcesses.kif 2443-2443
(instance AbortedMissionFn BinaryFunction) MilitaryProcesses.kif 2397-2397
(instance AdditionFn BinaryFunction) Merge.kif 4853-4853
(instance AlbumCopiesFn BinaryFunction) Music.kif 926-926
(instance AttrFn BinaryFunction) Merge.kif 1830-1830
(instance BirthsPerThousandFn BinaryFunction) People.kif 90-90
(instance BorderFn BinaryFunction) Geography.kif 678-678
(instance CellPartFn BinaryFunction) VirusProteinAndCellPart.kif 582-582
(instance ChildrenBornPerWomanFn BinaryFunction) People.kif 446-446
(instance ClickThroughRateFn BinaryFunction) UXExperimentalTerms.kif 3513-3513
(instance ContestFn BinaryFunction) Music.kif 1040-1040
(instance DayFn BinaryFunction) Merge.kif 8706-8706
(instance DeathsPerThousandFn BinaryFunction) People.kif 121-121
(instance DeathsPerThousandLiveBirthsFn BinaryFunction) People.kif 242-242
(instance DensityFn BinaryFunction) Merge.kif 6852-6852
(instance DirectionalSubregionFn BinaryFunction) Geography.kif 473-473
(instance DivisionFn BinaryFunction) Merge.kif 4890-4890
(instance EditionFn BinaryFunction) Merge.kif 15621-15621
(instance ExponentiationFn BinaryFunction) Merge.kif 4975-4975
(instance FemaleLifeExpectancyAtBirthFn BinaryFunction) People.kif 401-401
(instance FiscalYearStartingFn BinaryFunction) Economy.kif 3724-3724
(instance GPIFn BinaryFunction) UXExperimentalTerms.kif 3360-3360
(instance GPSFn BinaryFunction) UXExperimentalTerms.kif 3327-3327

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain distributes 1 BinaryFunction) Merge.kif 3840-3840
(domain distributes 2 BinaryFunction) Merge.kif 3841-3841
(domain identityElement 1 BinaryFunction) Merge.kif 5368-5368

antecedent
-------------------------


(=>
    (instance ?FUNCTION BinaryFunction)
    (valence ?FUNCTION 2))
Merge.kif 3495-3497


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