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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GreatestCommonDivisorFn

 Sigma KEE - GreatestCommonDivisorFn
GreatestCommonDivisorFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2236-2237
No TPTP formula. May not be expressible in strict first order. Merge.kif 4850-4852
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 900-901
No TPTP formula. May not be expressible in strict first order. Merge.kif 4848-4848 O argumento numero 1 de GreatestCommonDivisorFn e' uma instancia de Numero Inteiro
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. Merge.kif 4846-4846 GreatestCommonDivisorFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Merge.kif 4845-4845 GreatestCommonDivisorFn e' uma instancia de Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order. Merge.kif 4847-4847 O contra-dominio de GreatestCommonDivisorFn e' uma instancia de Numero Inteiro

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 700-700
No TPTP formula. May not be expressible in strict first order. english_format.kif 702-702
No TPTP formula. May not be expressible in strict first order. french_format.kif 423-423
No TPTP formula. May not be expressible in strict first order. relations-it.txt 123-123
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2140-2140
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 375-375
No TPTP formula. May not be expressible in strict first order. relations-de.txt 913-913
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 163-163
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 445-445
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 474-474
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 252-252
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 701-701
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26544-26544
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26543-26543
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26542-26542
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 253-253

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4861-4872
No TPTP formula. May not be expressible in strict first order. Merge.kif 4874-4888
No TPTP formula. May not be expressible in strict first order. Merge.kif 4854-4859


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