_:b665385775 . _:b667765670 . _:b665385774 . _:b665858176 . _:b665385773 . _:b667765668 . _:b665460799 . _:b665502636 . "Because part_of is transitive, inheres in is a sub-relation of inheres in part of" . _:b665460798 . _:b665385776 . _:b662816928 . _:b665385774 . _:b663275396 . _:b665387796 . _:b662817909 . _:b663275395 . _:b663275394 . _:b667747597 . _:b665502633 . _:b666499214 _:b666499213 . _:b663275393 . _:b665502634 . _:b663964703 . _:b665502635 . _:b663276771 . _:b666499216 _:b666499215 . _:b663276772 . _:b663964702 . _:b667747596 . _:b663963691 . _:b665858175 . _:b665388806 _:b665388805 . _:b665387793 . _:b254664561 . _:b665758767 . _:b663964701 . _:b665388804 _:b665388803 . _:b663276771 . _:b665803106 _:b665803105 . _:b665387794 . _:b665385776 . _:b663966748 . _:b667747598 . _:b254664563 . _:b665858173 . _:b665387795 . _:b663966746 . _:b663276773 . _:b663964701 . _:b663954887 . _:b667765671 . _:b665858175 . _:b663962640 . _:b667765669 . _:b663276773 . _:b663964702 . _:b665858174 . _:b663964703 . _:b663963693 . _:b665803108 _:b665803107 . _:b665858173 . _:b663962637 . _:b254664562 . . _:b663962638 . _:b663962639 . _:b665801088 . _:b663954889 . _:b665385774 . _:b665385773 . _:b665459791 . _:b665459789 . _:b665758770 . _:b665385775 . _:b665758769 . _:b665758768 . _:b665758768 _:b665758767 . _:b665418502 . _:b665418501 . _:b665418500 . _:b666498206 . _:b665758770 _:b665758769 . _:b665418499 . . _:b663966748 . _:b665417492 . _:b665417490 . _:b663966747 . _:b663954890 . _:b665387795 . _:b663966746 . _:b254664564 . _:b254664564 . _:b663966745 . _:b665387793 . _:b665759780 . _:b663275396 . _:b665100151 . _:b665759778 . _:b663275394 . _:b665100149 . _:b665801086 . _:b666498204 _:b666498203 . _:b665759780 . _:b254664561 . _:b665801085 . _:b665388806 . _:b254664562 . _:b665388805 . _:b663962638 . _:b254664563 . _:b665801087 . _:b666498206 _:b666498205 . _:b665388804 . _:b663962637 . _:b663964704 . _:b665388803 . _:b665100151 _:b665100150 . . _:b663962639 . _:b663962638 _:b663962637 . _:b665858174 . _:b663962640 . _:b663962640 _:b663962639 . _:b665803105 . _:b665100149 _:b665100148 . _:b665858173 . _:b665460798 . _:b665803107 . _:b665460799 . _:b665386786 . _:b665757760 . _:b665858175 . _:b665386784 . _:b663954889 . _:b667764661 . _:b663966748 . _:b667764660 . _:b667764659 . _:b667746589 . _:b254664564 . _:b665803106 . _:b667764658 . _:b254664562 . _:b667746588 . _:b665502635 . _:b665801088 _:b665801087 . _:b663954888 . _:b667746587 . _:b667746586 . _:b665502633 . _:b666499215 . _:b665389815 . _:b666499214 . _:b663955900 . _:b665460801 _:b665460800 . _:b663955898 . _:b665389814 . _:b666499213 . _:b667746589 . _:b665389813 . _:b667764658 . _:b667746587 . _:b665459791 . _:b667764660 . _:b665757757 . _:b665804115 . _:b665757758 . _:b663964704 _:b663964703 . _:b665385776 . _:b665757759 . _:b665386784 _:b665386783 . _:b663276774 . _:b665418502 . _:b665760790 . _:b667764659 . _:b663954887 . _:b665418499 . _:b665760788 . _:b665802095 . _:b667764661 _:b667764660 . _:b666498203 . _:b665386786 _:b665386785 . _:b665460801 . _:b665804117 . _:b667764659 _:b667764658 . _:b663275396 . "inheres in part of" . _:b665418501 . _:b666499216 . _:b667765671 _:b667765670 . _:b665804116 . _:b663966748 . . _:b665389816 . _:b665760790 . _:b666498205 . _:b665804117 . _:b665459789 . _:b665804118 . _:b665760789 . . _:b665460801 . _:b667765669 _:b667765668 . _:b665760790 _:b665760789 . _:b665760788 . _:b665760788 _:b665760787 . _:b665502636 . _:b666498204 . _:b665418502 . _:b665760787 . _:b665502634 . _:b665418500 . _:b665389815 . _:b667747598 . _:b665418500 . _:b663964702 . _:b665459788 . _:b663966745 . _:b663965738 _:b663965737 . _:b666498203 . _:b665418499 . _:b663965736 _:b663965735 . _:b663964701 . _:b663966746 . _:b665802098 . _:b665389813 . _:b667747596 . _:b663275393 . . _:b665459790 . _:b665804115 . _:b665802097 . _:b663966747 . _:b666498205 . _:b665418501 . _:b667764661 . _:b663964703 . _:b665802096 . _:b665101161 . _:b663275395 . _:b665101159 . _:b663276774 _:b663276773 . _:b663276772 _:b663276771 . _:b665460800 . _:b663964704 . _:b663966747 . _:b665460799 . _:b663275394 . _:b665418500 . _:b663955900 . _:b663966745 . _:b665418501 . _:b663955899 . _:b665460799 _:b665460798 . _:b665418502 . _:b665460800 . _:b663955898 . _:b663955900 . _:b663955897 . _:b667746588 . _:b667402026 . _:b667746589 . _:b663966745 . _:b667402028 . _:b665418499 . _:b663955897 . _:b665388806 . _:b663966747 . _:b663955898 . _:b665759779 . _:b663276774 . _:b667402027 . _:b663955899 . _:b665858176 . _:b667746586 . _:b663276773 . _:b665385773 . _:b665759777 . _:b667746587 . _:b663276772 . _:b665385774 . _:b665801086 . _:b663276771 . _:b665385775 . _:b665858176 _:b665858175 . _:b663966746 . _:b665803108 . _:b665100151 . _:b667747599 . _:b665802095 . _:b667747597 . _:b665100150 . _:b665100149 . _:b667402026 . _:b665100148 . _:b254664564 . _:b254664563 . _:b665388804 . _:b663964703 . _:b665389814 . _:b254664562 . _:b665501626 . _:b665388803 . _:b254664561 . _:b665389813 . _:b665501624 . _:b665759780 . _:b663964701 . _:b665501623 . _:b665757759 . _:b667402028 . _:b665388805 . _:b665801088 . _:b665389815 . _:b665101159 . _:b666498204 . _:b665757757 . _:b665101158 . _:b666498205 . _:b663961630 . _:b666498206 . _:b665385775 . _:b663961628 . _:b665759777 . _:b665389816 . _:b665759778 . _:b665802097 . _:b665385773 . _:b665859183 . _:b665759779 . _:b663964702 _:b663964701 . _:b665858176 . _:b666498203 . _:b667403061 . _:b667746589 . _:b665501626 _:b665501625 . _:b663963694 . _:b665758767 . _:b665501624 _:b665501623 . _:b665501626 . _:b663963693 . _:b665385776 . _:b663963692 . _:b665501625 . _:b667403060 . _:b665501624 . _:b663963691 . _:b665804118 . _:b665460799 . _:b665101161 . _:b665460798 . _:b667403062 . _:b665804117 . _:b665101160 . _:b665802096 . _:b665804116 . _:b662816929 . _:b663955897 . _:b665802097 . _:b665804115 . _:b662816928 . . _:b665802098 . _:b663955899 . _:b665502636 . _:b663965735 . _:b665502635 . _:b665100150 . _:b665502634 . _:b665502633 . _:b663955898 . _:b665100148 . . _:b665384764 _:b665384763 . _:b665802096 _:b665802095 . _:b665386786 . _:b665386785 . _:b665384766 . _:b665386784 . _:b665384765 . _:b667764658 . _:b662817909 _:b662817908 . _:b665384764 . _:b665384766 _:b665384765 . _:b665802098 _:b665802097 . _:b665384763 . _:b665859183 . _:b665802098 . _:b665758769 . _:b667403063 . _:b665802096 . _:b662817907 _:b662817906 . _:b665859184 . _:b665802095 . _:b665859185 . _:b665859185 . _:b663962639 . _:b665859186 . _:b667402027 _:b667402026 . _:b667402029 . _:b667764660 . _:b665459789 _:b665459788 . _:b665387796 _:b665387795 . _:b663962637 . _:b667402029 _:b667402028 . _:b665858174 _:b665858173 . _:b663965738 . _:b665459791 _:b665459790 . _:b665758768 . . _:b665801088 . _:b663965737 . _:b665387794 _:b665387793 . _:b663965736 . _:b665760790 . _:b663275396 . _:b665502633 . _:b665388804 . _:b662817908 . _:b663955900 . "q inheres in part of w if and only if there exists some p such that q inheres in p and p part of w." . _:b663961630 . _:b665388805 . _:b662817909 . _:b663961630 . _:b665387796 . _:b665388806 . _:b665502635 . _:b665387794 . _:b663961629 . _:b665859186 . _:b663961628 . _:b665801088 . _:b663275393 . _:b665859185 . _:b663961627 . _:b663275394 . _:b665859184 . _:b663275395 . _:b662817906 . _:b665502634 . . _:b665388803 . _:b667747597 _:b667747596 . _:b663962640 . _:b665758770 . _:b662817907 . _:b663962638 . _:b663954888 . "characteristic of part of"@en . _:b667747599 _:b667747598 . _:b663954889 . _:b663955900 _:b663955899 . _:b665501625 . _:b663954890 . "inheres in part of"@en . _:b665389816 . _:b665501624 . _:b663954887 . _:b663955898 _:b663955897 . _:b665389813 . _:b663963692 . _:b667746586 . _:b665385774 _:b665385773 . _:b665389814 . _:b663963691 . _:b665858176 . _:b665389815 . _:b665417492 . _:b667746588 . _:b665859183 . _:b665417491 . _:b663963693 . _:b665417490 . _:b665417489 . _:b667746587 . _:b663963692 . _:b663963693 . _:b663276774 . _:b663963694 . _:b665501623 . _:b662816928 . _:b663276772 . _:b665460798 . _:b663961628 . _:b667747599 . _:b663961629 . _:b665501626 . _:b667747598 . _:b663961630 . _:b667747597 . _:b665384764 . _:b667747596 . _:b662816927 . _:b663963691 . _:b665384763 . _:b662816926 . _:b665459791 . _:b665384765 . _:b663961627 . _:b665459790 . _:b663275395 . _:b665757760 _:b665757759 . _:b667402028 . _:b665459789 . _:b667402029 . _:b665459788 . _:b663275393 . _:b665803108 . _:b665385776 _:b665385775 . _:b665803106 . _:b663965737 . _:b665802095 . _:b665759780 . _:b665759779 . _:b665459788 . _:b665760787 . _:b662816926 . _:b665386783 . _:b665759778 . _:b665459789 . _:b665386785 . _:b665757759 . _:b662816927 . _:b667402026 . _:b665759777 . _:b665459790 . _:b665757758 . _:b667402027 . _:b663965736 . _:b665417492 . _:b665459791 . _:b665757757 . _:b665389816 . _:b665388803 . _:b665389814 . _:b665859183 . _:b665386784 . _:b665501623 . _:b665760788 . _:b665760789 . _:b665760787 . _:b666498206 . _:b665388806 . _:b666498205 . _:b665388804 . _:b663961628 . _:b666499216 . _:b665388805 . _:b665760789 . _:b666498204 . _:b663961627 . _:b665384766 . _:b666498203 . _:b663965735 . _:b665501625 . _:b663961629 . _:b667765669 . _:b665802097 . _:b667765668 . _:b665460801 . _:b665502636 . _:b665386783 . _:b665460800 . _:b663963694 . _:b663963692 . _:b667765670 . _:b665758767 . _:b665417491 . _:b665101161 _:b665101160 . _:b665802096 . _:b665417489 . _:b665804118 . _:b667765671 . _:b665859185 . _:b665804118 . _:b667765670 . _:b665804116 . _:b667765669 . _:b665502634 _:b665502633 . _:b665759778 _:b665759777 . _:b667765668 . _:b662816928 . _:b662816929 . _:b665502636 _:b665502635 . _:b662817909 . _:b665859184 . _:b667746586 . _:b662817908 . _:b663276772 . _:b662816927 . _:b662817907 . _:b666499213 . _:b663276773 . _:b665387796 . _:b662817906 . _:b663963694 . _:b665101159 _:b665101158 . _:b666499214 . _:b663276774 . _:b665387795 . _:b665759780 _:b665759779 . _:b665802098 . _:b666499215 . _:b665387794 . _:b665101160 . _:b662816926 . _:b665387796 . _:b666499214 . _:b665757758 _:b665757757 . _:b665804118 _:b665804117 . _:b665387793 . _:b665804116 _:b665804115 . _:b667746588 . _:b666499213 . _:b663276771 . _:b666499215 . _:b667403062 . _:b662816929 . _:b667403060 . _:b665859186 . _:b666499215 . _:b665803108 . _:b666499213 . _:b665801086 _:b665801085 . _:b665101159 . . _:b665758768 . _:b665417489 . "Chris Mungall" . _:b663965736 . _:b662817906 . _:b665758769 . _:b663964702 . _:b665757760 . _:b663965738 . _:b667747596 . _:b665803105 . _:b663965737 . _:b665758770 . _:b665417491 . _:b665101158 . _:b665803106 . _:b663965738 . _:b667747597 . _:b665386783 . _:b665803107 . _:b667747598 . _:b667747599 . _:b665386786 . _:b665803108 . _:b665100149 . _:b662817908 . _:b665417490 . _:b665803107 . _:b663965735 . _:b665803106 . _:b665801087 . _:b665758769 . _:b665417492 _:b665417491 . _:b665803105 . _:b665801086 . _:b665100148 . _:b663955899 . _:b665386783 . _:b666498206 . _:b665801085 . _:b666498204 . _:b665100150 . _:b665417490 _:b665417489 . _:b663955897 . _:b665386785 . _:b665460800 . _:b665389816 _:b665389815 . _:b665460801 . _:b666499216 . _:b665389814 _:b665389813 . _:b663275394 _:b663275393 . _:b662816927 _:b662816926 . . _:b663964704 . "q characteristic of part of w if and only if there exists some p such that q inheres in p and p part of w." . _:b254664564 _:b254664563 . _:b665757758 . _:b663966748 _:b663966747 . _:b665858174 . _:b667403063 . _:b665459790 . _:b667403061 . _:b254664562 _:b254664561 . _:b665760788 . _:b665384763 . _:b663961628 _:b663961627 . _:b667765671 . _:b667402029 . _:b665760789 . _:b665459788 . _:b663275396 _:b663275395 . _:b665100148 . _:b665760790 . _:b667402028 . _:b665100149 . _:b254664563 . _:b665804116 . _:b667402027 . "Because part_of is transitive, inheres in is a sub-relation of characteristic of part of" . _:b665100150 . _:b663961630 _:b663961629 . _:b665801085 . _:b667403060 . _:b667402026 . _:b665804115 . _:b665100151 . _:b254664561 . _:b665801086 . _:b663966746 _:b663966745 . _:b667403061 . _:b665100151 . _:b665757760 . _:b667403062 . _:b665804117 . _:b665801087 . _:b665384765 . _:b665760787 . _:b667403063 . . _:b663964704 . _:b663963692 _:b663963691 . _:b665384766 . _:b665384764 . _:b665387793 . _:b663963694 _:b663963693 . _:b665387795 . _:b662816929 _:b662816928 . _:b665758767 . _:b662816926 . _:b665386784 . _:b665757760 . _:b665418502 _:b665418501 . _:b665386785 . _:b662816927 . _:b665418500 _:b665418499 . _:b665386786 . _:b665387794 . _:b665803107 . _:b662817909 . _:b665859184 _:b665859183 . _:b665858173 . _:b662817907 . _:b665101161 . _:b665858174 . _:b665803105 . _:b667764661 . _:b665858175 . _:b667764659 . _:b665501624 . _:b665859186 _:b665859185 . _:b665501625 . _:b663962639 . _:b665501626 . _:b665757758 . _:b663962638 . _:b663962637 . _:b665757757 . _:b663954887 . _:b665101160 . _:b665757759 . _:b665101161 . _:b665417492 . _:b665501623 . _:b667403063 _:b667403062 . _:b663961627 . _:b667403061 _:b667403060 . _:b663954890 _:b663954889 . _:b665759777 . _:b663954888 _:b663954887 . _:b662816929 . _:b665101158 . _:b665801087 . _:b665417489 . _:b666499216 . _:b667403063 . _:b665101159 . _:b665759779 . _:b666499214 . _:b662817906 . _:b663965738 . _:b665417490 . _:b663965736 . _:b667403062 . _:b665801085 . _:b665417491 . _:b667403061 . _:b663961629 . _:b662817908 . _:b663965735 . _:b667746589 _:b667746588 . _:b667403060 . _:b665101158 . _:b663962640 . _:b665384764 . _:b667402029 . _:b665759778 . _:b667402027 . _:b663954890 . _:b662817907 . _:b665384765 . _:b663954889 . _:b665384766 . _:b665758770 . _:b663954888 . _:b665758768 . _:b665859186 . _:b663965737 . _:b665859184 . _:b667746587 _:b667746586 . _:b667747599 . _:b665101160 . _:b663954890 . _:b665384763 . _:b663954888 .