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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContentDevelopment
ContentDevelopment(content development)
more pictures...
ADP, EDP, IDP, Latinize, abbreviate, abridge, abstract, access, administrative_data_processing, adopt, affix, affixation, allegorise, allegorize, alliterate, amend, anaglyphy, anagogic, anagogical, anagrammatic, anagrammatical, animalise, animalize, animation, annotate, anonymously, anthologise, anthologize, apostrophise, apostrophize, aquatint, archaise, archaize, arrange, arrangement, arranging, asterisk, asynchronous_operation, author, automatic_data_processing, autoradiography, autotype, autotypic, autotypy, auxiliary_operation, background_processing, backgrounding, batch_processing, benday, binary_arithmetic_operation...

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 12120-12121
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10746-10746
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10743-10743
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10742-10742
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10741-10741
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10744-10744
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10745-10745
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9965-9965
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10740-10740
No TPTP formula. May not be expressible in strict first order. Merge.kif 12119-12119 Content development is a subclass of intentional process

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12463-12463 Communication is internally related to content development
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4499-4499 AccountCreationRejected is a subclass of content development
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3172-3172 Art painting is a subclass of content development
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3253-3253 Composing music is a subclass of content development
No TPTP formula. May not be expressible in strict first order. Merge.kif 16159-16159 Computer programming is a subclass of content development
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4281-4281 Data entry is a subclass of content development
No TPTP formula. May not be expressible in strict first order. Merge.kif 10458-10458 Designing is a subclass of content development
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3265-3265 Drawing is a subclass of content development
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3521-3521 Entering a PIN is a subclass of content development
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19953-19953 Film making is a subclass of content development
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12734-12734 Photographing is a subclass of content development
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2874-2874 Posting is a subclass of content development
No TPTP formula. May not be expressible in strict first order. Merge.kif 12280-12280 Publication is a subclass of content development
No TPTP formula. May not be expressible in strict first order. Merge.kif 12130-12130 Reading is a subclass of content development
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3208-3208 Sculpting is a subclass of content development
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3242-3242 Tracing is a subclass of content development
No TPTP formula. May not be expressible in strict first order. Merge.kif 12178-12178 Translating is a subclass of content development
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4068-4068 Update is a subclass of content development
No TPTP formula. May not be expressible in strict first order. Merge.kif 12145-12145 Writing is a subclass of content development
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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12123-12128

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18245-18251
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 18279-18283
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20455-20464
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13962-13972
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