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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AdditionFn

Sigma KEE - AdditionFn
AdditionFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2214-2215
No TPTP formula. May not be expressible in strict first order. Merge.kif 4716-4718
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 878-879
No TPTP formula. May not be expressible in strict first order. Merge.kif 4712-4712 O argumento numero 1 de AdditionFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order. Merge.kif 4713-4713 O argumento numero 2 de AdditionFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order. Merge.kif 5295-5295 0 e' um elemento identificador de AdditionFn
No TPTP formula. May not be expressible in strict first order. Merge.kif 4708-4708 AdditionFn e' uma instancia de Funcao Associativa
No TPTP formula. May not be expressible in strict first order. Merge.kif 4707-4707 AdditionFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 4709-4709 AdditionFn e' uma instancia de Funcao Commutativa
No TPTP formula. May not be expressible in strict first order. Merge.kif 4711-4711 AdditionFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order. Merge.kif 4714-4714 O contra-dominio de AdditionFn e' uma instancia de Numero Real

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 682-682
No TPTP formula. May not be expressible in strict first order. english_format.kif 684-684
No TPTP formula. May not be expressible in strict first order. french_format.kif 414-414
No TPTP formula. May not be expressible in strict first order. relations-it.txt 20-20
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2131-2131
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 366-366
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 423-423
No TPTP formula. May not be expressible in strict first order. relations-de.txt 889-889
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 65-65
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 436-436
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 458-458
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 54-54
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5418-5418
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 683-683
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5417-5417
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5416-5416
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 57-57

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3068-3089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23916-23932
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1224-1233
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1273-1282
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2333-2355
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 436-453
No TPTP formula. May not be expressible in strict first order. Weather.kif 1935-1944
No TPTP formula. May not be expressible in strict first order. Merge.kif 5117-5128

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 272-293 average Lista and Numero Real Lista Inteiro positivo comprimento de Lista e' igual a comprimento de Lista 1th elemento de Lista e' igual a 1th elemento de Lista Inteiro positivo Inteiro positivo e' igual a comprimento de Lista Numero Real e' igual a Inteiro positivoth elemento de Lista + Inteiro positivo
No TPTP formula. May not be expressible in strict first order. Merge.kif 5993-6006
No TPTP formula. May not be expressible in strict first order. Merge.kif 5979-5991
No TPTP formula. May not be expressible in strict first order. Merge.kif 5104-5115
No TPTP formula. May not be expressible in strict first order. Merge.kif 3258-3268
No TPTP formula. May not be expressible in strict first order. Merge.kif 3083-3102
No TPTP formula. May not be expressible in strict first order. Media.kif 3068-3089
No TPTP formula. May not be expressible in strict first order. Merge.kif 3190-3202
No TPTP formula. May not be expressible in strict first order. Weather.kif 1453-1465
No TPTP formula. May not be expressible in strict first order. Food.kif 1248-1262
No TPTP formula. May not be expressible in strict first order. Biography.kif 69-85
No TPTP formula. May not be expressible in strict first order. Biography.kif 99-115
No TPTP formula. May not be expressible in strict first order. Geography.kif 555-560
No TPTP formula. May not be expressible in strict first order. Merge.kif 17206-17212
No TPTP formula. May not be expressible in strict first order. Merge.kif 17218-17224
No TPTP formula. May not be expressible in strict first order. Merge.kif 17194-17200
No TPTP formula. May not be expressible in strict first order. Merge.kif 17182-17188
No TPTP formula. May not be expressible in strict first order. Transportation.kif 510-517
No TPTP formula. May not be expressible in strict first order. Transportation.kif 503-508
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6501-6509

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4720-4721 Numero Inteiro ( Numero Inteiro+1) e' igual a ( Numero Inteiro + 1)


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