subsumesContentInstance - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - subsumesContentInstance

subsumesContentInstance

appearance as argument number 1

(documentation subsumesContentInstance ChineseLanguage "这是个联系两个 ContentBearingPhysical 实例的 BinaryPredicate，(subsumesContentInstance ?OBJ1 ?OBJ2) 的意思是 ?OBJ2 所表达的内容是 ?OBJ1所表达内容的一部分。一首手写的诗和这首诗的一节之间的关系。注：这是个实例和实例之间的关系而非 Class 的关系。如果要表达 Class 之间的关系，例如一份含知识版权的作品和这个作品的一部分之间的关系，因该用 subsumesContentClass 关系。")	chinese_format.kif 2193-2197
(documentation subsumesContentInstance EnglishLanguage "A BinaryPredicate relating two instances of ContentBearingPhysical. (subsumesContentInstance ?OBJ1 ?OBJ2) means that the content expressed by ?OBJ2 is part of the content expressed by ?OBJ1. An example is the relationship between a handwritten poem and one of its stanzas. Note that this is a relation between instances, rather than Classes. If one wants to assert a content relationship between Classes, e.g. between the version of an intellectual work and a part of that work, the relation subsumesContentClass should be used.")	Merge.kif 4581-4588
(documentation subsumesContentInstance JapaneseLanguage "BinaryPredicate は、 ContentBearingPhysical の２つのインスタンスに関連する。(subsumesContentInstance ?OBJ1 ?OBJ2) とは、?OBJ2によって表されるコンテンツが?OBJ1によって表されるコンテンツの一部であることを意味する。例として、手書きの詩とそのスタンザの関係である。　注：これは、Classes ではなく、インスタンス間の関係である。　Classes 間のコンテンツリレーションシップをアサートする場合、（例えば、知的な仕事のバージョンとその作業の一部の間など）関係　subsumesContentClass を使用する必要がある。")	japanese_format.kif 856-861
(domain subsumesContentInstance 1 ContentBearingPhysical)	Merge.kif 4577-4577	The number 1 argument of subsumes content instance is an instance of content bearing physical
(domain subsumesContentInstance 2 ContentBearingPhysical)	Merge.kif 4578-4578	The number 2 argument of subsumes content instance is an instance of content bearing physical
(instance subsumesContentInstance BinaryPredicate)	Merge.kif 4575-4575	subsumes content instance is an instance of binary predicate
(instance subsumesContentInstance PartialOrderingRelation)	Merge.kif 4576-4576	subsumes content instance is an instance of partial ordering relation
(relatedInternalConcept subsumesContentInstance subsumesContentClass)	Merge.kif 4579-4579	subsumes content instance is internally related to subsumes content class

appearance as argument number 2

(format ChineseLanguage subsumesContentInstance "%1 %n{doesn't} 包含 %2 的内容")	chinese_format.kif 241-241
(format EnglishLanguage subsumesContentInstance "%1 %n{doesn't} subsume%p{s} the content of %2")	english_format.kif 242-242
(format FrenchLanguage subsumesContentInstance "%1 %n{ne} classe %n{pas} le contenu de %2")	french_format.kif 138-138
(format ItalianLanguage subsumesContentInstance "%1 sussume il contenuto di %2")	relations-it.txt 283-283
(format JapaneseLanguage subsumesContentInstance "%1 は %2 のコンテンツを subsume%p{s} %n{ない}")	japanese_format.kif 1969-1969
(format PortugueseLanguage subsumesContentInstance "%1 %n{nao} subsume %n o conteudo de %2")	portuguese_format.kif 90-90
(format de subsumesContentInstance "%1 fasst das Inhalt von %2 zusammen")	relations-de.txt 311-311
(format hi subsumesContentInstance "%1 %2 ke tatva ko samaavishhta karataa hai")	relations-hindi.txt 320-320
(format ro subsumesContentInstance "%1 %n{nu} subsume%t{subsumeazã} conþinutul lui %2")	relations-ro.kif 157-157
(format sv subsumesContentInstance "%1 tar %n{inte} ut innehållet i %2")	relations-sv.txt 143-143
(format tg subsumesContentInstance "%1 ay nasaklaw ang nilalaman ng %2")	relations-tg.txt 475-475
(termFormat ChineseLanguage subsumesContentInstance "包含内容实例")	chinese_format.kif 242-242
(termFormat ChineseTraditionalLanguage subsumesContentInstance "包含內容實例")	domainEnglishFormat.kif 55863-55863
(termFormat EnglishLanguage subsumesContentInstance "subsumes content instance")	domainEnglishFormat.kif 55862-55862
(termFormat de subsumesContentInstance "fasstInhaltsFallZusammen")	terms-de.txt 100-100

antecedent

