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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SquareRootFn

 Sigma KEE - SquareRootFn
SquareRootFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2275-2275
No TPTP formula. May not be expressible in strict first order. Merge.kif 5222-5223
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 941-942
No TPTP formula. May not be expressible in strict first order. Merge.kif 5219-5219 域 平方根, 1 and RealNumber
No TPTP formula. May not be expressible in strict first order. Merge.kif 5218-5218 例 平方根 and UnaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 5220-5220 範圍 平方根 and RealNumber

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 730-730
No TPTP formula. May not be expressible in strict first order. english_format.kif 732-732
No TPTP formula. May not be expressible in strict first order. french_format.kif 438-438
No TPTP formula. May not be expressible in strict first order. relations-it.txt 268-268
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2155-2155
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 390-390
No TPTP formula. May not be expressible in strict first order. relations-de.txt 943-943
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 305-305
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 460-460
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 500-500
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54888-54888
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 731-731
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54887-54887
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54886-54886

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5225-5227

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