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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2901-2903
(domain finalExperimentReport 1 ContentBearingPhysical) UXExperimentalTerms.kif 2897-2897 domain finalExperimentReport, 1 and ContentBearingPhysical
(domain finalExperimentReport 2 Experimenting) UXExperimentalTerms.kif 2899-2899 domain finalExperimentReport, 2 and Experimenting
(instance finalExperimentReport BinaryPredicate) UXExperimentalTerms.kif 2895-2895 instance finalExperimentReport and BinaryPredicate

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


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

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


(=>
    (finalExperimentReport ?CBP ?EXP)
    (refers ?CBP ?EXP))
UXExperimentalTerms.kif 2914-2916
(=>
    (finalExperimentReport ?CBP ?EXPERIMENT)
    (exists (?RESULT)
        (and
            (result ?EXPERIMENT ?RESULT)
            (containsInformation ?CBP ?RESULT))))
UXExperimentalTerms.kif 2907-2912


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