(=> (and (instance ?ARTICLE1 Article) (instance ?BOOK Book) (subsumesContentInstance ?BOOK ?ARTICLE1)) (exists (?ARTICLE2) (and (instance ?ARTICLE2 Article) (not (equal ?ARTICLE2 ?ARTICLE1)) (subsumesContentInstance ?BOOK ?ARTICLE2))))	Mid-level-ontology.kif 14900-14909	If a content bearing physical is an instance of article and another content bearing physical is an instance of book and the other content bearing physical subsumes the content of the content bearing physical, then there exists a third content bearing physical such that the third content bearing physical is an instance of article and the third content bearing physical is not equal to the content bearing physical and the other content bearing physical subsumes the content of the third content bearing physical
(=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FactualText) (authors ?AGENT ?CLASS) (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula)) (believes ?AGENT ?CONTENT))	Merge.kif 15446-15453	If a content bearing physical is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of factual text and a cognitive agent is the author of the kind of content bearing object and the content bearing physical subsumes the content of a formula and the formula is an instance of formula, then the cognitive agent believes the formula
(=> (and (subsumesContentInstance ?OBJ1 ?OBJ2) (containsInformation ?OBJ2 ?INFO)) (containsInformation ?OBJ1 ?INFO))	Merge.kif 4590-4594	If a content bearing physical subsumes the content of another content bearing physical and the other content bearing physical contains information a proposition, then the content bearing physical contains information the proposition
(=> (and (subsumesContentInstance ?OBJ1 ?OBJ2) (subsumesContentInstance ?OBJ2 ?OBJ1)) (equivalentContentInstance ?OBJ1 ?OBJ2))	Merge.kif 4563-4567	If a content bearing physical subsumes the content of another content bearing physical and the other content bearing physical subsumes the content of the content bearing physical, then the content bearing physical is equivalent to the other content bearing physical

consequent

