| appearance as argument number 1 |
|
| (documentation subsumesContentClass ChineseLanguage "这是个联系两个 ContentBearingPhysical 子类别的 BinaryPredicate，(subsumesContentClass ?CLASS1 ?CLASS2) 的意思是由 ?CLASS1 的每一个实例所表达的内容，也由 ?CLASS2 的每一个实例表达。例如： 一首诗和这首诗的一节或一本书和这本书的一章的关系。 注：这是 ContentBearingObject 的子类别之间的关系， 而不是实例之间的关系。如果要联系实例时，可以用 Predicate subsumesContentInstance。也要注意 我们在很多情况下都需要用 subsumesContentClass is needed in many cases. 例如： 圣经的国王詹姆斯版本和它的创世记书之间的关系， 这个关系适用于此版本的每个副本，而不仅仅是单一的实例。") | chinese_format.kif 2181-2187 | |
| (documentation subsumesContentClass EnglishLanguage "A BinaryPredicate that relates two subclasses of ContentBearingPhysical. (subsumesContentClass ?CLASS1 ?CLASS2) means that the content expressed by each instance of ?CLASS2 is also expressed by each instance of ?CLASS1. Examples include the relationship between a poem and one of its stanzas or between a book and one of its chapters. Note that this is a relation between subclasses of ContentBearingObject, rather than instances. If one wants to relate instances, the Predicate subsumesContentInstance can be used. Note that subsumesContentClass is needed in many cases. Consider, for example, the relation between the King James edition of the Bible and its Book of Genesis. This relation holds for every copy of this edition and not just for a single instance.") | Merge.kif 4522-4533 | |
| (documentation subsumesContentClass JapaneseLanguage "BinaryPredicate は、 ContentBearingPhysical の２つのサブクラスを関連付ける 。(subsumesContentClass ?CLASS1 ?CLASS2) とは、?CLASS2の各インスタンスによって表されるコンテンツも ?CLASS1の各インスタンスによっ て表される。 例：詩とそのスタンザの１つまたは本とその章の間の関係。 注１：これはインスタンスでは なく、ContentBearingObject のサブクラス間の関係である。インスタンスを関連付けたい場合は、 Predicate subsumesContentInstance を使用できる。 注２：多くの場合、subsumesContentClass が必要である。例えば、聖書のジェームズ王版とその創世記との関係を考えてみる。このリレーションシップは、 単一のインスタンスだけでなく、このエディションのすべてのコピーに対して当てはまる。") | japanese_format.kif 842-849 | |
| (domainSubclass subsumesContentClass 1 ContentBearingPhysical) | Merge.kif 4519-4519 | subsumesContentClass の数値 1 引数は ContentBearingPhysical のsubclass では %n |
| (domainSubclass subsumesContentClass 2 ContentBearingPhysical) | Merge.kif 4520-4520 | subsumesContentClass の数値 2 引数は ContentBearingPhysical のsubclass では %n |
| (instance subsumesContentClass BinaryPredicate) | Merge.kif 4517-4517 | subsumesContentClass は 2進述語 の instance では %n |
| (instance subsumesContentClass PartialOrderingRelation) | Merge.kif 4518-4518 | subsumesContentClass は 半順序関係 の instance では %n |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage subsumesContentClass "%1 %n{doesn't} 包含 %2 的内容") | chinese_format.kif 239-239 | |
| (format EnglishLanguage subsumesContentClass "%1 %n{doesn't} subsume%p{s} the content of %2") | english_format.kif 240-240 | |
| (format FrenchLanguage subsumesContentClass "%1 %n{ne} classe %n{pas} le contenu de %2") | french_format.kif 137-137 | |
| (format ItalianLanguage subsumesContentClass "%1 sussume il contenuto di %2") | relations-it.txt 282-282 | |
| (format JapaneseLanguage subsumesContentClass "%1 は %2 の コンテンツを subsume%p{s} %n{ない}") | japanese_format.kif 1968-1968 | |
| (format PortugueseLanguage subsumesContentClass "%1 %n{nao} subsume %n o conteudo de %2") | portuguese_format.kif 89-89 | |
| (format de subsumesContentClass "%1 fasst das Inhalt von %2 zusammen") | relations-de.txt 308-308 | |
| (format hi subsumesContentClass "%1 %2 ke tatva ko samaavishhTa karataa hai") | relations-hindi.txt 319-319 | |
| (format ro subsumesContentClass "%1 %n{nu} subsume%t{subsumeazã} conþinutul lui %2") | relations-ro.kif 156-156 | |
| (format sv subsumesContentClass "%1 tar %n{inte} ut innehållet i %2") | relations-sv.txt 142-142 | |
| (format tg subsumesContentClass "%1 nasaklaw content of %2") | relations-tg.txt 474-474 | |
| (relatedInternalConcept subsumesContentInstance subsumesContentClass) | Merge.kif 4578-4578 | subsumesContentInstance は subsumesContentClass に internally 関連して %n |
| (termFormat ChineseLanguage subsumesContentClass "包含内容类") | chinese_format.kif 240-240 | |
| (termFormat ChineseTraditionalLanguage subsumesContentClass "包含內容類") | domainEnglishFormat.kif 55817-55817 | |
| (termFormat EnglishLanguage subsumesContentClass "subsumes content class") | domainEnglishFormat.kif 55816-55816 | |
| (termFormat de subsumesContentClass "fasstInhaltsKategorieZusammen") | terms-de.txt 99-99 |
| antecedent |
|
|
| (=> (and (subsumesContentClass ?CLASS1 ?CLASS2) (subsumesContentClass ?CLASS2 ?CLASS1)) (equivalentContentClass ?CLASS1 ?CLASS2)) |
Merge.kif 4505-4509 |
|
| (=> (subsumesContentClass ?CLASS1 ?CLASS2) (forall (?OBJ2 ?INFO) (=> (and (instance ?OBJ2 ?CLASS2) (containsInformation ?OBJ2 ?INFO)) (exists (?OBJ1) (and (instance ?OBJ1 ?CLASS1) (containsInformation ?OBJ1 ?INFO)))))) |
Merge.kif 4535-4545 |
|
| consequent |
|
|
| (=> (equal (EditionFn ?TEXT1 ?NUMBER) ?TEXT2) (subsumesContentClass ?TEXT1 ?TEXT2)) |
Merge.kif 15534-15536 |
|
| (=> (equal (PeriodicalIssueFn ?PERIODICAL ?NUMBER) ?ISSUE) (subsumesContentClass ?PERIODICAL ?ISSUE)) |
Mid-level-ontology.kif 14669-14671 | |
| (=> (equal (SeriesVolumeFn ?SERIES ?NUMBER) ?VOLUME) (subsumesContentClass ?SERIES ?VOLUME)) |
Mid-level-ontology.kif 14640-14642 | |
| (=> (equivalentContentClass ?CLASS1 ?CLASS2) (and (subsumesContentClass ?CLASS1 ?CLASS2) (subsumesContentClass ?CLASS2 ?CLASS1))) |
Merge.kif 4511-4515 |
|
| appearance as argument number 0 |
|
|
| (subsumesContentClass ChristianBible NewTestament) | Mid-level-ontology.kif 7865-7865 | ChristianBible は NewTestament の コンテンツを subsumes %n{ない} |
| (subsumesContentClass ChristianBible OldTestament) | Mid-level-ontology.kif 7866-7866 | ChristianBible は OldTestament の コンテンツを subsumes %n{ない} |
| (subsumesContentClass NewTestament ChristianGospel) | Mid-level-ontology.kif 7880-7880 | NewTestament は ChristianGospel の コンテンツを subsumes %n{ない} |
|
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