TreeView Knowledge Base Browser - ContentBearingObject

appearance as argument number 1

(documentation ContentBearingObject ChineseLanguage "任何能表达内容的 SelfConnectedObject 内容可以是一篇 Proposition ，举例说当 ContentBearingObject 是一个 Sentence 或 Text ，又或者是抽象或有形物体像一个 Icon 、一个 Word 或一个 Phrase 。")	chinese_format.kif 1641-1643
(documentation ContentBearingObject EnglishLanguage "Any SelfConnectedObject that expresses content. This content may be a Proposition, e.g. when the ContentBearingObject is a Sentence or Text, or it may be a representation of an abstract or physical object, as with an Icon, a Word or a Phrase.")	Merge.kif 1331-1334
(documentation ContentBearingObject JapaneseLanguage "コンテンツを表現する任意の SelfConnectedObject 。　このコンテンツは Proposition である可能性がある。例：Icon、 Word、または Phrase と同様、ContentBearingObject が Sentence か Text の時、または抽象的または物理的なオブジェクトの表現である可能性がある場合。")	japanese_format.kif 225-228
(documentation ContentBearingObject SpanishLanguage "Cualquier SelfConnectedObject que expresa contenido. Puede ser una Proposition, por ejemplo cuando ContentBearingObject sea una Sentence o Text, o pueda ser una representación de un objeto abstracto o físico representation como un Icon, Word o Phrase.")	spanish_format.kif 267-270
(relatedInternalConcept ContentBearingObject containsInformation)	Merge.kif 1329-1329	ContentBearingObject ist innerlich verwandt mit enthaeltInformationen %n{nicht}
(subclass ContentBearingObject ContentBearingPhysical)	Merge.kif 1328-1328	ContentBearingObject ist eine teilkategorie von ContentBearingPhysical
(subclass ContentBearingObject CorpuscularObject)	Merge.kif 1327-1327	ContentBearingObject ist eine teilkategorie von CorpuscularObject

appearance as argument number 2

(rangeSubclass EditionFn ContentBearingObject)	Merge.kif 15556-15556	Die werte die EditionFn zurueckgibt sind teilkategorien von ContentBearingObject
(subclass Account ContentBearingObject)	ComputingBrands.kif 4540-4540	Account ist eine teilkategorie von ContentBearingObject
(subclass Compass ContentBearingObject)	Mid-level-ontology.kif 2254-2254	Compass ist eine teilkategorie von ContentBearingObject
(subclass ConstitutionDocument ContentBearingObject)	Government.kif 646-646	ConstitutionDocument ist eine teilkategorie von ContentBearingObject
(subclass Descriptor ContentBearingObject)	Mid-level-ontology.kif 24583-24583	Descriptor ist eine teilkategorie von ContentBearingObject
(subclass DescriptorPart ContentBearingObject)	Mid-level-ontology.kif 24600-24600	DescriptorPart ist eine teilkategorie von ContentBearingObject
(subclass Document ContentBearingObject)	Mid-level-ontology.kif 26419-26419	Document ist eine teilkategorie von ContentBearingObject
(subclass Feedback ContentBearingObject)	QoSontology.kif 672-672	Feedback ist eine teilkategorie von ContentBearingObject
(subclass HolidayCard ContentBearingObject)	Mid-level-ontology.kif 14894-14894	HolidayCard ist eine teilkategorie von ContentBearingObject
(subclass MultipoleDiagram ContentBearingObject)	engineering.kif 381-381	MultipoleDiagram ist eine teilkategorie von ContentBearingObject
(subclass PlayingCard ContentBearingObject)	Mid-level-ontology.kif 17152-17152	PlayingCard ist eine teilkategorie von ContentBearingObject
(subclass ProcessState ContentBearingObject)	QoSontology.kif 554-554	ProcessState ist eine teilkategorie von ContentBearingObject
(subclass Recording ContentBearingObject)	Merge.kif 1386-1386	Recording ist eine teilkategorie von ContentBearingObject
(subclass SheetMusic ContentBearingObject)	Mid-level-ontology.kif 14434-14434	SheetMusic ist eine teilkategorie von ContentBearingObject
(subclass ShipRegister ContentBearingObject)	Transportation.kif 1106-1106	ShipRegister ist eine teilkategorie von ContentBearingObject
(subclass ShipRegistration ContentBearingObject)	Transportation.kif 1087-1087	ShipRegistration ist eine teilkategorie von ContentBearingObject
(subclass Sign ContentBearingObject)	Mid-level-ontology.kif 17146-17146	Sign ist eine teilkategorie von ContentBearingObject
(subclass Text ContentBearingObject)	Merge.kif 15406-15406	Text ist eine teilkategorie von ContentBearingObject
(subclass UniformResourceIdentifier ContentBearingObject)	QoSontology.kif 1674-1674	UniformResourceIdentifier ist eine teilkategorie von ContentBearingObject
(subclass UserAccount ContentBearingObject)	QoSontology.kif 2035-2035	UserAccount ist eine teilkategorie von ContentBearingObject
(subclass VisualContentBearingObject ContentBearingObject)	Mid-level-ontology.kif 26244-26244	VisualContentBearingObject ist eine teilkategorie von ContentBearingObject
(subclass WebDocument ContentBearingObject)	engineering.kif 1363-1363	WebDocument ist eine teilkategorie von ContentBearingObject
(termFormat ChineseLanguage ContentBearingObject "有内用物体")	chinese_format.kif 833-833
(termFormat EnglishLanguage ContentBearingObject "content bearing object")	english_format.kif 868-868

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain cardCode 1 ContentBearingObject)	FinancialOntology.kif 3499-3499	Die Zahl 1 Argument von cardCode ist ein fall von ContentBearingObject %n{nicht}
(domain coding 1 ContentBearingObject)	QoSontology.kif 2200-2200	Die Zahl 1 Argument von coding ist ein fall von ContentBearingObject %n{nicht}
(domain deceptiveIdentifier 1 ContentBearingObject)	Mid-level-ontology.kif 23373-23373	Die Zahl 1 Argument von deceptiveIdentifier ist ein fall von ContentBearingObject %n{nicht}
(domain inventory 1 ContentBearingObject)	Mid-level-ontology.kif 22769-22769	Die Zahl 1 Argument von inventory ist ein fall von ContentBearingObject %n{nicht}
(domain record 1 ContentBearingObject)	Mid-level-ontology.kif 14360-14360	Die Zahl 1 Argument von record ist ein fall von ContentBearingObject %n{nicht}
(domain stored 1 ContentBearingObject)	Mid-level-ontology.kif 14386-14386	Die Zahl 1 Argument von stored ist ein fall von ContentBearingObject %n{nicht}
(domainSubclass EditionFn 1 ContentBearingObject)	Merge.kif 15554-15554	Die Zahl 1 Argument von EditionFn ist eine teilkategorie von ContentBearingObject %n{nicht}
(domainSubclass authors 2 ContentBearingObject)	Merge.kif 15503-15503	Die Zahl 2 Argument von authors ist eine teilkategorie von ContentBearingObject %n{nicht}

