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 15532-15532	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 2261-2261	Compass ist eine teilkategorie von ContentBearingObject
(subclass ConstitutionDocument ContentBearingObject)	Government.kif 682-682	ConstitutionDocument ist eine teilkategorie von ContentBearingObject
(subclass Descriptor ContentBearingObject)	Mid-level-ontology.kif 24525-24525	Descriptor ist eine teilkategorie von ContentBearingObject
(subclass DescriptorPart ContentBearingObject)	Mid-level-ontology.kif 24542-24542	DescriptorPart ist eine teilkategorie von ContentBearingObject
(subclass Document ContentBearingObject)	Mid-level-ontology.kif 26374-26374	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 14866-14866	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 17124-17124	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 14406-14406	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 17118-17118	Sign ist eine teilkategorie von ContentBearingObject
(subclass Text ContentBearingObject)	Merge.kif 15382-15382	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 26199-26199	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 23320-23320	Die Zahl 1 Argument von deceptiveIdentifier ist ein fall von ContentBearingObject %n{nicht}
(domain inventory 1 ContentBearingObject)	Mid-level-ontology.kif 22716-22716	Die Zahl 1 Argument von inventory ist ein fall von ContentBearingObject %n{nicht}
(domain record 1 ContentBearingObject)	Mid-level-ontology.kif 14332-14332	Die Zahl 1 Argument von record ist ein fall von ContentBearingObject %n{nicht}
(domain stored 1 ContentBearingObject)	Mid-level-ontology.kif 14358-14358	Die Zahl 1 Argument von stored ist ein fall von ContentBearingObject %n{nicht}
(domainSubclass EditionFn 1 ContentBearingObject)	Merge.kif 15530-15530	Die Zahl 1 Argument von EditionFn ist eine teilkategorie von ContentBearingObject %n{nicht}
(domainSubclass authors 2 ContentBearingObject)	Merge.kif 15479-15479	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 10862-10870	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 10885-10892	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 16824-16832	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 3356-3366	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 12697-12702	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 4608-4613	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: