The latest advancements in hardware, software, and cyberware technologies have made it possible to develop intelligent systems that use sensors, detectors, mining, reasoning, inference, exploration, heuristics, etc. to generate and aggregate knowledge that had not been designed and embedded by the designers and implementers of these systems. What is the (science philosophical) status of this run-time obtained, (maybe system-independent and decontextualized, therefore partly or fully shareable) formal knowledge (not big data!)? This is in the background of the principal question: If epistemology is the theory of scientific knowledge, and gnoseology is the theory of human general knowledge, what is the science philosophical theory that investigates, describes, categorizes, justifies and validates the knowledge possessed, obtained, explored, mined, inferred, and produced and exploited in any way by intelligent systems (e.g. social-cyber-physical systems)? Actually, what is the current state of investigating the ontological, "epistemology-like", methodological and/or axiological characteristics of this knowledge?