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

KB Term:  Term intersection
English Word: 

Sigma KEE - ContentBearingPhysical
ContentBearingPhysical

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


(subclass ContentBearingPhysical Physical) Merge.kif 1394-1394
(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 1396-1399

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


(subclass ContentBearingProcess ContentBearingPhysical) Merge.kif 1406-1406
(subclass ContentBearingObject ContentBearingPhysical) Merge.kif 1418-1418
(subclass SymbolicString ContentBearingPhysical) Merge.kif 1426-1426
(subclass Icon ContentBearingPhysical) Merge.kif 1468-1468
(subclass LinguisticExpression ContentBearingPhysical) Merge.kif 1486-1486
(subclass VisualContentBearingPhysical ContentBearingPhysical) Merge.kif 16148-16148
(subclass Brand ContentBearingPhysical) Hotel.kif 1288-1288
(termFormat EnglishLanguage ContentBearingPhysical "content bearing physical") domainEnglishFormat.kif 16944-16944
(termFormat ChineseTraditionalLanguage ContentBearingPhysical "內容承載物理") domainEnglishFormat.kif 16945-16945
(termFormat ChineseLanguage ContentBearingPhysical "内容承载物理") domainEnglishFormat.kif 16946-16946

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


(domain containsInformation 1 ContentBearingPhysical) Merge.kif 1446-1446
(domain containsFormula 1 ContentBearingPhysical) Merge.kif 1456-1456
(domain language 1 ContentBearingPhysical) Merge.kif 1588-1588
(domainSubclass equivalentContentClass 1 ContentBearingPhysical) Merge.kif 4607-4607
(domainSubclass equivalentContentClass 2 ContentBearingPhysical) Merge.kif 4608-4608
(domainSubclass subsumesContentClass 1 ContentBearingPhysical) Merge.kif 4633-4633
(domainSubclass subsumesContentClass 2 ContentBearingPhysical) Merge.kif 4634-4634
(domain equivalentContentInstance 1 ContentBearingPhysical) Merge.kif 4663-4663
(domain equivalentContentInstance 2 ContentBearingPhysical) Merge.kif 4664-4664
(domain subsumesContentInstance 1 ContentBearingPhysical) Merge.kif 4690-4690
(domain subsumesContentInstance 2 ContentBearingPhysical) Merge.kif 4691-4691
(domainSubclass titles 2 ContentBearingPhysical) Mid-level-ontology.kif 16313-16313
(domain actedIn 2 ContentBearingPhysical) Mid-level-ontology.kif 22989-22989
(domain recordForAgreement 1 ContentBearingPhysical) Law.kif 482-482
(domainSubclass titleInLanguage 2 ContentBearingPhysical) Media.kif 3034-3034
(domainSubclass alternativeTitle 2 ContentBearingPhysical) Media.kif 3052-3052
(domainSubclass sortingTitle 2 ContentBearingPhysical) Media.kif 3062-3062
(domainSubclass displayTitle 2 ContentBearingPhysical) Media.kif 3073-3073
(domainSubclass abbreviatedDisplayTitle 2 ContentBearingPhysical) Media.kif 3084-3084
(domainSubclass referenceTitle 2 ContentBearingPhysical) Media.kif 3102-3102
(domainSubclass originalTitle 2 ContentBearingPhysical) Media.kif 3113-3113
(domainSubclass groupingTitle 2 ContentBearingPhysical) Media.kif 3123-3123
(domainSubclass misspelledTitle 2 ContentBearingPhysical) Media.kif 3145-3145
(domainSubclass subtitle 2 ContentBearingPhysical) Media.kif 3155-3155
(domainSubclass translatedTitle 2 ContentBearingPhysical) Media.kif 3180-3180

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?OBJ ContentBearingPhysical)
    (exists (?THING)
        (represents ?OBJ ?THING)))		 Merge.kif 1401-1404
(=>
    (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 12332-12348

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


(=>
    (and
        (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
        (instance ?PRODUCT ?PRODUCTTYPE)
        (member ?OBJ ?PRODUCT))
    (instance ?OBJ ContentBearingPhysical))		 Media.kif 3136-3141
(=>
    (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


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