In order to extropolate what are involved in materiel requirements, problem frame for materiel requirements is provided and substantive properties which belong to materiel requirements are rigorously analyzed based on key artifacts, which are distilled from the wide variations in the use of terms. Problem frame for materiel requirements focuses on the key artifacts, their attributes, and relationships at a general level. By using higher-order logical notational conventions, formal analyses are made, describing the relations that material requirements and their reflection must satisfy. Adequacy, precondition, feasibility, necessity, and hierarchy of materiel requirements are included. Adequacy, necessity, and guidablity of materiel requirements reflection are also included. Finally, an example about the presumed urban antimissile defense system shows that the approach is highly feasible, effective and promising.