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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - experimentalVariableProcess
experimentalVariableProcess

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4072-4076
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4066-4066 The number 1 argument of experimental variable (process) is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4068-4068 The number 2 argument of experimental variable (process) is an instance of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4064-4064 experimental variable (process) is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 852-852
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4070-4070 "experimental variable (process)" is the printable form of experimental variable (process) in english language

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4553-4570
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4085-4090
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4078-4082
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4694-4709
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4047-4058
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4164-4175

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4239-4243
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4093-4098
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4119-4130
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4628-4633
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4541-4551
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4407-4422


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners