realization |
appearance as argument number 1 |
![]() |
(documentation realization ChineseLanguage "这是 represents 的一个子关系, (realization ?PROCESS ?PROP) 的意思是 ?PROCESS 是一个表达 ?PROP 内容的过程。例子包括:一个演绎 一分乐谱内容的特定音乐表演,或是讀一首诗。") | chinese_format.kif 2198-2200 | |
(documentation realization EnglishLanguage "A subrelation of represents. (realization ?PROCESS ?PROP) means that ?PROCESS is a Process which expresses the content of ?PROP. Examples include a particular musical performance, which realizes the content of a musical score, or the reading of a poem.") | Merge.kif 4573-4577 | |
(domain realization 1 Process) | Merge.kif 4568-4568 | The number 1 argument of realization is an instance of process |
(domain realization 2 Proposition) | Merge.kif 4569-4569 | The number 2 argument of realization is an instance of proposition |
(instance realization AsymmetricRelation) | Merge.kif 4567-4567 | realization is an instance of asymmetric relation |
(relatedInternalConcept realization containsInformation) | Merge.kif 4571-4571 | realization is internally related to contains information |
(relatedInternalConcept realization equivalentContentInstance) | Merge.kif 4570-4570 | realization is internally related to equivalent content instance |
(subrelation realization represents) | Merge.kif 4566-4566 | realization is a subrelation of represents |
appearance as argument number 2 |
![]() |
(format ChineseLanguage realization "%1 %n{doesn't} 表示 %2 的内容") | chinese_format.kif 223-223 | |
(format EnglishLanguage realization "%1 %n{doesn't} express%p{es} the content of %2") | english_format.kif 224-224 | |
(termFormat ChineseLanguage realization "体现") | chinese_format.kif 224-224 | |
(termFormat ChineseLanguage realization "实现") | domainEnglishFormat.kif 48900-48900 | |
(termFormat ChineseTraditionalLanguage realization "實現") | domainEnglishFormat.kif 48899-48899 | |
(termFormat EnglishLanguage realization "realization") | domainEnglishFormat.kif 48898-48898 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |