equivalentContentInstance |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage equivalentContentInstance "%1 %n 等于 %2") | chinese_format.kif 209-209 | |
(format EnglishLanguage equivalentContentInstance "%1 is %n equivalent to %2") | english_format.kif 210-210 | |
(format FrenchLanguage equivalentContentInstance "%1 est %n equivalent � %2") | french_format.kif 124-124 | |
(format ItalianLanguage equivalentContentInstance "%1 è equivalente a %2") | relations-it.txt 99-99 | |
(format JapaneseLanguage equivalentContentInstance "%1 は %2 と equivalent では %n") | japanese_format.kif 1953-1953 | |
(format PortugueseLanguage equivalentContentInstance "%1 e' %n equivalente a %2") | portuguese_format.kif 76-76 | |
(format de equivalentContentInstance "%1 ist mit %2 gleichwertig") | relations-de.txt 269-269 | |
(format hi equivalentContentInstance "%1 %2 ke tulya hai") | relations-hindi.txt 139-139 | |
(format ro equivalentContentInstance "%1 %n{nu} este equivalent%t{echivalent} cu %2") | relations-ro.kif 143-143 | |
(format sv equivalentContentInstance "%1 är %n{inte} ekvivalent med %2") | relations-sv.txt 129-129 | |
(format tg equivalentContentInstance "%1 ay tulad sa %2") | relations-tg.txt 210-210 | |
(relatedInternalConcept realization equivalentContentInstance) | Merge.kif 4600-4600 | realization e' relacionado internamente por SUMO a equivalentContentInstance |
(termFormat ChineseLanguage equivalentContentInstance "内容等效实例") | chinese_format.kif 210-210 | |
(termFormat ChineseLanguage equivalentContentInstance "等效内容实例") | domainEnglishFormat.kif 22372-22372 | |
(termFormat ChineseTraditionalLanguage equivalentContentInstance "等效內容實例") | domainEnglishFormat.kif 22371-22371 | |
(termFormat EnglishLanguage equivalentContentInstance "equivalent content instance") | domainEnglishFormat.kif 22370-22370 | |
(termFormat de equivalentContentInstance "gleichwertigeInhaltsfall") | terms-de.txt 86-86 | |
(termFormat tg equivalentContentInstance "kapariho laman halimbawa") | relations-tg.txt 211-211 |
antecedent |
(=> (equivalentContentInstance ?OBJ1 ?OBJ2) (and (subsumesContentInstance ?OBJ1 ?OBJ2) (subsumesContentInstance ?OBJ2 ?OBJ1))) |
Merge.kif 4569-4573 |
|
consequent |