Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ContentBearingObject
ContentBearingObject

appearance as argument number 1
-------------------------


(subclass ContentBearingObject CorpuscularObject) Merge.kif 1417-1417
(subclass ContentBearingObject ContentBearingPhysical) Merge.kif 1418-1418
(relatedInternalConcept ContentBearingObject containsInformation) Merge.kif 1419-1419
(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 1421-1424

appearance as argument number 2
-------------------------


(subclass Recording ContentBearingObject) Merge.kif 1475-1475
(subclass Text ContentBearingObject) Merge.kif 15652-15652
(rangeSubclass EditionFn ContentBearingObject) Merge.kif 15794-15794
(subclass VisualContentBearingObject ContentBearingObject) Merge.kif 16141-16141
(subclass Compass ContentBearingObject) Mid-level-ontology.kif 2860-2860
(subclass SheetMusic ContentBearingObject) Mid-level-ontology.kif 16012-16012
(subclass HolidayCard ContentBearingObject) Mid-level-ontology.kif 16474-16474
(subclass Sign ContentBearingObject) Mid-level-ontology.kif 18737-18737
(subclass PlayingCard ContentBearingObject) Mid-level-ontology.kif 18743-18743
(subclass Descriptor ContentBearingObject) Mid-level-ontology.kif 26825-26825
(subclass DescriptorPart ContentBearingObject) Mid-level-ontology.kif 26842-26842
(subclass Document ContentBearingObject) Mid-level-ontology.kif 28943-28943
(subclass Account ContentBearingObject) ComputingBrands.kif 4451-4451
(subclass ConstitutionDocument ContentBearingObject) Government.kif 646-646
(subclass ProcessState ContentBearingObject) QoSontology.kif 648-648
(subclass Feedback ContentBearingObject) QoSontology.kif 767-767
(subclass UniformResourceIdentifier ContentBearingObject) QoSontology.kif 1798-1798
(subclass UserAccount ContentBearingObject) QoSontology.kif 2159-2159
(subclass ShipRegistration ContentBearingObject) Transportation.kif 1087-1087
(subclass ShipRegister ContentBearingObject) Transportation.kif 1106-1106
(subclass GreetingCard ContentBearingObject) Offers.kif 223-223
(instance Appellation ContentBearingObject) Society.kif 1300-1300
(subclass MultipoleDiagram ContentBearingObject) engineering.kif 373-373
(subclass WebDocument ContentBearingObject) engineering.kif 1788-1788
(termFormat EnglishLanguage ContentBearingObject "content bearing object") english_format.kif 872-872

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domainSubclass authors 2 ContentBearingObject) Merge.kif 15743-15743
(domainSubclass EditionFn 1 ContentBearingObject) Merge.kif 15792-15792
(domain record 1 ContentBearingObject) Mid-level-ontology.kif 15937-15937
(domain dataStored 1 ContentBearingObject) Mid-level-ontology.kif 15961-15961
(domain inventory 1 ContentBearingObject) Mid-level-ontology.kif 24995-24995
(domain deceptiveIdentifier 1 ContentBearingObject) Mid-level-ontology.kif 25639-25639
(domain cardCode 1 ContentBearingObject) FinancialOntology.kif 3557-3557
(domain coding 1 ContentBearingObject) QoSontology.kif 2324-2324
(domain mimeType 1 ContentBearingObject) QoSontology.kif 2375-2375

antecedent
-------------------------


(=>
    (and
        (instance ?EVENT Planning)
        (result ?EVENT ?CBO)
        (instance ?CBO ContentBearingObject))
    (exists (?PLAN)
        (and
            (instance ?PLAN Plan)
            (containsInformation ?CBO ?PLAN))))		 Merge.kif 11087-11095
(=>
    (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 11110-11122
(=>
    (and
        (instance ?PLAN Plan)
        (instance ?OBJ ContentBearingObject)
        (containsInformation ?OBJ ?PLAN))
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?OBJ))))		 Merge.kif 17155-17163
(=>
    (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
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PROP)
        (instance ?COMM Communication)
        (patient ?COMM ?CBO))
    (represents ?COMM ?PROP))		 Geography.kif 4457-4464
(=>
    (and
        (instance ?EVENT OperationPlanning)
        (result ?EVENT ?CBO)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?INFO))
    (instance ?INFO OperationPlan))		 MilitaryProcesses.kif 1549-1555
(=>
    (and
        (instance ?PLAN OperationPlan)
        (containsInformation ?CBO ?PLAN)
        (instance ?CBO ContentBearingObject)
        (result ?EVENT ?CBO))
    (instance ?EVENT OperationPlanning))		 MilitaryProcesses.kif 1557-1563
(=>
    (and
        (instance ?PLAN OperationPlan)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PLAN)
        (instance ?OP MilitaryOperation)
        (result ?OP ?CBO))
    (represents ?PLAN ?OP))		 MilitaryProcesses.kif 1595-1602
(=>
    (and
        (instance ?PLANNING JointOperationPlanning)
        (result ?PLANNING ?CBO)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?INFO))
    (instance ?INFO OPLAN))		 MilitaryProcesses.kif 1834-1840
(=>
    (instance ?CBO ContentBearingObject)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?CBO ?PROP))))		 TravelPolicies.kif 95-100
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PROP)
        (instance ?ER ExpenseReport)
        (patient ?ER ?CBO))
    (represents ?ER ?PROP))		 TravelPolicies.kif 614-621

consequent
-------------------------


(=>
    (realization ?PROCESS ?PROP)
    (exists (?OBJ)
        (and
            (instance ?OBJ ContentBearingObject)
            (containsInformation ?OBJ ?PROP))))		 Merge.kif 4722-4727
(=>
    (instance ?DEVELOP ContentDevelopment)
    (exists (?OBJ)
        (and
            (instance ?OBJ ContentBearingObject)
            (result ?DEVELOP ?OBJ))))		 Merge.kif 12965-12970
(=>
    (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 3968-3978
(=>
    (attribute ?X Braille)
    (instance ?X ContentBearingObject))		 Dining.kif 240-242


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners