SUMO   View all facts   Glossary   Help

Entity > Abstract > Proposition > FieldOfStudy

FieldOfStudy
subject			fact

FieldOfStudy	documentation An academic or applied discipline with recognized experts and with a core of accepted theory or practice. Note that FieldOfStudy is a subclass of Proposition, because a FieldOfStudy is understood to be a body of abstract, informational content, with varying degrees of certainty attached to each element of this content
	is a kind of Proposition
Proposition	has axiom (=> (instance ?SENTENCE Sentence) (exists (?PROP) (and (instance ?PROP Proposition) (containsInformation ?SENTENCE ?PROP))))
	is second domain of containsInformation
	is second domain of realization
Abstract	is disjoint from Physical
Entity	is first domain of documentation
	is first domain of element
	is first domain of equal
	is first domain of IdentityFn
	is first domain of instance
	is first domain of relatedExternalConcept
	is first domain of relatedInternalConcept