TreeView Knowledge Base Browser - AmericansWithDisabilitiesAct

appearance as argument number 1

(instance AmericansWithDisabilitiesAct_US Proposition)	Medicine.kif 3161-3161	ADA is an instance of proposition
(documentation AmericansWithDisabilitiesAct_US EnglishLanguage "The Americans with Disabilities Act of 1990 or ADA (42 U.S.C. § 12101) is a civil rights law that prohibits discrimination based on disability. It affords similar protections against discrimination to Americans with disabilities as the Civil Rights Act of 1964, which made discrimination based on race, religion, sex, national origin, and other characteristics illegal, and later sexual orientation. In addition, unlike the Civil Rights Act, the ADA also requires covered employers to provide reasonable accommodations to employees with disabilities, and imposes accessibility requirements on public accommodations.[from Wikipedia]")	Medicine.kif 3164-3174	ADA is an instance of proposition

appearance as argument number 2

(termFormat EnglishLanguage AmericansWithDisabilitiesAct_US "Americans With Disabilities Act")	Medicine.kif 3162-3162
(termFormat EnglishLanguage AmericansWithDisabilitiesAct_US "ADA")	Medicine.kif 3163-3163

statement

(exists (?FORMULA)
    (and
        (instance ?FORMULA Formula)
        (containsFormula AmericansWithDisabilitiesAct_US ?FORMULA)
        (modalAttribute ?FORMULA Law)))

There exists X such that X is an instance of formula, ADA contains the formula X, and the statement X has the modal force of law