++PhiloSURFical : |
THEORY |
VERIFIED-BY-FACT ONLY TEMPORAL-ENTITY |
PREDICTS-FACT ONLY TEMPORAL-ENTITY |
EXISTS-IN-AREA ONLY SCIENTIFIC-DISCIPLINE |
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)))