TreeView Knowledge Base Browser - finalExperimentReport

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

finalExperimentReport

Sigma KEE - finalExperimentReport

finalExperimentReport

appearance as argument number 1

(documentation finalExperimentReport EnglishLanguage "(finalExperimentReport ?CBP ?EXPERIMENT) means that ?CBP is a ContentBearingPhysical which containsInformation about the result of ?EXPERIMENT.")	UXExperimentalTerms.kif 2696-2698
(domain finalExperimentReport 1 ContentBearingPhysical)	UXExperimentalTerms.kif 2692-2692	finalExperimentReport の数値 1 引数は ContentBearingPhysical の instance では %n
(domain finalExperimentReport 2 Experimenting)	UXExperimentalTerms.kif 2694-2694	finalExperimentReport の数値 2 引数は Experimenting の instance では %n
(instance finalExperimentReport BinaryPredicate)	UXExperimentalTerms.kif 2690-2690	finalExperimentReport は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage finalExperimentReport "对于 %2 的 final report 是 %1 ")	domainEnglishFormat.kif 3438-3438
(format ChineseTraditionalLanguage finalExperimentReport "對於 %2 的 final report 是 %1 ")	domainEnglishFormat.kif 3437-3437
(format EnglishLanguage finalExperimentReport "the final report for %2 is %1")	domainEnglishFormat.kif 3436-3436
(termFormat EnglishLanguage finalExperimentReport "final experiment report")	UXExperimentalTerms.kif 2700-2700

antecedent

(=> (finalExperimentReport ?CBP ?EXP) (refers ?CBP ?EXP))	UXExperimentalTerms.kif 2709-2711	finalExperimentReport ContentBearingPhysical and Experimenting ContentBearingPhysical は Experimenting への reference を includes %n{ない}
(=> (finalExperimentReport ?CBP ?EXPERIMENT) (exists (?RESULT) (and (result ?EXPERIMENT ?RESULT) (containsInformation ?CBP ?RESULT))))	UXExperimentalTerms.kif 2702-2707	finalExperimentReport ContentBearingPhysical and Experimenting 命題命題は Experimenting の result では %n ContentBearingPhysical は命題の情報を contains %n{ない}

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