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

Formal Language: 



KB Term:  Term intersection
English Word: 

  qualifiedExperiment

 Sigma KEE - qualifiedExperiment
qualifiedExperiment

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


(documentation qualifiedExperiment EnglishLanguage "(qualifiedExperiment ?EXPERIMENT ?HUMAN means that ?HUMAN has the capabilty of being the experimentalSubject of ?EXPERIMENT") UXExperimentalTerms.kif 4267-4268
(domain qualifiedExperiment 1 Experimenting) UXExperimentalTerms.kif 4263-4263 domain qualifiedExperiment, 1 and Experimenting
(domain qualifiedExperiment 2 Human) UXExperimentalTerms.kif 4265-4265 domain qualifiedExperiment, 2 and Human
(instance qualifiedExperiment BinaryPredicate) UXExperimentalTerms.kif 4261-4261 instance qualifiedExperiment and BinaryPredicate

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


(format ChineseLanguage qualifiedExperiment "%2 是 %1 的 qualified subject ") domainEnglishFormat.kif 4299-4299
(format ChineseTraditionalLanguage qualifiedExperiment "%2 是 %1 的 qualified subject ") domainEnglishFormat.kif 4298-4298
(format EnglishLanguage qualifiedExperiment "%2 is a qualified subject of %1") domainEnglishFormat.kif 4297-4297

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