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

Formal Language: 



KB Term:  Term intersection
English Word: 

  orthogonalTests

Sigma KEE - orthogonalTests
orthogonalTests

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4452-4453
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4446-4446 orthogonalTests 的 1 数量 是 群体instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4448-4448 orthogonalTests 的 2 数量 是 群体instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4443-4443 orthogonalTests二元谓语instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4444-4444 orthogonalTests对称关系instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4058-4058
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4057-4057
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4056-4056
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4450-4450

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4467-4480
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4455-4459
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4461-4465


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