(=> (and (instance ?ARTICLE1 Article) (instance ?BOOK Book) (subsumesContentInstance ?BOOK ?ARTICLE1)) (exists (?ARTICLE2) (and (instance ?ARTICLE2 Article) (not (equal ?ARTICLE2 ?ARTICLE1)) (subsumesContentInstance ?BOOK ?ARTICLE2))))	Mid-level-ontology.kif 14900-14909	If a content bearing physical is an instance of article and another content bearing physical is an instance of book and the other content bearing physical subsumes the content of the content bearing physical, then there exists a third content bearing physical such that the third content bearing physical is an instance of article and the third content bearing physical is not equal to the content bearing physical and the other content bearing physical subsumes the content of the third content bearing physical
(=> (and (instance ?REGISTRATION ShipRegistration) (instance ?SHIP Ship) (possesses ?SHIP ?REGISTRATION) (instance ?AREA GeopoliticalArea) (flagState ?SHIP ?AREA)) (subsumesContentInstance (ShipRegisterFn ?AREA) ?REGISTRATION))	Transportation.kif 1097-1104	If an object is an instance of ship registration and an agent is an instance of ship and the agent possesses the object and a geopolitical area is an instance of geopolitical area and the geopolitical area is a flag state of the agent, then the ship register of the geopolitical area subsumes the content of the object
(=> (and (instance ?SHIP Ship) (instance ?AREA GeopoliticalArea) (member ?SHIP (MerchantMarineFn ?AREA))) (exists (?REGISTRATION) (and (instance ?REGISTRATION ShipRegistration) (possesses ?SHIP ?REGISTRATION) (subsumesContentInstance (ShipRegisterFn ?AREA) ?REGISTRATION))))	Transportation.kif 1157-1166	If an agent is an instance of ship and a geopolitical area is an instance of geopolitical area and the agent is a member of the merchant marine of the geopolitical area, then there exists an object such that the object is an instance of ship registration and the agent possesses the object and the ship register of the geopolitical area subsumes the content of the object
(=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FictionalText) (authors ?AGENT ?CLASS)) (exists (?CONTENT) (and (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula) (not (believes ?AGENT ?CONTENT)))))	Merge.kif 15477-15486	If a content bearing physical is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of fictional text and a cognitive agent is the author of the kind of content bearing object, then there exists a formula such that the content bearing physical subsumes the content of the formula and the formula is an instance of formula and the cognitive agent doesn't believe the formula
(=> (equivalentContentInstance ?OBJ1 ?OBJ2) (and (subsumesContentInstance ?OBJ1 ?OBJ2) (subsumesContentInstance ?OBJ2 ?OBJ1)))	Merge.kif 4569-4573	If a content bearing physical is equivalent to another content bearing physical, then the content bearing physical subsumes the content of the other content bearing physical and the other content bearing physical subsumes the content of the content bearing physical
(=> (instance ?CHAPTER Chapter) (exists (?BOOK) (and (instance ?BOOK Book) (subsumesContentInstance ?BOOK ?CHAPTER))))	Mid-level-ontology.kif 14916-14921	If a content bearing physical is an instance of chapter, then there exists another content bearing physical such that the other content bearing physical is an instance of book and the other content bearing physical subsumes the content of the content bearing physical
(=> (instance ?E Elaborating) (exists (?L ?EP ?LP) (and (instance ?L LinguisticCommunication) (earlier ?L ?E) (containsInformation ?E ?EP) (containsInformation ?L ?LP) (subsumesContentInstance ?EP ?LP))))	Mid-level-ontology.kif 29943-29951	If a time interval is an instance of elaborating, then there exist another time interval, the time intervalP and the other time intervalP such that the other time interval is an instance of linguistic communication and the other time interval happens earlier than the time interval and the time interval contains information the time intervalP and the other time interval contains information the other time intervalP and the time intervalP subsumes the content of the other time intervalP
(=> (instance ?FILE SoftwareFile) (exists (?PROGRAM ?SUBPROGRAM) (and (instance ?PROGRAM ComputerProgram) (subsumesContentInstance ?PROGRAM ?SUBPROGRAM) (containsInformation ?FILE ?SUBPROGRAM))))	Media.kif 1534-1540	If a content bearing physical is an instance of software file, then there exist another content bearing physical and a proposition such that the other content bearing physical is an instance of computer program and the other content bearing physical subsumes the content of the proposition and the content bearing physical contains information the proposition
(=> (instance ?P Prompting) (exists (?H ?A) (and (destination ?P ?H) (agent ?P ?A) (desires ?A (exists (?LC) (and (instance ?LC LinguisticCommunication) (agent ?LC ?H) (earlier ?P ?LC) (subsumesContentInstance ?LC ?P)))))))	Mid-level-ontology.kif 29994-30006	If a process is an instance of prompting, then there exist an entity and a cognitive agent such that the process ends up at the entity and the cognitive agent is an agent of the process and the cognitive agent desires there exists another entity such that the other entity is an instance of linguistic communication and the entity is an agent of the other entity and the process happens earlier than the other entity and the other entity subsumes the content of the process
(=> (instance ?PAPER Newspaper) (exists (?REPORT) (and (instance ?REPORT Report) (subsumesContentInstance ?PAPER ?REPORT))))	Mid-level-ontology.kif 15000-15005	If a content bearing physical is an instance of newspaper, then there exists another content bearing physical such that the other content bearing physical is an instance of report and the content bearing physical subsumes the content of the other content bearing physical
(=> (instance ?S MotionPictureScene) (exists (?M) (and (instance ?M MotionPicture) (subsumesContentInstance ?M ?S))))	Mid-level-ontology.kif 14794-14799	If a content bearing physical is an instance of motion picture scene, then there exists another content bearing physical such that the other content bearing physical is an instance of motion picture and the other content bearing physical subsumes the content of the content bearing physical
(=> (instance ?SERIES Series) (exists (?BOOK1 ?BOOK2) (and (instance ?BOOK1 Book) (instance ?BOOK2 Book) (subsumesContentInstance ?SERIES ?BOOK1) (subsumesContentInstance ?SERIES ?BOOK2) (not (equal ?BOOK1 ?BOOK2)))))	Mid-level-ontology.kif 14868-14876	If a content bearing physical is an instance of series, then there exist another content bearing physical and a third content bearing physical such that the other content bearing physical is an instance of book and the third content bearing physical is an instance of book and the content bearing physical subsumes the content of the other content bearing physical and the content bearing physical subsumes the content of the third content bearing physical and the other content bearing physical is not equal to the third content bearing physical
(=> (instance ?SHOT MotionPictureShot) (exists (?MOVIE) (and (instance ?MOVIE MotionPicture) (subsumesContentInstance ?MOVIE ?SHOT))))	Mid-level-ontology.kif 14770-14775	If a content bearing physical is an instance of motion picture shot, then there exists another content bearing physical such that the other content bearing physical is an instance of motion picture and the other content bearing physical subsumes the content of the content bearing physical
(=> (instance ?TEXT Summary) (exists (?TEXT2) (and (instance ?TEXT2 Text) (subsumesContentInstance ?TEXT2 ?TEXT))))	Merge.kif 15636-15641	If a content bearing physical is an instance of summary, then there exists the content bearing physical2 such that the content bearing physical2 is an instance of text and the content bearing physical2 subsumes the content of the content bearing physical
(=> (subProposition ?PROP1 ?PROP2) (forall (?OBJ1 ?OBJ2) (=> (and (containsInformation ?OBJ1 ?PROP1) (containsInformation ?OBJ2 ?PROP2)) (subsumesContentInstance ?OBJ2 ?OBJ1))))	Merge.kif 4646-4653	If a proposition is a sub-proposition of another proposition, then for all a content bearing physical and another content bearing physical if the content bearing physical contains information the proposition and the other content bearing physical contains information the other proposition, then the other content bearing physical subsumes the content of the content bearing physical

appearance as argument number 0

(subsumesContentInstance ImmigrationAndNationalityAct-US ImmigrationAndNationalityAct-Section219-US)

Government.kif 2367-2367

Immigration and nationality act-US subsumes the content of immigration and nationality act- section219-US

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