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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Function
Function(Funcao)
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 Funcao e' uma sub-classe de InheritableRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3350-3350 Funcao e' uma sub-classe de Relacao com Valor Unico

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 784-784 AssignmentFn e' uma instancia de Funcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 4844-4844 GreatestCommonDivisorFn e' uma instancia de Funcao
No TPTP formula. May not be expressible in strict first order. Geography.kif 405-405 LatitudeFn e' uma instancia de Funcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 4929-4929 LeastCommonMultipleFn e' uma instancia de Funcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 2931-2931 ListFn e' uma instancia de Funcao
No TPTP formula. May not be expressible in strict first order. Geography.kif 442-442 LongitudeFn e' uma instancia de Funcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 3398-3398 Funcao Binaria e' uma sub-classe de Funcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 3472-3472 Funcao Continua e' uma sub-classe de Funcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 3461-3461 Funcao Quaternaria e' uma sub-classe de Funcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 3450-3450 Funcao Ternaria e' uma sub-classe de Funcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 3358-3358 Funcao Unaria e' uma sub-classe de Funcao
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 O argumento numero 1 de AssignmentFn e' uma instancia de Funcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 3574-3574 O argumento numero 1 de closedOn e' uma instancia de Funcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 306-306 O argumento numero 1 de range e' uma instancia de Funcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 334-334 O argumento numero 1 de rangeSubclass e' uma instancia de Funcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 2162-2162 O conceito Relacao e' completamente decomposto em Predicado + Funcao


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