axiom id is part of part of part_of domain of part of has part has_part inheres in inheres_in is bearer of bearer of bearer_of is realized by realized by realized_by realizes participates in participates_in has participant has_participant is concretized as concretizes is immediately preceded by immediately preceded by immediately_preceded_by immediately precedes immediately_precedes is preceded by preceded by preceded_by precedes is course of course of course_of has course has_course occurs in occurs_in has site of has_site_of begins to exist during begins_to_exist_during ceases to exist during ceases_to_exist_during s depends on s_depends_on has granular part has_granular_part has granular process part has_granular_process_part is granular part of granular part of granular_part_of is granular part of process granular part of process granular_part_of_process is aggregate of aggregate of aggregate_of is fiat part of fiat part of fiat_part_of has participant beginning to exist has_participant_beginning_to_exist has participant ceasing to exist has_participant_ceasing_to_exist is function of function of function_of is quality of quality of quality_of is role of role of role_of is located in located in located_in is located at located at located_at g depends on g_depends_on has function has_function has quality has_quality has role has_role