(一)全稱有體法。為「無法」之對稱。指存在或實有之法。唯識家認為現在十八界之法有體性，故稱有體法；無為法亦含攝於有體法中。反之，過去、未來及龜毛免角等法無體性，故稱為無體法（無法）。北本大般涅槃經卷十（大一二·四二二下）：「本有今無，本無今有；三世有法，無有是處。」

(二)因明用語。因明論式中，將宗（命題）之主詞稱有法，述詞稱法，即宗之主詞含有述詞之法義。如立「聲為無常」之宗，「聲」即為宗之有法，「無常」為宗之法。因明入正理論疏卷上（大四四·九八下）：「初所陳，唯具一義，能持自體，義不殊勝，不得法名；後之所陳，具足兩義，能持復軌，義殊勝故，獨得法名。前之所陳，能有後法，復名有法。」

又就宗之主詞與述詞在各種不同之相對關係而言，有各種語意相對之異稱：(一)主詞為整個命題之主體，故稱為「體」；述詞則為能詮表、決定命題之意義者，故稱為「義」。(二)主詞為一命題之語意尚未確立前所須界定、區別而有待界定、區別之基本語詞，故稱為「所別」；述詞則為具有界定、區別全句命題語意之功能者，故稱為「能別」。如「聲為無常」之命題，「聲」於全句命題中，尚未賦予界定或特殊屬性之含義，而猶待界定、區別始具意義可言；一旦加上述詞之「無常」，則全句命題始具備語意上有所界定、區別之含義。(三)主詞為一命題中所先陳述之概念，故稱為「前陳」；述詞則為陳述於後之概念，故稱「後陳」。此前陳、後陳二名詞於因明中最常用來表示一命題之主詞、述詞兩項各別之概念。(四)主詞為一命題中所議論之對像，有待述詞為之顯示其特性、說明其類別，而並非其前另有一名詞待主詞去界定，故稱「自性」；述詞則必用來界定主詞之特性或表現其類別，故稱為「差別」。又於因明中，亦常連用主詞、述詞兩種以上之異稱者，如言「前陳自性」即是指主詞，言「後陳差別」即是指述詞。［因明正理門論、因明入正理論］ p2433