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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SubtractionFn
SubtractionFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2216-2219
No TPTP formula. May not be expressible in strict first order. Merge.kif 4730-4734
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 880-883
No TPTP formula. May not be expressible in strict first order. Merge.kif 4726-4726 O argumento numero 1 de SubtractionFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order. Merge.kif 4727-4727 O argumento numero 2 de SubtractionFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order. Merge.kif 5296-5296 0 e' um elemento identificador de SubtractionFn
No TPTP formula. May not be expressible in strict first order. Merge.kif 4723-4723 SubtractionFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 4725-4725 SubtractionFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order. Merge.kif 4728-4728 O contra-dominio de SubtractionFn 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 684-684
No TPTP formula. May not be expressible in strict first order. english_format.kif 686-686
No TPTP formula. May not be expressible in strict first order. french_format.kif 415-415
No TPTP formula. May not be expressible in strict first order. relations-it.txt 285-285
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2132-2132
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 367-367
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 424-424
No TPTP formula. May not be expressible in strict first order. relations-de.txt 891-891
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 322-322
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 437-437
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 459-459
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 477-477
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55854-55854
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 685-685
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55853-55853
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55852-55852

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 783-788
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 818-828
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 3170-3177
No TPTP formula. May not be expressible in strict first order. Merge.kif 3179-3188
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. Mid-level-ontology.kif 23888-23902
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3331-3341
No TPTP formula. May not be expressible in strict first order. Merge.kif 8625-8630
No TPTP formula. May not be expressible in strict first order. Merge.kif 8651-8656
No TPTP formula. May not be expressible in strict first order. Merge.kif 8678-8683
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 408-424
No TPTP formula. May not be expressible in strict first order. Merge.kif 8705-8710
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 466-481
No TPTP formula. May not be expressible in strict first order. Merge.kif 8770-8775
No TPTP formula. May not be expressible in strict first order. Geography.kif 863-872
No TPTP formula. May not be expressible in strict first order. Geography.kif 852-861

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4768-4779 O valor absoluto de Numero Real e' igual a Numero Real nao-negativo Numero Real e' uma instancia de Numero Real Numero Real nao-negativo e' uma instancia de Numero Real Numero Real e' uma instancia de Numero Real nao-negativo Numero Real e' igual a Numero Real nao-negativo Numero Real e' uma instancia de Numero Real negativo Numero Real nao-negativo e' igual a (0.0 + Numero Real)
No TPTP formula. May not be expressible in strict first order. People.kif 156-187 Ano e' uma instancia de o ano Numero Inteiro MigrantsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real ( Numero Inteiro + Numero Inteiro) e' igual a 1 Entidade e' uma instancia de o ano Numero Inteiro PopulationFn Area Geopolitica e' igual a Numero Real vale durante Ano Numero Real + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica ( Numero Inteiro + Numero Inteiro) e' igual a Numero Real Numero Real + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order. People.kif 52-64 Ano e' uma instancia de o ano Numero Inteiro PopulationGrowthFn Area Geopolitica and Ano e' igual a Numero Real ( Numero Inteiro + Numero InteiroP) e' igual a 1 Posicao Temporal e' uma instancia de o ano Numero InteiroP PopulationFn Area Geopolitica e' igual a Numero Real vale durante Ano PopulationFn Area Geopolitica e' igual a Numero Real vale durante Posicao Temporal Numero Real + Numero Real e' igual a Numero Real ( Numero Real + 1) e' igual a Numero Real
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. Weather.kif 1482-1493
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14836-14845
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4563-4571
No TPTP formula. May not be expressible in strict first order. Merge.kif 17928-17953

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7012-7014 Numero Real CelsiusDegree(s) e' igual a ( Numero Real + 32.0) + 1.8 FahrenheitDegree(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7008-7010 Numero Real CelsiusDegree(s) e' igual a ( Numero Real + 273.15) KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Military.kif 933-946 ReachingMilitaryAgeAnnuallyMaleFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Merge.kif 4736-4737 Numero Inteiro ( Numero Inteiro+2) e' igual a ( Numero Inteiro + 1)


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