antecedent

(=> (and (instance ?EVENT OperationPlanning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?INFO)) (instance ?INFO OperationPlan))	MilitaryProcesses.kif 1527-1533	Wenn Process ist ein fall von OperationPlanning %n{nicht} und ContentBearingPhysical ist ein resultat von Process %n{nicht} und ContentBearingPhysical ist ein fall von ContentBearingObject %n{nicht} und ContentBearingPhysical enthaelt Informationen ueber Proposition, dann Proposition ist ein fall von OperationPlan %n{nicht}
(=> (and (instance ?EVENT Planning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject)) (exists (?PLAN) (and (instance ?PLAN Plan) (containsInformation ?CBO ?PLAN))))	Merge.kif 10874-10882	Wenn Process ist ein fall von Planning %n{nicht} und ContentBearingPhysical ist ein resultat von Process %n{nicht} und ContentBearingPhysical ist ein fall von ContentBearingObject %n{nicht}, dann es gibt Proposition um Proposition ist ein fall von Plan %n{nicht} und ContentBearingPhysical enthaelt Informationen ueber ** Proposition
(=> (and (instance ?INTERPRET Interpreting) (agent ?INTERPRET ?AGENT) (patient ?INTERPRET ?CONTENT) (instance ?CONTENT ContentBearingObject)) (exists (?PROP) (holdsDuring (EndFn (WhenFn ?INTERPRET)) (believes ?AGENT (containsInformation ?CONTENT ?PROP)))))	Merge.kif 10897-10904	Wenn Process ist ein fall von Interpreting %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 ContentBearingObject %n{nicht}, dann es gibt entity um AutonomousAgent glaubt %n{nicht}, dass Entity enthaelt Informationen ueber entity haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=> (and (instance ?PLAN OperationPlan) (containsInformation ?CBO ?PLAN) (instance ?CBO ContentBearingObject) (result ?EVENT ?CBO)) (instance ?EVENT OperationPlanning))	MilitaryProcesses.kif 1535-1541	Wenn Proposition ist ein fall von OperationPlan %n{nicht} und ContentBearingPhysical enthaelt Informationen ueber Proposition und ContentBearingPhysical ist ein fall von ContentBearingObject %n{nicht} und ContentBearingPhysical ist ein resultat von Process %n{nicht}, dann Process ist ein fall von OperationPlanning %n{nicht}
(=> (and (instance ?PLAN OperationPlan) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PLAN) (instance ?OP MilitaryOperation) (result ?OP ?CBO)) (represents ?PLAN ?OP))	MilitaryProcesses.kif 1573-1580	Wenn Proposition ist ein fall von OperationPlan %n{nicht} und ContentBearingPhysical ist ein fall von ContentBearingObject %n{nicht} und ContentBearingPhysical enthaelt Informationen ueber Proposition und Process ist ein fall von MilitaryOperation %n{nicht} und ContentBearingPhysical ist ein resultat von Process %n{nicht}, dann Proposition drueckt Process aus
(=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ))))	Merge.kif 16873-16881	Wenn Proposition ist ein fall von Plan %n{nicht} und ContentBearingPhysical ist ein fall von ContentBearingObject %n{nicht} und ContentBearingPhysical enthaelt Informationen ueber Proposition, dann es gibt PropositionNING um PropositionNING ist ein fall von Planning %n{nicht} und ContentBearingPhysical ist ein resultat von PropositionNING %n{nicht}
(=> (and (instance ?PLANNING JointOperationPlanning) (result ?PLANNING ?CBO) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?INFO)) (instance ?INFO OPLAN))	MilitaryProcesses.kif 1812-1818	Wenn Process ist ein fall von JointOperationPlanning %n{nicht} und ContentBearingPhysical ist ein resultat von Process %n{nicht} und ContentBearingPhysical ist ein fall von ContentBearingObject %n{nicht} und ContentBearingPhysical enthaelt Informationen ueber Proposition, dann Proposition ist ein fall von OPLAN %n{nicht}
(=> (and (instance ?PROP Proposition) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PROP) (instance ?COMM Communication) (patient ?COMM ?CBO)) (represents ?COMM ?PROP))	Geography.kif 3025-3032	Wenn Proposition ist ein fall von Proposition %n{nicht} und ContentBearingPhysical ist ein fall von ContentBearingObject %n{nicht} und ContentBearingPhysical enthaelt Informationen ueber Proposition und Process ist ein fall von Communication %n{nicht} und ContentBearingPhysical ist ein patient von Process %n{nicht}, dann Process drueckt Proposition aus
(=> (and (instance ?X ContentBearingObject) (attribute ?X Braille)) (exists (?H) (and (instance ?H Human) (attribute ?H Blind) (capability Interpreting agent ?H) (capability Interpreting patient ?X))))	Dining.kif 244-253	Wenn Object ist ein fall von ContentBearingObject %n{nicht} und Braille ist ein attribut von Object %n{nicht}, dann es gibt Object um Object ist ein fall von Human %n{nicht} und Blind ist ein attribut von Object %n{nicht} und Object ist faehig %n{nicht}, in der Rolle agent Interpreting zu tun und ** Object ist faehig %n{nicht}, in der Rolle patient Interpreting zu tun

