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 4851-4853
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 4849-4849 最大公因数函数 的 1 数量 是 整数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4845-4845 最大公因数函数 是 函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4847-4847 最大公因数函数 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4846-4846 最大公因数函数 是 不定次元关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4848-4848 最大公因数函数 的 range 是 整数 的实例

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 4862-4873
No TPTP formula. May not be expressible in strict first order. Merge.kif 4875-4889
No TPTP formula. May not be expressible in strict first order. Merge.kif 4855-4860


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