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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BinaryFunction
BinaryFunction(binary function)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1999-1999
No TPTP formula. May not be expressible in strict first order. Merge.kif 3279-3280
No TPTP formula. May not be expressible in strict first order. Merge.kif 3275-3275 Binary function is a subclass of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3277-3277 Binary function is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3276-3276 Binary function is a subclass of ternary relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 280-280
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 279-279
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 278-278
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2390-2390 Aborted is an instance of binary function
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2456-2456 Aborted launch is an instance of binary function
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2410-2410 Aborted mission is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4517-4517 Addition is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Music.kif 920-920 Album copies function is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 1678-1678 Attr is an instance of binary function
No TPTP formula. May not be expressible in strict first order. People.kif 90-90 Births per thousand is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Geography.kif 685-685 Border is an instance of binary function
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 582-582 Cell part is an instance of binary function
No TPTP formula. May not be expressible in strict first order. People.kif 446-446 Children born per woman is an instance of binary function
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3522-3522 Click-through rate is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Music.kif 1034-1034 Contest function is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8046-8046 Day is an instance of binary function
No TPTP formula. May not be expressible in strict first order. People.kif 121-121 Deaths per thousand is an instance of binary function
No TPTP formula. May not be expressible in strict first order. People.kif 242-242 Deaths per thousand live births is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 6347-6347 Density is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16048-16048 Department is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16085-16085 DepartmentOfPreventingFn is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Geography.kif 476-476 Directional subregion is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4549-4549 Division is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 14352-14352 Edition is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4626-4626 Exponentiation is an instance of binary function

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3589-3589 The number 1 argument of distributes is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3590-3590 The number 2 argument of distributes is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4994-4994 The number 1 argument of identity element is an instance of binary function

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3282-3284


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