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 2696-2698
(domain finalExperimentReport 1 ContentBearingPhysical) UXExperimentalTerms.kif 2692-2692 finalExperimentReport 的 1 数量 是 内容承载物理instance
(domain finalExperimentReport 2 Experimenting) UXExperimentalTerms.kif 2694-2694 finalExperimentReport 的 2 数量 是 试验instance
(instance finalExperimentReport BinaryPredicate) UXExperimentalTerms.kif 2690-2690 finalExperimentReport二元谓语instance

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 ?CBP ?EXPERIMENT)
    (exists (?RESULT)
        (and
            (result ?EXPERIMENT ?RESULT)
            (containsInformation ?CBP ?RESULT))))
UXExperimentalTerms.kif 2702-2707


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