Class: SCIENTIFIC-THEORY

++PhiloSURFical :

•owl:Thing
        •PHILOSURFICAL-ENTITY
                •CRM-ENTITY
                        •PERSISTENT-ITEM
                                •THING
                                        •MAN-MADE-THING
                                                •CONCEPTUAL-OBJECT
                                                        •PROPOSITIONAL-CONTENT
                                                                •PRODUCT-PROPOSITION
                                                                        •PHILOSOPHICAL-IDEA
                                                                                •VIEW
                                                                                        •THEORY
                                                                                                •SCIENTIFIC-THEORY

Super Classes

THEORY
VERIFIED-BY-FACT ONLY TEMPORAL-ENTITY
PREDICTS-FACT ONLY TEMPORAL-ENTITY
EXISTS-IN-AREA ONLY SCIENTIFIC-DISCIPLINE

Abstract Syntax

Class(SCIENTIFIC-THEORY partial THEORY
                               restriction(VERIFIED-BY-FACT allValuesFrom(TEMPORAL-ENTITY))
                               restriction(PREDICTS-FACT allValuesFrom(TEMPORAL-ENTITY))
                               restriction(EXISTS-IN-AREA allValuesFrom(SCIENTIFIC-DISCIPLINE)))

Usage

Domain of

PREDICTS-FACT, VERIFIED-BY-FACT
Generated with OWLDoc