Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContentBearingPhysical
ContentBearingPhysical

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


(documentation ContentBearingPhysical ChineseLanguage "任何能表达内容的 ObjectProcess 。这包括有 PropositionObject ,像一本书和同样有 PropositionManualSignLanguage。") Merge.kif 2052-2053
(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 2047-2050
(documentation ContentBearingPhysical JapaneseLanguage "コンテンツを表現する任意の Object または Process 。 これは、本のように、Proposition を含む Object をカバーする。 同様に、 ManualSignLanguage も Proposition を含む。") Merge.kif 2055-2057
(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.") Merge.kif 2059-2062
(subclass ContentBearingPhysical Physical) Merge.kif 2045-2045 ContentBearingPhysical物理subclass では %n

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


(subclass Brand ContentBearingPhysical) Hotel.kif 1227-1227 BrandContentBearingPhysicalsubclass では %n
(subclass ContentBearingObject ContentBearingPhysical) Merge.kif 2090-2090 コンテンツベアリングオブジェクトContentBearingPhysicalsubclass では %n
(subclass ContentBearingProcess ContentBearingPhysical) Merge.kif 2069-2069 ContentBearingProcessContentBearingPhysicalsubclass では %n
(subclass Icon ContentBearingPhysical) Merge.kif 2177-2177 アイコンContentBearingPhysicalsubclass では %n
(subclass LinguisticExpression ContentBearingPhysical) Merge.kif 2215-2215 言語表現ContentBearingPhysicalsubclass では %n
(subclass VisualContentBearingPhysical ContentBearingPhysical) Mid-level-ontology.kif 24194-24194 VisualContentBearingPhysicalContentBearingPhysicalsubclass では %n
(termFormat ChineseLanguage ContentBearingPhysical "内容承载物理") domainEnglishFormat.kif 16873-16873 termFormat ChineseLanguage, ContentBearingPhysical and "内容承载物理"
(termFormat ChineseTraditionalLanguage ContentBearingPhysical "內容承載物理") domainEnglishFormat.kif 16872-16872 termFormat ChineseTraditionalLanguage, ContentBearingPhysical and "內容承載物理"
(termFormat EnglishLanguage ContentBearingPhysical "content bearing physical") domainEnglishFormat.kif 16871-16871 termFormat EnglishLanguage, ContentBearingPhysical and "content bearing physical"

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


(domain actedIn 2 ContentBearingPhysical) Mid-level-ontology.kif 18404-18404 actedIn の数値 2 引数は ContentBearingPhysicalinstance では %n
(domain containsFormula 1 ContentBearingPhysical) Law.kif 21-21 containsFormula の数値 1 引数は ContentBearingPhysicalinstance では %n
(domain containsInformation 1 ContentBearingPhysical) Merge.kif 2155-2155 containsInformation の数値 1 引数は ContentBearingPhysicalinstance では %n
(domain equivalentContentInstance 1 ContentBearingPhysical) Merge.kif 6749-6749 equivalentContentInstance の数値 1 引数は ContentBearingPhysicalinstance では %n
(domain equivalentContentInstance 2 ContentBearingPhysical) Merge.kif 6750-6750 equivalentContentInstance の数値 2 引数は ContentBearingPhysicalinstance では %n
(domain experimentUpdate 1 ContentBearingPhysical) UXExperimentalTerms.kif 2878-2878 experimentUpdate の数値 1 引数は ContentBearingPhysicalinstance では %n
(domain finalExperimentReport 1 ContentBearingPhysical) UXExperimentalTerms.kif 2899-2899 finalExperimentReport の数値 1 引数は ContentBearingPhysicalinstance では %n
(domain recordForAgreement 1 ContentBearingPhysical) Law.kif 545-545 recordForAgreement の数値 1 引数は ContentBearingPhysicalinstance では %n
(domain subsumesContentInstance 1 ContentBearingPhysical) Merge.kif 6783-6783 subsumesContentInstance の数値 1 引数は ContentBearingPhysicalinstance では %n
(domain subsumesContentInstance 2 ContentBearingPhysical) Merge.kif 6784-6784 subsumesContentInstance の数値 2 引数は ContentBearingPhysicalinstance では %n
(domainSubclass abbreviatedDisplayTitle 2 ContentBearingPhysical) Media.kif 3091-3091 abbreviatedDisplayTitle の数値 2 引数は ContentBearingPhysicalsubclass では %n
(domainSubclass alternativeTitle 2 ContentBearingPhysical) Media.kif 3059-3059 alternativeTitle の数値 2 引数は ContentBearingPhysicalsubclass では %n
(domainSubclass displayTitle 2 ContentBearingPhysical) Media.kif 3080-3080 displayTitle の数値 2 引数は ContentBearingPhysicalsubclass では %n
(domainSubclass equivalentContentClass 1 ContentBearingPhysical) Merge.kif 6668-6668 equivalentContentClass の数値 1 引数は ContentBearingPhysicalsubclass では %n
(domainSubclass equivalentContentClass 2 ContentBearingPhysical) Merge.kif 6669-6669 equivalentContentClass の数値 2 引数は ContentBearingPhysicalsubclass では %n
(domainSubclass groupingTitle 2 ContentBearingPhysical) Media.kif 3130-3130 groupingTitle の数値 2 引数は ContentBearingPhysicalsubclass では %n
(domainSubclass misspelledTitle 2 ContentBearingPhysical) Media.kif 3152-3152 misspelledTitle の数値 2 引数は ContentBearingPhysicalsubclass では %n
(domainSubclass originalTitle 2 ContentBearingPhysical) Media.kif 3120-3120 originalTitle の数値 2 引数は ContentBearingPhysicalsubclass では %n
(domainSubclass referenceTitle 2 ContentBearingPhysical) Media.kif 3109-3109 referenceTitle の数値 2 引数は ContentBearingPhysicalsubclass では %n
(domainSubclass sortingTitle 2 ContentBearingPhysical) Media.kif 3069-3069 sortingTitle の数値 2 引数は ContentBearingPhysicalsubclass では %n
(domainSubclass subsumesContentClass 1 ContentBearingPhysical) Merge.kif 6703-6703 subsumesContentClass の数値 1 引数は ContentBearingPhysicalsubclass では %n
(domainSubclass subsumesContentClass 2 ContentBearingPhysical) Merge.kif 6704-6704 subsumesContentClass の数値 2 引数は ContentBearingPhysicalsubclass では %n
(domainSubclass subtitle 2 ContentBearingPhysical) Media.kif 3162-3162 subtitle の数値 2 引数は ContentBearingPhysicalsubclass では %n
(domainSubclass titleInLanguage 2 ContentBearingPhysical) Media.kif 3041-3041 titleInLanguage の数値 2 引数は ContentBearingPhysicalsubclass では %n
(domainSubclass titles 2 ContentBearingPhysical) Mid-level-ontology.kif 12453-12453 titles の数値 2 引数は ContentBearingPhysicalsubclass では %n

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 2064-2067

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


(=>
    (and
        (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
        (instance ?PRODUCT ?PRODUCTTYPE)
        (member ?OBJ ?PRODUCT))
    (instance ?OBJ ContentBearingPhysical))
Media.kif 3143-3148
(=>
    (and
        (instance ?PLAN Plan)
        (instance ?PROC Process)
        (represents ?PLAN ?PROC))
    (exists (?PLANNING ?CBO)
        (and
            (instance ?PLANNING Planning)
            (instance ?CBO ContentBearingPhysical)
            (containsInformation ?CBO ?PLAN)
            (result ?PLANNNG ?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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners