TreeView Knowledge Base Browser - 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	子類內容承載物理 and Physical

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1280-1280	子類 Brand and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1328-1328	子類 ContentBearingObject and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1316-1316	子類內容承載過程 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1379-1379	子類 Icon and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1397-1397	子類 LinguisticExpression and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1336-1336	子類 SymbolicString and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26205-26205	子類 VisualContentBearingPhysical and 內容承載物理
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 20747-20747	域 actedIn, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1367-1367	域 containsFormula, 1 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1357-1357	域包含信息, 1 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4549-4549	域等效內容實例, 1 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4550-4550	域等效內容實例, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2671-2671	域 experimentUpdate, 1 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2692-2692	域 finalExperimentReport, 1 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1499-1499	域 language, 1 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Law.kif 501-501	域 recordForAgreement, 1 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4576-4576	域包含內容實例, 1 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4577-4577	域包含內容實例, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Media.kif 3155-3155	域子類 abbreviatedDisplayTitle, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Media.kif 3123-3123	域子類 alternativeTitle, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Media.kif 3144-3144	域子類 displayTitle, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4493-4493	域子類等效內容類, 1 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4494-4494	域子類等效內容類, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Media.kif 3194-3194	域子類 groupingTitle, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Media.kif 3216-3216	域子類 misspelledTitle, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Media.kif 3184-3184	域子類 originalTitle, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Media.kif 3173-3173	域子類 referenceTitle, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Media.kif 3133-3133	域子類 sortingTitle, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4519-4519	域子類包含內容類, 1 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4520-4520	域子類包含內容類, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Media.kif 3226-3226	域子類 subtitle, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Media.kif 3105-3105	域子類 titleInLanguage, 2 and 內容承載物理

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 12046-12062	例 Process and 決定 agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and Set 結果 Process and 內容承載物理例內容承載物理 and 內容承載物理 containsFormula 內容承載物理 and 持有期間未來何時 Process and entity 元件 entity and Entity 例 entity and IntentionalProcess agent entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1311-1314	例 Entity and 內容承載物理 Entity 代表 Entity and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3207-3212	SymbolicString 是在 Language 的 title 對於 Class 的例子例 Collection and Class 會員 Physical and Collection 例 Physical and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Military.kif 32-44	例 Proposition and Plan 例 Physical and Process 代表 Proposition and Physical PropositionNING 內容承載物理例 PropositionNING and Planning 例內容承載物理 and 內容承載物理包含信息內容承載物理 and Proposition 結果 PropositionNING and 內容承載物理早期開始何時 PropositionNING and 開始何時 Physical 早期結束何時 PropositionNING and 結束何時 Physical

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: