"An Ontology" Company Country Mathematician Location Conjecture University Publication Government Claim Paper Province Journal Theorem Organization Book City Date Person Region was_edited_by was_claimed_by edited was_related_to was_born_in was_born_on proved appeared_in taught was_a_friend_of was_by was_proven_by studied_under was_conjectured_by wrote corresponded_with published was_female was_child_of carried married claimed worked_for died_on was_published_by was_parent_of employed conjectured