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

Formal Language: 



KB Term:  Term intersection
English Word: 

  tTest

 Sigma KEE - tTest
tTest

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 598-601
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 603-603 tTest 的 1 数量 是 群体 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 604-604 tTest 的 2 数量 是 群体 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 605-605 tTest 的 3 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 595-595 tTest 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4834-4834
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4833-4833
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4832-4832
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 596-596

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 607-617


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