(instance AmericansWithDisabilitiesAct Proposition) 
Midlevelontology.kif 2508725087 
ADA is an instance of proposition 
(instance AntiterrorismAndEffectiveDeathPenaltyAct Proposition) 
Government.kif 23532353 
Antiterrorism and effective death penalty act is an instance of proposition 
(instance ImmigrationAndNationalityActSection219US Proposition) 
Government.kif 23512351 
Immigration and nationality act section219U s is an instance of proposition 
(instance ImmigrationAndNationalityActUS Proposition) 
Government.kif 23482348 
Immigration and nationality actU s is an instance of proposition 
(range PremisesFn Proposition) 
Merge.kif 1718617186 
The range of premises is an instance of proposition 
(subclass Agreement Proposition) 
Midlevelontology.kif 1156011560 
Agreement is a subclass of proposition 
(subclass Argument Proposition) 
Merge.kif 1710417104 
Argument is a subclass of proposition 
(subclass BankStatement Proposition) 
FinancialOntology.kif 37173717 
Bank statement is a subclass of proposition 
(subclass Catalog Proposition) 
Catalog.kif 3131 
Catalog is a subclass of proposition 
(subclass ClassificationScheme Proposition) 
Midlevelontology.kif 2064720647 
Classification scheme is a subclass of proposition 
(subclass Constitution Proposition) 
Government.kif 641641 
Constitution is a subclass of proposition 
(subclass EconomicIndicator Proposition) 
FinancialOntology.kif 15831583 
Economic indicator is a subclass of proposition 
(subclass Equation Proposition) 
engineering.kif 149149 
Equation is a subclass of proposition 
(subclass FieldOfStudy Proposition) 
Merge.kif 1705217052 
Field of study is a subclass of proposition 
(subclass Graph Proposition) 
Merge.kif 57425742 
Graph is a subclass of proposition 
(subclass GraphElement Proposition) 
Merge.kif 59235923 
Graph element is a subclass of proposition 
(subclass HotelPackage Proposition) 
Hotel.kif 26662666 
Hotel package is a subclass of proposition 
(subclass LyricalContent Proposition) 
Midlevelontology.kif 1138511385 
Lyrical content is a subclass of proposition 
(subclass MealPlan Proposition) 
Hotel.kif 14851485 
Meal plan is a subclass of proposition 
(subclass Music Proposition) 
Midlevelontology.kif 1133211332 
Music is a subclass of proposition 
(subclass Policy Proposition) 
Midlevelontology.kif 2543425434 
Policy is a subclass of proposition 
(subclass PricingScheme Proposition) 
Catalog.kif 179179 
Pricing scheme is a subclass of proposition 
(subclass Procedure Proposition) 
Merge.kif 1706317063 
Procedure is a subclass of proposition 
(subclass RegionalLaw Proposition) 
Government.kif 856856 
Regional law is a subclass of proposition 
(subclass ScientificLaw Proposition) 
engineering.kif 12351235 
Scientific law is a subclass of proposition 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 