TreeView Knowledge Base Browser - ContentBearingPhysical

appearance as argument number 1

(documentation ContentBearingPhysical ChineseLanguage "任何能表达内容的 Object 或 Process 。这包括有 Proposition 的 Object ，像一本书和同样有 Proposition 的 ManualSignLanguage。")	chinese_format.kif 1637-1638
(documentation ContentBearingPhysical EnglishLanguage "Any Object or Process that expresses content. This covers Objects that contain a Proposition, such as a book, as well as ManualSignLanguage, which may similarly contain a Proposition.")	Merge.kif 1306-1309
(documentation ContentBearingPhysical JapaneseLanguage "コンテンツを表現する任意の Object または Process 。これは、本のように、Proposition を含む Object をカバーする。　同様に、 ManualSignLanguage も Proposition を含む。")	japanese_format.kif 220-222
(documentation ContentBearingPhysical SpanishLanguage "Un Object o Process que expresa contenido. Esto cubre los Objects que contienen una Proposition, como un libro, así como un ManualSignLanguage, por lo que puede contener una Proposition.")	spanish_format.kif 261-264
(subclass ContentBearingPhysical Physical)	Merge.kif 1304-1304	ContentBearingPhysical ist eine teilkategorie von Physical

appearance as argument number 2

(subclass Brand ContentBearingPhysical)	Hotel.kif 1280-1280	Brand ist eine teilkategorie von ContentBearingPhysical
(subclass ContentBearingObject ContentBearingPhysical)	Merge.kif 1328-1328	ContentBearingObject ist eine teilkategorie von ContentBearingPhysical
(subclass ContentBearingProcess ContentBearingPhysical)	Merge.kif 1316-1316	ContentBearingProcess ist eine teilkategorie von ContentBearingPhysical
(subclass Icon ContentBearingPhysical)	Merge.kif 1379-1379	Icon ist eine teilkategorie von ContentBearingPhysical
(subclass LinguisticExpression ContentBearingPhysical)	Merge.kif 1397-1397	LinguisticExpression ist eine teilkategorie von ContentBearingPhysical
(subclass SymbolicString ContentBearingPhysical)	Merge.kif 1336-1336	SymbolicString ist eine teilkategorie von ContentBearingPhysical
(subclass VisualContentBearingPhysical ContentBearingPhysical)	Mid-level-ontology.kif 26205-26205	VisualContentBearingPhysical ist eine teilkategorie von ContentBearingPhysical
(termFormat ChineseLanguage ContentBearingPhysical "内容承载物理")	domainEnglishFormat.kif 16944-16944
(termFormat ChineseTraditionalLanguage ContentBearingPhysical "內容承載物理")	domainEnglishFormat.kif 16943-16943
(termFormat EnglishLanguage ContentBearingPhysical "content bearing physical")	domainEnglishFormat.kif 16942-16942

appearance as argument number 3

