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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ContentBearingPhysical

Sigma KEE - ContentBearingPhysical
ContentBearingPhysical(内容承载物理)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1637-1638
No TPTP formula. May not be expressible in strict first order. Merge.kif 1306-1309
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 220-222
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 261-264
No TPTP formula. May not be expressible in strict first order. Merge.kif 1304-1304 内容承载物理物理subclass

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1280-1280 Brand内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1328-1328 有内用物体内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1316-1316 内容承载过程内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1366-1366 图标内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1384-1384 语言式表达内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1336-1336 符号串内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26136-26136 VisualContentBearingPhysical内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16944-16944
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16943-16943
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16942-16942

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20650-20650 actedIn 的 2 数量 是 内容承载物理instance
No TPTP formula. May not be expressible in strict first order. Law.kif 21-21 containsFormula 的 1 数量 是 内容承载物理instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1357-1357 包含信息 的 1 数量 是 内容承载物理instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4535-4535 内容等效实例 的 1 数量 是 内容承载物理instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4536-4536 内容等效实例 的 2 数量 是 内容承载物理instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2877-2877 experimentUpdate 的 1 数量 是 内容承载物理instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2898-2898 finalExperimentReport 的 1 数量 是 内容承载物理instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1486-1486 language 的 1 数量 是 内容承载物理instance
No TPTP formula. May not be expressible in strict first order. Law.kif 524-524 recordForAgreement 的 1 数量 是 内容承载物理instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4562-4562 包含内容实例 的 1 数量 是 内容承载物理instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4563-4563 包含内容实例 的 2 数量 是 内容承载物理instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3155-3155 abbreviatedDisplayTitle 的 2 数量 是 内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 3123-3123 alternativeTitle 的 2 数量 是 内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 3144-3144 displayTitle 的 2 数量 是 内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 4479-4479 内容等效类 的 1 数量 是 内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 4480-4480 内容等效类 的 2 数量 是 内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 3194-3194 groupingTitle 的 2 数量 是 内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 3216-3216 misspelledTitle 的 2 数量 是 内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 3184-3184 originalTitle 的 2 数量 是 内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 3173-3173 referenceTitle 的 2 数量 是 内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 3133-3133 sortingTitle 的 2 数量 是 内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 4505-4505 包含内容类 的 1 数量 是 内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 4506-4506 包含内容类 的 2 数量 是 内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 3226-3226 subtitle 的 2 数量 是 内容承载物理subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 3105-3105 titleInLanguage 的 2 数量 是 内容承载物理subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1311-1314

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3207-3212
No TPTP formula. May not be expressible in strict first order. Military.kif 32-44


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