consequent

(=> (attribute ?X Braille) (instance ?X ContentBearingObject))	Dining.kif 240-242	Wenn Braille ist ein attribut von Object %n{nicht}, dann ** Object ist ein fall von ContentBearingObject %n{nicht}
(=> (instance ?DA DisplayArtifact) (hasPurpose ?DA (exists (?P ?D ?I) (and (instance ?P Putting) (instance ?D Disseminating) (instance ?I ContentBearingObject) (patient ?P ?I) (patient ?D ?I) (destination ?P ?DA)))))	Mid-level-ontology.kif 3349-3359	Wenn Physical ist ein fall von DisplayArtifact %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Putting %n{nicht} und entity ist ein fall von Disseminating %n{nicht} und entity ist ein fall von ContentBearingObject %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein patient von entity %n{nicht} und entity endet an ** Physical %n{nicht} %n{nicht}
(=> (instance ?DEVELOP ContentDevelopment) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (result ?DEVELOP ?OBJ))))	Merge.kif 12721-12726	Wenn Process ist ein fall von ContentDevelopment %n{nicht}, dann es gibt Entity um Entity ist ein fall von ContentBearingObject %n{nicht} und Entity ist ein resultat von ** Process %n{nicht}
(=> (realization ?PROCESS ?PROP) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PROP))))	Merge.kif 4609-4614	Wenn Process druekt den Inhalt von Proposition aus, dann es gibt ContentBearingPhysical um ContentBearingPhysical ist ein fall von ContentBearingObject %n{nicht} und ContentBearingPhysical enthaelt Informationen ueber ** Proposition

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: