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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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