(domain actedIn 2 ContentBearingPhysical)	Mid-level-ontology.kif 20747-20747	Die Zahl 2 Argument von actedIn ist ein fall von ContentBearingPhysical %n{nicht}
(domain containsFormula 1 ContentBearingPhysical)	Merge.kif 1367-1367	Die Zahl 1 Argument von containsFormula ist ein fall von ContentBearingPhysical %n{nicht}
(domain containsInformation 1 ContentBearingPhysical)	Merge.kif 1357-1357	Die Zahl 1 Argument von enthaeltInformationen ist ein fall von ContentBearingPhysical %n{nicht}
(domain equivalentContentInstance 1 ContentBearingPhysical)	Merge.kif 4549-4549	Die Zahl 1 Argument von gleichwertigeInhaltsfall ist ein fall von ContentBearingPhysical %n{nicht}
(domain equivalentContentInstance 2 ContentBearingPhysical)	Merge.kif 4550-4550	Die Zahl 2 Argument von gleichwertigeInhaltsfall ist ein fall von ContentBearingPhysical %n{nicht}
(domain experimentUpdate 1 ContentBearingPhysical)	UXExperimentalTerms.kif 2671-2671	Die Zahl 1 Argument von experimentUpdate ist ein fall von ContentBearingPhysical %n{nicht}
(domain finalExperimentReport 1 ContentBearingPhysical)	UXExperimentalTerms.kif 2692-2692	Die Zahl 1 Argument von finalExperimentReport ist ein fall von ContentBearingPhysical %n{nicht}
(domain language 1 ContentBearingPhysical)	Merge.kif 1499-1499	Die Zahl 1 Argument von language ist ein fall von ContentBearingPhysical %n{nicht}
(domain recordForAgreement 1 ContentBearingPhysical)	Law.kif 501-501	Die Zahl 1 Argument von recordForAgreement ist ein fall von ContentBearingPhysical %n{nicht}
(domain subsumesContentInstance 1 ContentBearingPhysical)	Merge.kif 4576-4576	Die Zahl 1 Argument von fasstInhaltsFallZusammen ist ein fall von ContentBearingPhysical %n{nicht}
(domain subsumesContentInstance 2 ContentBearingPhysical)	Merge.kif 4577-4577	Die Zahl 2 Argument von fasstInhaltsFallZusammen ist ein fall von ContentBearingPhysical %n{nicht}
(domainSubclass abbreviatedDisplayTitle 2 ContentBearingPhysical)	Media.kif 3155-3155	Die Zahl 2 Argument von abbreviatedDisplayTitle ist eine teilkategorie von ContentBearingPhysical %n{nicht}
(domainSubclass alternativeTitle 2 ContentBearingPhysical)	Media.kif 3123-3123	Die Zahl 2 Argument von alternativeTitle ist eine teilkategorie von ContentBearingPhysical %n{nicht}
(domainSubclass displayTitle 2 ContentBearingPhysical)	Media.kif 3144-3144	Die Zahl 2 Argument von displayTitle ist eine teilkategorie von ContentBearingPhysical %n{nicht}
(domainSubclass equivalentContentClass 1 ContentBearingPhysical)	Merge.kif 4493-4493	Die Zahl 1 Argument von gleichwertigeInhaltskategorie ist eine teilkategorie von ContentBearingPhysical %n{nicht}
(domainSubclass equivalentContentClass 2 ContentBearingPhysical)	Merge.kif 4494-4494	Die Zahl 2 Argument von gleichwertigeInhaltskategorie ist eine teilkategorie von ContentBearingPhysical %n{nicht}
(domainSubclass groupingTitle 2 ContentBearingPhysical)	Media.kif 3194-3194	Die Zahl 2 Argument von groupingTitle ist eine teilkategorie von ContentBearingPhysical %n{nicht}
(domainSubclass misspelledTitle 2 ContentBearingPhysical)	Media.kif 3216-3216	Die Zahl 2 Argument von misspelledTitle ist eine teilkategorie von ContentBearingPhysical %n{nicht}
(domainSubclass originalTitle 2 ContentBearingPhysical)	Media.kif 3184-3184	Die Zahl 2 Argument von originalTitle ist eine teilkategorie von ContentBearingPhysical %n{nicht}
(domainSubclass referenceTitle 2 ContentBearingPhysical)	Media.kif 3173-3173	Die Zahl 2 Argument von referenceTitle ist eine teilkategorie von ContentBearingPhysical %n{nicht}
(domainSubclass sortingTitle 2 ContentBearingPhysical)	Media.kif 3133-3133	Die Zahl 2 Argument von sortingTitle ist eine teilkategorie von ContentBearingPhysical %n{nicht}
(domainSubclass subsumesContentClass 1 ContentBearingPhysical)	Merge.kif 4519-4519	Die Zahl 1 Argument von fasstInhaltsKategorieZusammen ist eine teilkategorie von ContentBearingPhysical %n{nicht}
(domainSubclass subsumesContentClass 2 ContentBearingPhysical)	Merge.kif 4520-4520	Die Zahl 2 Argument von fasstInhaltsKategorieZusammen ist eine teilkategorie von ContentBearingPhysical %n{nicht}
(domainSubclass subtitle 2 ContentBearingPhysical)	Media.kif 3226-3226	Die Zahl 2 Argument von subtitle ist eine teilkategorie von ContentBearingPhysical %n{nicht}
(domainSubclass titleInLanguage 2 ContentBearingPhysical)	Media.kif 3105-3105	Die Zahl 2 Argument von titleInLanguage ist eine teilkategorie von ContentBearingPhysical %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?A) (patient ?DECIDE ?S) (instance ?S Set) (result ?DECIDE ?X) (instance ?X ContentBearingPhysical)) (containsFormula ?X (holdsDuring (FutureFn (WhenFn ?DECIDE)) (exists (?M) (and (element ?M ?S) (instance ?M IntentionalProcess) (agent ?M ?A))))))	Merge.kif 12046-12062	Wenn Process ist ein fall von Deciding %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Set %n{nicht} und ContentBearingPhysical ist ein resultat von Process %n{nicht} und ContentBearingPhysical ist ein fall von ContentBearingPhysical %n{nicht}, dann containsFormula ContentBearingPhysical and es gibt entity um entity ist ein element von Entity %n{nicht} und entity ist ein fall von IntentionalProcess %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} haelt waehrend nach die zeit des Bestehens von Process %n{nicht}
(=> (instance ?OBJ ContentBearingPhysical) (exists (?THING) (represents ?OBJ ?THING)))	Merge.kif 1311-1314	Wenn Entity ist ein fall von ContentBearingPhysical %n{nicht}, dann es gibt Entity um Entity drueckt Entity aus

consequent

(=> (and (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (instance ?PRODUCT ?PRODUCTTYPE) (member ?OBJ ?PRODUCT)) (instance ?OBJ ContentBearingPhysical))	Media.kif 3207-3212	Wenn groupingTitle SymbolicString, Class and Language und Collection ist ein fall von Class %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht}, dann ** Physical ist ein fall von ContentBearingPhysical %n{nicht}
(=> (and (instance ?PLAN Plan) (instance ?PROC Process) (represents ?PLAN ?PROC)) (exists (?PLANNING ?CBO) (and (instance ?PLANNING Planning) (instance ?CBO ContentBearingPhysical) (containsInformation ?CBO ?PLAN) (result ?PLANNING ?CBO) (earlier (BeginFn (WhenFn ?PLANNING)) (BeginFn (WhenFn ?PROC))) (earlier (EndFn (WhenFn ?PLANNING)) (EndFn (WhenFn ?PROC))))))	Military.kif 32-44	Wenn Proposition ist ein fall von Plan %n{nicht} und Physical ist ein fall von Process %n{nicht} und Proposition drueckt Physical aus, dann es gibt PropositionNING und ContentBearingPhysical um PropositionNING ist ein fall von Planning %n{nicht} und ContentBearingPhysical ist ein fall von ContentBearingPhysical %n{nicht} und ContentBearingPhysical enthaelt Informationen ueber Proposition und ContentBearingPhysical ist ein resultat von PropositionNING %n{nicht} und der anfang von die zeit des Bestehens von PropositionNING geschieht frueh als der anfang von die zeit des Bestehens von Physical %n{nicht} und das ende von die zeit des Bestehens von PropositionNING geschieht frueh als das ende von die zeit des Bestehens von ** Physical %n{nicht}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: