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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ContentDevelopment

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 内容制作有意图过程subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13037-13037 沟通内容制作 是 内部相关
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4535-4535 AccountCreationRejected内容制作subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3240-3240 艺术绘画内容制作subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3320-3320 谱曲内容制作subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 16787-16787 电脑编程内容制作subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4317-4317 DataEntry内容制作subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10851-10851 设计内容制作subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3332-3332 画画内容制作subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3557-3557 输入PIN码内容制作subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20663-20663 电影制作内容制作subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13300-13300 拍摄内容制作subclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2846-2846 Posting内容制作subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12846-12846 出版内容制作subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12682-12682 朗读内容制作subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3275-3275 Sculpting内容制作subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3309-3309 追踪内容制作subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12730-12730 翻译内容制作subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4153-4153 更新内容制作subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12697-12697 写作内容制作subclass
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 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