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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContentDevelopment
ContentDevelopment
more pictures...

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 12672-12673
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 12671-12671 子類 ContentDevelopment and IntentionalProcess

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13037-13037 相關的內部概念 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 16787-16787 子類 電腦編程 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 10851-10851 子類 設計 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 20663-20663 子類 電影製作 and ContentDevelopment
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13300-13300 子類 拍攝 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 12846-12846 子類 Publication and ContentDevelopment
No TPTP formula. May not be expressible in strict first order. Merge.kif 12682-12682 子類 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 12730-12730 子類 翻譯 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 12697-12697 子類 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 12675-12680

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18921-18927
No TPTP formula. May not be expressible in strict first order. Media.kif 768-788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18955-18959
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21183-21192
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14523-14533
No TPTP formula. May not be expressible in strict first order. Media.kif 741-763
No TPTP formula. May not be expressible in strict first order. Media.kif 713-736


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