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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Function

 Sigma KEE - Function
Function(function)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1991-1993
No TPTP formula. May not be expressible in strict first order. Merge.kif 3353-3356
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 625-627
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11056-11056
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10026-10026
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11054-11054
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11057-11057
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11059-11059
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11055-11055
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11058-11058
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11053-11053
No TPTP formula. May not be expressible in strict first order. Merge.kif 3351-3351 Function est une sous-classe de InheritableRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3350-3350 Function est une sous-classe de relation simple

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 784-784 AssignmentFn est une instance de function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4844-4844 GreatestCommonDivisorFn est une instance de function
No TPTP formula. May not be expressible in strict first order. Geography.kif 405-405 LatitudeFn est une instance de function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4929-4929 LeastCommonMultipleFn est une instance de function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2931-2931 ListFn est une instance de function
No TPTP formula. May not be expressible in strict first order. Geography.kif 442-442 LongitudeFn est une instance de function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3398-3398 Fonction binaire est une sous-classe de function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3472-3472 Fonction continue est une sous-classe de function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3461-3461 Function quaternaire est une sous-classe de function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3450-3450 Fonction ternaire est une sous-classe de function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3358-3358 Function unaire est une sous-classe de function
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 916-916
No TPTP formula. May not be expressible in strict first order. english_format.kif 1039-1039
No TPTP formula. May not be expressible in strict first order. french_format.kif 592-592
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 122-122
No TPTP formula. May not be expressible in strict first order. terms-it.txt 125-125
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2277-2277
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 544-544
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 127-127
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 159-159
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 613-613
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 126-126

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 786-786 Le nombre 1 argument de AssignmentFn est une instance de function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3574-3574 Le nombre 1 argument de closedOn est une instance de function
No TPTP formula. May not be expressible in strict first order. Merge.kif 306-306 Le nombre 1 argument de range est une instance de function
No TPTP formula. May not be expressible in strict first order. Merge.kif 334-334 Le nombre 1 argument de rangeSubclass est une instance de function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2162-2162 Relation est compl�tement d�compos� en predicat + function


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 3.0 is open source software produced by Articulate Software and its partners