ContentDevelopment(content development)![]() ![]() ![]() ![]() | ![]() | 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 12826-12827 | |
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 10731-10731 | |
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. | pictureList.kif 10729-10729 | |
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 10733-10733 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9956-9956 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10728-10728 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12825-12825 | 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 13191-13191 | Communication is internally related to content development |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4530-4530 | Account creation rejected is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3683-3683 | Art painting is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3763-3763 | Composing music is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16962-16962 | Computer programming is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4312-4312 | Data entry is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10989-10989 | Designing is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3775-3775 | Drawing is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3575-3575 | Entering a PIN is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22280-22280 | Film making is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14639-14639 | Photographing is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2846-2846 | Posting is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13000-13000 | Publication is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12836-12836 | Reading is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3718-3718 | Sculpting is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3752-3752 | Tracing is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12884-12884 | Translating is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4171-4171 | Update is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12851-12851 | Writing is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1177-1177 | Writing is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1571-1571 | Writing is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 855-855 | Writing is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 387-387 | Writing is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 390-390 | Writing is a subclass of content development |
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 12829-12834 |
|
consequent |
![]() |
![]() |
![]() |