(1) Are there lexical/semantic knowledge bases for physics that can be used for automated reasoning and AI (like Princeton's Wordnet and MIT's Conceptnet for common English usage)?

(2) If not in existence, are there physics-specific issues to keep in mind while developing such a knowledge base? For example, can it be developed by using existing semantic relationship clauses in Conceptnet? (Pointers to review papers, books etc will be good too)

I understand that such a knowledge base will not be complete without the mathematics related to the lexicon. But, when browsing through Q&As here, a lot of them do not seem to involve any mathematics at all (just pure English words). In any case, it is not impossible to add the mathematics once there is a non-mathematical lexicon/semantic network.

PS: This is not some crackpot rambling. I am a phd student in high energy theoretical physics. I arrived at this question while thinking about how much of current physics can be automated through AI.