orthogonalTests - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - orthogonalTests

orthogonalTests

appearance as argument number 1

(documentation orthogonalTests EnglishLanguage "A SymmetricRelation between two Collections of Experimentings signfying that experimentalSubjects can be shared between them.")	UXExperimentalTerms.kif 4652-4653
(domain orthogonalTests 1 Collection)	UXExperimentalTerms.kif 4646-4646	The number 1 argument of managed orthogonal is an instance of collection
(domain orthogonalTests 2 Collection)	UXExperimentalTerms.kif 4648-4648	The number 2 argument of managed orthogonal is an instance of collection
(instance orthogonalTests SymmetricRelation)	UXExperimentalTerms.kif 4644-4644	managed orthogonal is an instance of symmetric relation

appearance as argument number 2

(format ChineseLanguage orthogonalTests "%1 和 %2 是 orthogonal tests ")	domainEnglishFormat.kif 4059-4059
(format ChineseTraditionalLanguage orthogonalTests "%1 和 %2 是 orthogonal tests ")	domainEnglishFormat.kif 4058-4058
(format EnglishLanguage orthogonalTests "%1 and %2 are orthogonal tests")	domainEnglishFormat.kif 4057-4057
(termFormat EnglishLanguage orthogonalTests "managed orthogonal")	UXExperimentalTerms.kif 4650-4650

antecedent

(=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (instance ?SUBJECT Human) (instance ?EXPERIMENT1 Experimenting) (member ?EXPERIMENT1 ?TESTCOL1) (capability ?EXPERIMENT1 experimentalSubject ?SUBJECT)) (exists (?EXPERIMENT2) (and (instance ?EXPERIMENT2 Experimenting) (member ?EXPERIMENT2 ?TESTCOL2) (capability ?EXPERIMENT2 experimentalSubject ?SUBJECT))))	UXExperimentalTerms.kif 4667-4678	If a collection and another collection are orthogonal tests and an object is an instance of human and a kind of process is an instance of experimenting and a kind of process is a member of the collection and the object is capable of doing the kind of process as a experimental subject, then there exists another kind of process such that another kind of process is an instance of experimenting and the other kind of process is a member of the other collection and the object is capable of doing the other kind of process as a experimental subject
(=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (member ?MEMBER ?TESTCOL1)) (instance ?MEMBER Experimenting))	UXExperimentalTerms.kif 4655-4659	If a collection and another collection are orthogonal tests and an object is a member of the collection, then the object is an instance of experimenting
(=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (member ?MEMBER ?TESTCOL2)) (instance ?MEMBER Experimenting))	UXExperimentalTerms.kif 4661-4665	If a collection and another collection are orthogonal tests and an object is a member of the other collection, then the object is an instance of experimenting

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 3.0 is open source software produced by Articulate Software and its partners