vida advanced to the pentagonal stage kochiyama joined his pan africanist organization of afro american unity several ontology languages support expressions in first order logic and allow general predicates