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 3354-3357
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 3352-3352 Funcao e' uma sub-classe de InheritableRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3351-3351 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 4845-4845 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 4930-4930 LeastCommonMultipleFn e' uma instancia de Funcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 2932-2932 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 3399-3399 Funcao Binaria e' uma sub-classe de Funcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 3473-3473 Funcao Continua e' uma sub-classe de Funcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 3462-3462 Funcao Quaternaria e' uma sub-classe de Funcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 3451-3451 Funcao Ternaria e' uma sub-classe de Funcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 3359-3359 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 3575-3575 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