ContentDevelopment - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3199-3200
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12694-12695
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10736-10736
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10733-10733
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10732-10732
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10731-10731
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10734-10734
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10735-10735
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9957-9957
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10730-10730
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12693-12693	子類 ContentDevelopment and IntentionalProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13059-13059	相關的內部概念 Communication and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4535-4535	子類 AccountCreationRejected and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3240-3240	子類藝術繪畫 and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3320-3320	子類譜曲 and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16809-16809	子類電腦編程 and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4317-4317	子類 DataEntry and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10873-10873	子類設計 and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3332-3332	子類畫畫 and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3557-3557	子類輸入PIN碼 and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20662-20662	子類電影製作 and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13299-13299	子類拍攝 and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2846-2846	子類 Posting and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12868-12868	子類 Publication and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12704-12704	子類 Reading and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3275-3275	子類 Sculpting and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3309-3309	子類追踪 and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12752-12752	子類翻譯 and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4153-4153	子類更新 and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12719-12719	子類 Writing and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1177-1177
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1571-1571
No TPTP formula. May not be expressible in strict first order.	french_format.kif 855-855
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 387-387
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 390-390

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 12697-12702

例 Process and ContentDevelopment
Entity 例 Entity and ContentBearingObject 結果 Process and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18920-18926	例 Attribute and 娛樂專業 attribute Human and Attribute 性能的 occupation 是 Human 的 occupation ContentDevelopment 的 occupation 是 Human 的 occupation
No TPTP formula. May not be expressible in strict first order.	Media.kif 768-788	例 Entity and ReadOnlyMemoryDataStorage 例 Process and Manufacture 結果 Process and Entity 模態屬性 entity entity and entity 例 entity and ContentDevelopment 例 entity and DeletingData 早期何時 Process and 何時 entity 患者 entity and Entity 患者 entity and entity 持有期間眼前的未來何時 entity and entity 是 stored 在 Entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18954-18958	attribute Human and 記者 ContentDevelopment 的 occupation 是 Human 的 occupation Disseminating 的 occupation 是 Human 的 occupation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21182-21191	建築有在 Human 的專業知識 Process Entity and Entity 例 Process and ContentDevelopment agent Process and Human 結果 Process and Entity 例 Entity and 藍圖代表 Entity and Entity 例 Entity and Building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14522-14532	例 Entity and 公告 Process Physical 例 Process and ContentDevelopment 結果 Process and Entity 參照 Entity and Physical 例 Physical and SocialInteraction 早期何時 Process and 何時 Physical
No TPTP formula. May not be expressible in strict first order.	Media.kif 741-763	例 Entity and RewritableDataStorage 模態屬性 entity entity 例 entity and Writing 患者 entity and Entity 患者 entity and entity 持有期間眼前的未來何時 entity and entity 是 stored 在 Entity and 可能性模態屬性 entity entity entity 是 stored 在 Entity 例 entity and ContentDevelopment 例 entity and DeletingData 等於 entity and entity 患者 entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Media.kif 713-736	例 Entity and WriteOnceDataStorage 模態屬性 entity entity 例 entity and Writing 患者 entity and Entity 患者 entity and entity 持有期間眼前的未來何時 entity and entity 是 stored 在 Entity and 可能性模態屬性 entity entity entity 是 stored 在 Entity 例 entity and ContentDevelopment 例 entity and DeletingData 等於 entity and entity 患者 entity and entity and 可能性

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: