knowledge representation language

arcanums bipartite matching buffer station clout list coal ash brick constant-pressure air thermometer digital government ethnic-Tibetan harroun inspection fitting methyl catechol power balance model repair grafting revolving switch right adjoint linear mapping running-on course Stirling approximation sub-zero synchronized motion weidemann-franz law